skysight-inc/HackerNews huggingface dataset:
No its the policy bros who have to justify this one because all the evidence shows that your ancestors had 2-4 times more babies despite having less time, energy, money, child care resources, or education which are all areas that "fertility policy" tries to address. The only counterpoint is that farmers need children to continue the farm. But thats a bad argument because urban fertility rates were also much higher compared to now.
It's hypertext - a text-based format enhanced with other elements.
There have been some people pushing for every new law to include a sunset clause, but I don’t know how you could enforce it for new laws.
But the target audience is for laymen and not lawyers because we all have to abide the law and contracts and have to sign incomprehensive text that will have punishable consequence on us! How to obey the law/regulations/rules when you do not understand? My lawer should sign all my incomprehensible contracts and be punished for violations then, if the text is for them.
Some kind of fairness doctrine needs to be reintroduced.

Ah, yes, force everyone to present "both sides" of issues with a half-dozen sides, none of them optimal. That'll work.
50% of 39% is 18. Add to 39 to get 57%.
This sounds like something I could see myself using over dull Google forms - can I iframe it too? Very pretty design btw
The modern state of France is founded on liberal values that go completely against the tenets of Islam. I don’t have any stakes in it myself but I could understand the hostility.
SHA-256, ECDH, Ecdsa and RSA Not Approved by ASD in Australia for 2030
(57-39)/39 ~= 46

I think they meant 50% increase from the 39% .
Don't bad things happen anyway, via what we call "loopholes", et al? It seems like laws are sometimes written to be intentionally evaded by the lawyered class.
That’s a lot longer post than I anticipated on the subject.

Just so I understand the other side of the argument: where is the purported inefficiency of keeping DST coming from?
Two things a lawyer told me, in a social setting, not a consultation.

1. Legal terminology has specific meanings, sometimes going back hundreds of years, with a multitude of rulings to define that meaning.

2. If you aren't a lawyer, don't use lawyer language in a contract. Courts will interpret ambiguity against the drafter of the contract. Better to use normal language.
Congrats Marc! We've been using Langfuse for about 6-months for our LLMOps tooling. While its SDKs are limited to python and typescript, their openapi specification is pretty easy to implement in any language.

The team behind it is amazing, and their product being OSS is one of the reasons we chose it. But it just keeps getting better.

We're incidentally only using part of the product because we've implemented most of these new features, prompt caching, execution etc in our app. But with the API you can decide what parts are core to your business logic and outsource the parts you don't want to deal with to Langfuse.

I appreciate that its not an opionated product.
Here's the canonical description of "why Rust" https://github.com/fish-shell/fish-shell/pull/9512#issuecomm...

See also https://github.com/fish-shell/fish-shell/pull/9512#discussio...

> Let me put a swift lid on that (and any other discussions of other programming languages, including swift).

>

> Rust has the momentum, some of us already know it and others are interested in it.
>discussions

That is a charitable way to read the flagged comments.
To confuse the issue, though, at one time it was somewhat common to call fixed function calculators like this ‘computers’.
You shouldn't be rolling your own crypto primitives. You can completely implement the algorithm 100% 'correct' according to the research paper but introduce a side channel that could cause key extraction by an attacker. For instance, if it doesn't always take the exact same amount of time to process something, a timing attack can be used to figure out what the private key is.

Always use the battle tested implementation.

Power analysis, timing attacks, acoustic cryptanalysis, etc... there's many forms of side channel attacks that can be used to defeat a theoretically sound cryptosystem.
It sounds like you are close to full aphantasia, but not quite. I usually describe it as having a memory of seeing something.

> Out of curiousity can you imagine any numbers or abstract shapes at all?

No, nothing at all, I have to (e.g. a 2FA code) repeat it to myself repeatedly, and then I’ll remember it by rhythm. Which is also how I remember e.g. months in a year, or the order of cardinal directions.
AI ad blockers are the future. Trained AI models that can sniff ads out with incredible accuracy. I'd pay for such a service.
TLDR

