skysight-inc/HackerNews huggingface dataset:
Try this in Python:

id("ab") # not deterministic

hash("ab") # not deterministic

def foo(): pass

str(foo) # not deterministic

Another sneaky one is the `is` operator in Python, where the Python documentation says:

> Due to automatic garbage-collection, free lists, and the dynamic nature of descriptors, you may notice seemingly unusual behaviour in certain uses of the `is` operator

Related to that is the `__del__` method: when exactly is it called?

It's quite easy to get non-deterministic code in Python and in many languages. And of course, there are lots of non-deterministic functions in the standard library (Starlark doesn't provide them).
Hospitality in Customer Service: Lessons from Japanese Omotenashi
Seeking Freelancer | Remote (India) | Early-stage Startup

We’re an early-stage startup building a cutting-edge B2B SaaS CMMS (Computerized Maintenance Management System). We’re looking for a Freelancer passionate about creating scalable, secure, and user-friendly tech solutions.

What You’ll Do:
Develop core features of the CMMS platform
Build secure APIs and scalable backend services
Collaborate on product design and implementation

What You Bring:
Expertise in NestJS, Prisma, PostgreSQL, React/Next.js
Experience building B2B SaaS products
Strong problem-solving skills and startup mindset

Why Join Us?
Remote, flexible work
Be part of a revolutionary product from the ground up
While pay may be modest initially, your contributions will be recognized and could lead to long-term collaboration as the company scales.

How to Apply:
Send your resume, portfolio, and relevant work samples to yuvaraj@manij.ai . Let's build the future of CMMS together!
I guess sleeping through history class is also a mental deficit ;)
Related: does anyone know of a bank that allows you to waive all security and protective measures in exchange for ease of use? I would happily sign a contract that basically says "if you get hacked, it's your fault and you lose all your money no matter what" if it means no 2FA, payment verification, fraud detection etc. I'm not sure if this would even be legal in many jurisdictions though.
I think you want "optimistically".
We'll probably know once they release it.
Wayback - monitors your competitors so you don't have to. Built using Cloudflare Workers, R2, D1, Workflows, Queues and Resend.
They should use common words to express that they're defending us all, like a net, in the sky. Netsky or something.
There’s an ongoing related livestream[0].

[0]: https://youtu.be/2jKVx2vyZOY
> just to spite people, it seems, because battery life doesn't seem affected in my experience

Don't forget all the crap they can run in the freed capacity now!
And less isn't necessarily better either. But as we further mathematics, large cohorts are falling behind.

I welcome puzzles, but I also think we need to shed some of the exclusionary aspects of mathematics/compsci, the brunt of which are far too known: inaccesible formalisms, leetcode, competitive grants/hackathons, steep admission requirements, code bounties, interview puzzle rounds, etc.

Some necessary and organised in good faith I'm sure, but I hope we can move past the implicit assumption that 'maths/code isn't for everyone' and self-select based on that, as that doesn't further the cause.
My hope was that AI would make it easier for people to create new things that haven't been done before, but my fear was that it would just be an endless slop machine. We're living in the endless slop machine timeline and even genuine attempts to make something artistic end up just coming off as more slop.

I love this timeline.
Of course patterns can be said to overlay physical objects - or that physical objects instantiate patterns, for that matter; there are all sorts of ways of making the point. But is it your position that, on account of this, crystals are not physical? Patterns are ubiquitous in the universe, and if being overlain by or instantiating a pattern is a criterion establishing that something is not physical, then what, if anything, is physical?

In the case of the mind/matter debate, the question is whether minds are physical processes, not whether they are physical objects. If having a pattern disqualifies a process from being physical, then even simple processes such as resonance would not count as physical, leading to the question of what, if anything, counts as a physical process?

You are correct when you say "You can abstractly describe the pattern of a crystal without looking at a crystal", but that is what physics does with everything in its domain! If you were to say that physics describes and explains the physical but not itself physical, I might even agree, but that is not the issue under discussion in the mind/matter debate.
> Only one is getting a massive manhunt and media coverage for some reason

