Recent content by jedishrfu

It's funny you bring this up. A few months ago, I binged on the Person of Interest sci-fi show. It was made in 2011 but many of its concepts are starting to come true with scary repercussions. It starts off with a hidden computer who gives encoded social security numbers to a Mr Finch who was...

Bummer. Did they post any summaries of the talks? Or a recording of the talk?

How was the talk? How did they do this and what did they learn?

Yes, a most beautiful and great actress. She starred in a Sergio Leone movie: Once Upon a Time in the West (1968, dir. Sergio Leone)

Perhaps this link will help for DARPA QBI: https://www.darpa.mil/research/programs/quantum-benchmarking-initiative There is a 19 page Q&A on this: https://www.darpa.mil/sites/default/files/attachment/2025-04/darpa-qbi-q-a-2025.pdf

Adding semantics to a formal system doesn’t make it a “formal theory.” A theory involves the addition of specific non-logical axioms. A formal logic (or logical system) is when you combine a formal system with a semantics. Look at the way a first-order logic system can be transformed into a...

When a sequent like: ##\Gamma \;\vdash\; \varphi## is used, it means: From the set of assumptions/premises ##\Gamma##, the formula: ##\varphi## is derivable in the proof system (i.e., there is a formal proof of ##\varphi## using the axioms and inference rules, assuming all formulas in...

Sometimes credible things upon inspection are not so credible. This is the bane of self study students.

Thats a great insight @PeroK. I never that kind of derivation before.

People dont use the unit circle for these kinds of problems instead they use trig identities to reduce it.

Get a volt meter lead so you touch one and tap the other. There may be a keycombo that will turn the laptop on/off like F2 + ENTER or something similar. Search on BIOS and keycombos to wake sleep a laptop. Some sources said you could replace the button as its a daughter board with a ribbon...

Yes I concur wth @berkeman. Find some articles on quantum computing. One thing to search for is Shor’s algorithm which will answer your security questions. Many of our secure systems use RSA encryption which relies on the difficulty of factoring really large numbers of anywhere from 300 to...

Until it becomes open source. I know a few companies who spun off software to open source. Sometimes, they become Apache projects s with a while community of programmers improving and enhancing it. Small companies do it when they realize that an internal project wile useful but not sellable...

You folks need to see Mr Whipple’s Factory on the original Twilight Zone. Machines replace the workers and Robbie the Robot replaces Mr Whipple.

Are these storms comparable to our seasonal hurricanes in terms of strength and speed of formation?