> So, we now focus on the new NIST standards of FIPS 203 (ML-KEM), FIPS 204 (ML-DSA) and FIPS 205 (FLH-DSA).
This is why the internet is amazing!

Awe-inspiring. Beautiful.

How does the author build these pages? Looks like it is React. The entire blog must be custom built, no? Or is this built on top of an existing CMS?
The Orin NX is 16GB. My guess would be they still want some differentiation
Racket has Typed Racket, which while not Hindley-Miller can do some type inference.

There's also the plait language which says its type system is similar to ML: https://docs.racket-lang.org/plait/index.html

And Hackett, inspired by Haskell: https://lexi-lambda.github.io/hackett/

And Common Lisp has coalton: https://coalton-lang.github.io/
I think there are two keys to understanding and potentially overcoming this fear of uncertainty. The first is individual resilience. If someone has high confidence in their ability to overcome unexpected situations, then uncertainty can shift from a risk to a benefit. The other aspect is track record. If people have a history of uncertainty leading to bad outcomes, they are naturally wary of it.

It would be interesting to know if the author had any specific experiences that shifted their perception of uncertainty from fun to more anxiety prone. Did they have some bad trips that made them more cautious?
Yes, my suggestion to OP was to pass it off to a non-UK steward.
The target audience isn’t laypeople. That’s why you have a right to legal representation. “Laypeople” language is way, way too ambiguous. Same reason you can’t write computer code in lay language.

… there are consequences for lawyers if they fail to do this translation effectively…
Here's the Boyer-Moore theorem prover[1] from around 1980 doing that.[2] The proofs are fully automatic but you have to ask it to prove the theorems in an order so that the theorems you need for each step are already done. Otherwise it gets lost trying different paths. This is runnable; 8 years ago I ported it to GNU Common LISP. Takes under a second now. Took 45 minutes in 1980.

This is pure constructive mathematics. No existence proofs. Everything is computable.

The first theorem: X + 0 = X

In Boyer-Moore notation:

(PROVE-LEMMA PLUS-0 (REWRITE)
(EQUAL
(PLUS X 0)
(FIX X)))

FIX is just if it's a number, then the number, else 0. That makes the function total.

The second theorem: X + (Y + 1) = (1 + (X + Y)

(PROVE-LEMMA PLUS-ADD1 (REWRITE)
(EQUAL
(PLUS X (ADD1 Y))
(IF (NUMBERP Y) (ADD1 (PLUS X Y)) (ADD1 X))))

ADD1 is a primitive of Boyer-Moore theory. ADD is actually recursive ADD1.

The user just lists the proof goals. Here's the input file.[3] The proofs are all automatic.
This is more automation than many modern provers seem to have.

Toward the end, it proves McCarthy's theory of arrays, something I wrote. McCarthy stated those as axioms, but they are in fact provable. The proofs are clunky because there's no set theory yet. I should have built up constructive set theory first, but I didn't realize that back then.

[1] https://github.com/John-Nagle/nqthm

[2] https://github.com/John-Nagle/pasv/blob/master/src/work/temp...

[3] https://github.com/John-Nagle/pasv/blob/master/src/work/temp...
>Actually, I think it makes sense from the point of view of making every vote equal

As I understand it, they weren't supposed to represent everybody equally at the individual level, but to give representation to the 50 states, not have big states swallow small ones.
I picked it up from an anarchist stand at a comic convention in the late 1980s, where else! I don’t know where it is right now, and I’m not sure it’s a cherished treasure, more an amusing memento of my youth! Although I will be most annoyed if I can’t find it!
Working with legacy FPGA and ASIC designs
Love to never be able to see photos of my child at the beach because Google Chrome tells me I'm a criminal.
It sounds like you have a personal problem that you’re trying to project onto the rest of society.
The real answer is you shouldn't tell law enforcement anything without an attorney present, and the best advice would be to heed your attorney's advice on the matter for whether you personally should give up your passwords or not.
It will get there, its growing :)
~90% of people who are presented with a password input field are not and never will be "password manager users". 100% of people presented with a passkey prompt are, because the very nature of passkeys is that they're stored in what is effectively a password manager.
If we didn't have a two-party nightmare willing to filibuster perfectly good policies as a tool to ramrod in alternative agendas, I think it'd work well to have laws with expiration dates. You'd have a natural forcing function by which language would be refined over time, laws would stay relevant, and the total body of legislation would stay at a manageable size.