Yes. It’s a lower Manhattan daytime shooting of a non-New Yorker. It’s where rich New Yorkers are. It’s where most New Yorkers are. It’s where most of New York City’s economy—including vastly most of its tourism—is. (And it will keep the media’s attention because the killer is photogenic.)
It's plain old clojure, more examples here https://learnxinyminutes.com/edn/

{ :name "John Doe"
:age 30
:languages ["English" "Spanish" "French"]
:address {:street "123 Main St" :city "Anytown"} }
1and1 would call my house trying to sell me shit.
Quantum computation done in done multiple universes is the explanation given by David Deutsch the father of Quantum Computing. He invented the idea of a quantum computer to test the idea of parallel universes.

If you are okay with a single universe coming to existence out of nothing you should be able to handle parallel universes as well just fine.

Also your comment does not have any useful information. You assumed hype as the reason why they mentioned parallel computing. It's just a bias you have on looking at world. Hype does helps explain a lot of things. So it can be tempting to use it as a placeholder for anything that you don't accept based on your current set of beliefs.
New dog, old trick: DaMAgeCard attack targets memory directly via SD card reader
You got the main idea, it's a proof-of-concept: that a class of error-correcting code on real physical quantum chips obey the threshold theorem, as is expected based on theory and simulations.

However the main scaling of error correction is via surface codes, not repetition codes. It's an important point as surface codes correct all Pauli errors, not just either bit-flips or phase-flips.

They use repetition codes as a diagnostic method in this paper more than anything, it is not the main result.

In particular, I interpret the quote you used as: "We want to scale surface codes even more, and if we were able to do the same scaling with surface codes as we are able to do with repetition codes, then this is the behaviour we would expect."

Edit: Welp, saw your edit, you came to the same conclusion yourself in the time it took me to write my comment.
It's probably because they're relying heavily on their new editing UI to make the model useful. You can cut out weird parts of the videos and append a newly generated potion with a new prompt.
>It's easy to get an appointment quickly and an appointment means an appointment (if the appointment is at 11:15, you typically have to wait 10 minutes at most)

Where is that?
Not really a microsecond. Sora was announced months ago.
I don't have much hope in that approach. It might get some attention and trend for a day/week or so, but nothing happens and people move on to the next thing and the camera's remain

Also, practically, the advocacy groups would need to get access to the surveillance feeds or deploy their own hardware - which I just don't see happening
It’s a race to zero margin. The people who win will have lots of existing distribution channels (customers) or lots of money or control over data. Those who innovate but don’t have these things will be copied and run out of money eventually, as sad is it is. The competition between those startups and bigger players isn’t fair.
Features such as?
Do you know how these features interact with each other?

Why are we not using OCaml or standardML or even F# (which I tend to look favorably on) more widely then?
Science is not based on consensus seeking.

Science is about coming up with the best explanations irrespective of whether or not a large chunk does not believe it.

And best explanations are the ones that is hard to vary. Not the one that is most widely accepted or easy to accept based on the current world view.
> The problem that most people are solving is: "what do i say to make this person/question go away"
reply

This is it.

Never attribute to incompetence that which can be readily attributed to apathy.
It seems you can get TLS 1.3 (or atlest slighty modified 1.3) to be quantum secure, but it increases the handshake size by roughly 9x. Cloudflare unfortunately didn't mention much about the other downsides though.

https://blog.cloudflare.com/kemtls-post-quantum-tls-without-...
Highly unethical in my opinion to not disclose the tool is summarizing via an LLM. As a matter of fact, in the right circumstances it may not only fail to do what the title says, but do the opposite - add hallucinations or other AI generated garbage!
Why is no one else talking about this? I came here to see a discussion about this and encryption.
So frequently I'd say its the main case. Researchers are extremely poor at controlling for competing explanations, in many cases, strongly incentivsed not to.