As something of a litmus test, if a crime is so minor that the police wouldn't do anything if you brought them multiple eyewitnesses, video evidence, and an address to knock on, then having that law on the books probably does more harm than good (many petty crimes like mild speeding would fit those criteria).
I'm not sure I'm quite hitting 2, but it's pretty close. I just sat down and made a list purely from memory, and got 1 per year since I started persisting memories. And I have to be forgetting some.

In fact, the actual number includes a significant decrease due to excluding "funerals I would've gone to if I didn't have a more important funeral to go to" and "people who moved away before they died". Thankfully in recent years remote recording is usually a thing in some form (live or not, video or just audio; the quality depends significantly on the funeral home).
I agree 100%, edited with clarification to cause less confusion since most seemed to take it I was saying the opposite. Thanks for the clear description of what I failed to describe.
I couldn't find it in the article, maybe I missed it, but does anybody have more information on the printer / material used besides just quartz?
Well I do have you to thank for teaching me about combinatorial auctions :).

That said, you can think of the auction in two parts - the first gets the relevant people from the starting line to the actual bidding. The second part is where you actually make decisions. The latter part in this dynamic usually has few enough participants that a founder can run the variables in his/her head.

What would be interesting to see is whether or not more funds would get to the bidding stage with a robust combinatorial auction at the beginning of the whole thing.
There are countless AAA teams that fail at game dev as well. It's just a really hard industry to garner success in. I'm not sure team size is the most relevant factor.
Please don't fulminate. Please don't sneer, including at the rest of the community.

Please don't comment about the voting on comments. It never does any good, and it makes boring reading.

https://news.ycombinator.com/newsguidelines.html
Please don't use Spotify links as they are heavily geolocked
Good reason to keep them a secret then
I haven't tried--cant you share passkeys stored in your password manager?
Are we not at a point where it would be vastly more appropriate to title this "one person dev team"?

The reality is your gender has nothing to do with your ability to write software. Software is the greatest of equalizers.

There is definitely a subset of society that feels it necessary to thrust gender into discussions where they have no place - such as this article.

Are we supposed to be more impressed because it was a female? Why?
Hand crafted, artisanal JavaScript.
WorldCat doesn't have an official API for anyone but member libraries, scraping the site is not fun, and the quality of the data isn't great (it's essentially bulk-imported from member libraries' catalogs).

National databases like the Library of Congress are significantly better - WorldCat is best used as a fallback for books that aren't included in the high-quality databases.
Yep, I agree with all of this. It's pretty jarring to see the disconnect between one's own experience coming from these post-colonial countries with family members who lived through these conflicts, and the "public" attitudes and collective recollection within these centers of power and the discrepancy with their own self-perception as proponents of "liberal values" and "human rights".
Show HN: WindChime a Family Task Manager
WindChime is a productivity app for families. It allows you to send todos to each other and share relevant family contacts. For example: the pediatrician, the plumber, or the address of your kids friends for dropoff and pickup.

Running a family takes coordination to figure out who is doing what and when. WindChime is an app built to make that a little easier.

It automatically sends notifications when you make a task request, and you'll get a notification when the task is complete so you don't have to follow-up to find out if something is done.

Current contact and todo apps create information silos necessitating messaging contacts and task requests back and forth. WindChime reduces the friction of coordination by making the information available across everyone's phones (parents, childcare, kids).