Suppose you're writing a paper what do you write: option A) Average People Cannot Understand Probaility!?!?!, option B) Inexperienced test takers with unfamiliar notation fail to grasp meaning of a novel question; option C) survey participants on technical questions often do not adopt a literal interpretation of question; D) etc. etc.

In general researchers are extremely loath to, or poor at, recognising there's 101 alternative explanations for any research result using human participants and 99.99% of the time just publish the paper that says the experiment evidences their preferred conclusion.
>Have a quick look to see what Russian School of Math charges for afterschool math classes, what summer STEM camps cost, or tuition at a university.

None of those are geographically distributed physical locations that need to be staffed and operated constantly. They're monolithic institutions, pop-up restaurants of learning, or virtual.

I would have used Kumon as an example except the comparison breaks down when you realize parents pay Kumon a lot of money to increase their children's test scores, and very few schools test for hobby electronics.

Pivoting to your plan would have achieved the same result: the death of Radio Shack.

Preserving a brand for the sake of preserving a brand doesn't make sense.

Customers don't exist for after-school hobby electronics classes for teens at over 8,000 locations across the US. So you pivot anyways (to a sector you have no practical or institutional knowledge in, which doesn't exist already), close down 7,000 stores (to roughly match the number of Kumon locations), get rid of all of your inventory because you don't have the scale at 1,000 small locations to make competing with big-box or online make any sense and then-- bam!

Radio Shack's dead anyways.
Nintendo also is responsible for keeping Dolphin off of Steam. Dolphin wanted to get on steam for improved steam deck integration and Valve reached out to Nintendo who said, essentially : Lol fuck no we will ruin your life

The courts have told Nintendo numerous times that they are in the wrong in this behavior and outlook. They have no legal means to keep Dolphin off Steam and it is a matter of judicial record that emulators are not an infringement of your IP on their own. Nintendo doesn't care and openly discusses their intent to make you suffer through lawfare. A just system would smack them down with a vexatious litigant label, but our system gives businesses infinite benefit of the doubt.
Is anyone using local LLMs to manage their email? This seems like it could be helpful to hook that up.
Ever seen someone bind the material in the table saw where the material kicks back into the operator? Here's just the first example from a quick search:

https://www.youtube.com/watch?v=yuWNEAlC2-0

Not something a band saw will do. So a band saw will just cut you while the table saw will cut you but also hurl material at you.
you want an open source alternative to a defense company?
So if “all my hats” doesn’t imply that I have at least one hat, “some of my hats” doesn’t imply it either; otherwise we wouldn’t be able to derive “some” from “all”.