Built by two dads who want great apps for their family life.
>If we reverted to year-round standard time as Trump proposes, those times would shift forward an hour, meaning sunrise at 4:24 a.m. and sunset at 7:31 p.m. No more of those glorious summer evenings spent at Citi Field or Yankee Stadium where it’s still light out until the sixth inning.

Why? Businesses can't switch operating hours during summer or events like sports and concerts can be schedulled earlier or later?
The things you're saying are real on the scale of the entire audience, advertising does work in the aggregate. But I'm stubborn and frugal and skeptical so I'm not buying some new product unless the stars align. I trust myself to be able to hear that it exists from a biased source.

Even if you don't believe the claim that X is the best product, it's good to know it exists as a starting point for if/when you ever start research on the options.
One of the best Youtube channels in existence, fantastic work.
thanks! i did a little demo of that: https://x.com/stevekrouse/status/1869068212811481223
Before iPhones had biometric authentication, a PIN was the only means to unlock the cryptographic key that protects your data on the phone. It still is; you can bypass Face ID and Touch ID at any time by entering your PIN.

So it's not like this is a new thing. It's the same concept, but applied to a PC as well.
Actual paper, not the press release: https://www.pnas.org/doi/10.1073/pnas.2405564121

Preprint via SSRN: https://papers.ssrn.com/sol3/papers.cfm?abstract_id=4933363

One should generally avoid press releases as much as possible, they usually exaggerate.
Thank you!

Yes, the levels get much trickier, and go up to 10w x 11h. Each world increases the size bit by bit :)

Good point about using the B button! I’ll add that in for sure.

The game uses battery-backed saving, in memory addresses $6000 for the level and world index. Running the game again should start you in the same spot, assuming your emulator has the right directory set up for reading and saving that data.

I was thinking of adding box art and a game manual, but shied away from it so far because I’m not much of a graphic designer haha. I think I’ll try it out though!

Thanks again! :)
If only it was just migrants. Famously, the Paris Commune was run by people who weren’t even French. But there is a difference between a highly mobile group of basically atheistic communards and traditional religious communities that would much rather transform France into something that looks a lot more like Taliban or ISIS controlled territory.

It is easier in America, because America has many minority religious communities that are able to keep to themselves; the way the French state is set up, everyone must be socially integrated, and that means conflict arises when one group of people has one set of values and they are forced to live among those with completely different values, often antithetical to their own and disruptive of the lives they wish to live.

Now, of course I would want this to be reformed (in France), but you must understand that would probably require the collapse of the French state as such.
> That wouldn't be an issue if it was a legal requirement because then they would all be subject to the same rule

Just because a product is discontinued doesn't mean every component inside of it is also discontinued. Nor does it mean the restrictions on those are based in copyright. They may be restricted by other legal mechanisms other than copyright.

> or be unable to market their software because it doesn't satisfy the requirement.

> Which is why they should be open source to begin with.

If you want to propose making closed source hardware or software illegal, just propose that.

What you're effectively arguing for here, is that people own the rights to everything in their entire development stack, which is pretty unreasonable for any modern commercial software/hardware development. Even many prominent and celebrated open source hardware projects would not comply with this. For example: every open-source phone project. Not a single one could even possibly comply with this law because open-source baseband firmware does not exist, and cannot exist due to spectrum licensing requirements.
Synchronized using what service? What's the authentication mechanism that would allow you to download your passkeys from this service?
>Are we not at a point where it would be vastly more appropriate to title this "one person dev team"?

Sure! I just find it interesting that these discussions only happen when "woman" is in the title, and never when "man" is in the title.

>There is definitely a certain subset of society that feels it necessary to thrust gender into discussions where they have no place - such as this article.

As long as you feel the same way whenever you see "one man dev team" or similar, I think that can be a good discussion.
closed as opinion based, classic stackoverflow

I heard jonskeet write a book so stackoverflow mod doesn't consider his answer as a opinion
The ulterior motive is compromised accounts and the support needed to deal with them is a tremendous waste of time and a liability.