Hence, “some of my hats are green” doesn’t imply that “at least one of my hats is green”. That’s a claim that contradicts both traditional formal logic interpretation and common sense English interpretation.
I hope we get unlimited access for the reasonable price of a car note
Worth noting here that this is the existing ChatGPT subscription, you don’t need a separate one.
Are you asking where is Sarah Connor
How are you so sure? If something that takes years is completed in minutes, how is encryption safe?
Hunyan (https://replicate.com/tencent/hunyuan-video , $0.70/video) is the best but somewhat expensive. LTX (https://replicate.com/fofr/ltx-video , $0.10) is cheaper/faster but less capable.

Both are permissively licensed.
Genuine question - the HN title says "CLI to..." but looking at the GitHub repo I don't see any CLI-centric documentation.

I do see

$ himalaya envelope list --account posteo --folder Archives.FOSS --page 2

and a screenshot that looks like PINE. Is that screenshot interactive (like PINE) or does himalaya print that out and then the process exits?

I guess my question is: is this different than PINE (or any other terminal-based, interactive email client)?
Besides the security part, many companies us that data in their Machine Learning models. I've used it myself extensively over the past 10 years in Fintech.

As a small tidbit of information, did you know iPhone users are ~40% less likely to default on a small loan than Android users (at least in my country).

And the differences go all the way to specific models, OS versions, installed apps, IP range, browser of choice...
Unless they drop something mega in the next few months can't help but think that openai's moat is basically gone for now at least.
Well that's not good, at all. https://www.cbsnews.com/newyork/news/crime-without-punishmen...

For comparison in western Europe it's 77% to 98%

https://journals.sagepub.com/doi/pdf/10.1177/147737081876484...
My main question after reading some books on Staff Engineering, and Tech Lead roles is about how to be a Staff Engineering when you don´t work with an internal Engineering team in your company.
This situation can be really common in non-tech companies that alwayes worked with partnership and hire development agencies for each specific tech project.

How can someone seen as a the customer by the agency´s development team can have a chance to impact in their work. How can the Staff Engineer-Tech Lead be valuable for the agencies and influence them in how to proceed with the technical decisions?

From my experience, I think the Staff Engineer will not shine, as he/she will struggle in being the technical lead of a Engineer team that are working in a different company.
Have You Used RPython?
For what? And what were the pros and cons?
I wonder why people love to create languages to be embed in applications when there are plenty of languages that are already useful and well known.

So in the end, you have to fight the half-assed small language that was created and have to find a way to connect to some real language to get things done.
the cynic in me thinks this will become mandatory on major websites at some future point

so you won't be able to log into youtube unless you have a TPM approved by Google
Thanks! Great questions.
We just launched - anecdotally we've had really great feedback from early users, but we're working with PhDs in the field to design an external validation study while tracking user-reported outcomes. We've also heard from a few providers that have started recommending Pensive to their clients for on-demand support between sessions.
We see Pensive as complementary to therapy for some users and a standalone tool for others. Many people who don't need therapy can still benefit significantly from consistent, evidence-based practice. The key is making these proven techniques more accessible. Like physical health, most people don’t need a medical intervention - they need to exercise, but sorting through the research and implementing effective practice is a big barrier.
Our focus is on delivering established practices in a convenient format with just a few minutes of guided conversation a day.
That's not really how biometric app login works here. Credentials are configured locally and used as an alternative to the existing login method. Nothing changes about how you login with other devices, you can still choose to use your username and password on the device with biometrics enabled even.
monty hall is not a true paradox. it could be classed as "veridical" (truthful) paradox, or i've seen it called a pseudo-paradox.

but you realize that it's unambiguously mathematically true without gimicky word-play or puns or other logic puzzle trickery.

it's just simply an un-intuitive result. most statistics really is.

curious: why the hate for the monty-hall problem?
Put more weight on your subscriptions. I don’t have much AI content in my YouTube suggestions. (Good luck AI generating an interview with Chris Lattner or Stephen Kotkin for example. It won’t work.)
After so many people in this thread recommended them I decided to make the switch from hover. Their renewal rates have gotten wild.
Link to the actual article: https://www.nature.com/articles/s41586-024-08449-y
AFAIK, which is not much, I believe it is problems that you can turn in to a cycle. Right now we pull out answers from quantum computers at random, but typically do not know what the inputs were that got that answer. But if you can get the answers from the quantum computer to be cyclical you can use that symmetry to get all the information you need.
Then the puzzle shouldn't use the word lie, because to lie can mean to be deceptive, and saying all your hats are green when you have no hats is clearly deceptive and thus can be considered a lie.
I'm asking because I came across it recently, while researching info on parsing techniques and creating programming language interpreters.
I hope not. I, for one, don't view the Protestant work ethic in as positive a light as I do Stoicism.
Oh boy... so I actually wrote a thesis in graduate school on conversational implicature, Paul Grice, and various other theories of implying things.

I would actually agree user dwheeler here.

Whether or not you agree with Gricean implicature theory (I do not), the point is that making a claim about a group that doesn't exist is absurd. Absurd statements do not convey meaning, and language is a tool for communication, thus it is generally an assumed axiom that statements will have meaning. Here, even when people make borderline nonsensical statements, we assume there is a metaphor or language game involved.

So, by making a statement about 'all my hats', if the number of hats you have is zero, then any predication is absurd and the statement is absurd, so given an axiom of not making absurd statements for natural language, you can assume there are at least two hats. Obviously there are no formal rules here, but the functionality of natural language demonstrates that these heuristics exist.

https://plato.stanford.edu/entries/implicature/
For the $20/month subscription: you get 50 generations a month. So it is included in your subscription already! Nice.

For the Pro $200/month subscription: you get unlimited generations a month (on a slower que).
About rendering triangle meshes with compute shaders, here’s a long technical video how UE5 does that: https://www.youtube.com/watch?v=TMorJX3Nj6U&t=3488s
Agreed. It’s still much better than what I could do myself without it, though.

(Talking about visual generative AI in general)
>The question becomes why all_of returns true for an empty list.

Yes! Before it became a programming problem, I considered the implications of this decision for common speech. In that case, it will generally be expected that when someone says "all my hats are green", they have at least one hat, probably because otherwise it doesn't hit the relevance threshold to make such a statement worth saying.[1]

Based on this, with my younger, hornier mind, I would joke that, "I have gone on a date with every female cheerleader at my university." (All the cheerleaders at my university are male.)

The idea being, an equally valid convention would be to read the statement as "there exists no element violating all the predicates" i.e. no one who is both a "female cheerleader at my university" and "someone I have not gone on a date with".

And this convention, it turns out, is what C's all_of (and Python's all()) uses.

But I'd still balk at someone using that trick in common speech -- it's at least an attempt to be misleading.

[1] See the "Maxim of Relevance": https://en.wikipedia.org/w/index.php?title=Cooperative_princ...
Academically, no, a type system is by definition static. See the definition Benjamin Pierce gives in TAPL that I've placed in many comments in this subthread [0] and won't repeat here.

Colloquially, yes, python has a type system. All I'm saying is it's unhelpful to correct someone for using the more correct definition rather than the colloquial one. Both definitions are valid, but if we're going to be pedantic we should at least use the academic definition for our pedantry.

And you're correct, I should have said spectrum, but the point is still the same: even Wikipedia refuses to define "strongly" or "weakly" typed, suggesting people use terminology that isn't hopelessly muddled.

[0] Here's one: https://news.ycombinator.com/item?id=42368689
> How would you know whether Modified3019’s comment is factual and correct?

By following the reference they provided, which is to a post by the person running itch.io stating just that.

I don't know if the linked comment is actually correct, but the link to a comment plus quoteof the relevant part seems as factual as it gets.
They'll be banned for public use in the next 2-3 years. I'm not advocating for the ban, just saying it'll happen.
Hunyuan is a recent one that has looked pretty good.
The Limits of Perception: Vinge and the Singularity
Wouldn’t “x”.join(…) be enough?
I expect people in different branches of statistics or physics would potentially come up with different answers based on what sorts of series appear in their realm of expertise.
How will they delete the wayback machine?
Yes-ish. They're not enabled yet, but post-quantum signatures & KEMs are available in some experimental versions of TLS. None are yet standardized, but I'd expect a final version well before QCs can actually break practical signatures or key exchanges.
Is it really fair to call that "computation"? I am definitely not an expert, but it seems they are just doing a meaningless operation which happens to be trivial on a quantum computer but near-impossible to simulate on a classical computer.

To me that sounds a bit like saying my "sand computer" (hourglass) is way faster than a classical computer, because it'd take a classical computer trillions of years to exactly simulate the final position of every individual grain of sand.

Sure, it proves that your quantum computer is actually a genuine quantum computer, but it's not going to be topping the LINPACK charts or factoring large semiprimes any time soon, is it?
You're right that it was an ignorant statement on my part.
OpenAI almost always waits a few months before adding new features or models to the API, the same happened to DALL-E 3, advanced voice mode, and lots of smaller model updates and releases.
Called it, they were sitting on Sora until the $200 tier launched. Between the watermarking and 50 video limit the $20 tier is functionally a trial.