Switching to hardware backed authentication reduces risk and support. Face/touch/PIN are an additional layer to protect against hardware theft.
The problem for new life with a different chirality would be that it would have to compete with the existing organisms. And the existing ones are already far, far more optimized than any new kind of life would be. So this is not comparable to the way life originally developed, where no competition existed and the entire environment was very different.
Identifying all of the owners of licensed code is a difficult problem all by itself. It's not always clear that third party code is even used in a product as any identification or licensing information is lost at compile-time. Some licensed code is only delivered as pre-compiled libraries so a licensee couldn't even comply with a law requiring all source code submitted for escrow.
> Borrowing from the future is exactly what a VC-funded startup is supposed to do

That's too broad, the hope is you're borrowing from a point in the future when you're able to pay the debt. If you borrow too much, or from a point too close to the present - though it's hard detangle those 2, then you may fail to scale at a critical time such as positive press attention or going viral, because you're paying down tech debt. From the article: if it had taken 6 months to fix their importer instead of the 2 weeks it did, the product may have died.
Yeah, but what I found thought provoking is what if you send the solar panels and the datacenter as well for training. No need to transmission of power down to earth. I guess then it becomes a heat dissipation and hardware upgrade and maintenance. But again, thought provoking.
Except we go out of our way in programming to make everything as easy as possible. If you think about it, half the non-video and non-social media internet is just programming related, with guides, tutorials, and various tools to make it as easy as possible to get somebody doing something.

And yes to be fair, yes some stuff in a field is simply complicated and we need to use complicated tools, specifications, processes and other such things in order to describe it accurately. But lets face it - most lawyer stuff is not complicated, the field is just swamped with complexity, "technical debt" and they are relying on processes and fluid human-driven interpretations in order to make it all chug along. What makes the whole thing complicated are the unspoken, verbally and experience-driven pieces of arcane knowledge. Nothing is documented in simple flows, nothing can be automated according to them, and they require actual human actors to drive the process forward from one step to the next.

This is why they are so against automation and simplification of their field. They know that if they automate the processes, that their field becomes very focused on knowledge, and at that point we'll all just realize that most of what they know can be codified in some sort of unambiguous specification format.
Ah, yes, “just” run every comment from 275k users through an error prone system, while paying for every API call, to host something they already do at a loss.
I meant to highlight, though apparently did poorly, 95% of people here will fall into (b) as it's not aimed at being the general use AI dev kit they'd want it to be. Unfortunately that seems to have been taken as "the product is useless to those building embedded systems because you can buy a 3060" due to my unclear wording.
> challenging dubious claims is the default, most rational approach

I would bet ignoring dubious claims is the default. Challenging and questioning any claims is a better default but I don’t think it is a common default reaction by many people.
Yubico's explanation of the name "YubiKey" is that it derives from the phrase "your ubiquitous key", and that "yubi" is the Japanese word for finger.

The Yubikey is greatly held back from wider adoption because of its stupid name.
How large of a watch was it? Digital, I take it?
The nice thing is that you can emit pretty sloppy C and the C compiler will optimize it pretty well.
There are even dedicated markup and scripting languages for this. I predict this technology will be hot in 2025.
>I believe an argument can be made that the bulk of what goes for "programming" today is simply hooking up existing pieces in ways that achieve a specific goal. When the goal can be adequately specified[1] the task of hooking up the pieces to achieve that goal is fairly mechanical. Just like the business of tracking trades in markets and extracting directional flow and then anticipating the flow by enough to make a profit is something trading algorithms can do.

right, but when python came into popularity it's not like we reduced the number of engineers 10 fold, even though it used to take a team 10x as long to write similar functionality in C++.
OpenAI o1 and new tools for developers
Really, once you understand any "paradox", it ceases to be a paradox at all.

I always feel a bit silly referring to any "paradox" as such, when it's not a paradox anymore. When it now makes perfect sense.