skysight-inc/HackerNews huggingface dataset:
Write down a Hamiltonian cycle for the (undirected) graph where the nodes are given by the squares of the chessboard and are connected by edges if they are (orthogonally) adjacent. Notice that because the squares are different colors, deleting them from the Hamiltonian cycle partitions it into two even length paths. Cover each even length path with dominoes.

The part where you notice the two paths are even length feels a bit like dark magic the first time you see it. Notice that if you have two different coloured squares which are consecutive on the cycle the paths you get are length 64-2 and 0, then if as you move one of them further and further along the path you have to move in steps of 2 to keep them opposite colours.
Why are there always these smug "Dijkstra's right that everyone else is an idiot" replies to Dijkstraposts? Do people understand exactly what Dijkstra was advocating for?

> I have met some developers in my career that can communicate as effectively as this with equally brutal criticality, but those people are astonishingly rare

The fact that it's rare to find arrogant people who argue with "brutal criticality" that all programmers should use formal methods all the time (like Dijkstra did), is not a bad thing IMO.
DESK42: Calculator, spreadsheet, flight planner, text, graphics and games
The Thin Purple Line – The dubious rise of the private-security industry
Show HN: Email Verification Tool for Accurate and Authentic Email Addresses
This project is currently in early preview, and I have many ideas for future development.
The main goal is to make it really simple to integrate into any webpage with just a few lines of JavaScript.

It could be especially useful for registration flows where you want to block disposable emails, as they typically only receive emails and don’t allow sending.

I'd really appreciate your feedback, especially if you find this tool useful!
Q: What's wrong in having a CLA?
A: It allows you to re-license your project in future.

It gives the original author the right to relicense your contributions at a moment's notice, to a license you might not agree with. It effectively means that you cannot contribute to the project under fair terms.

A CLA is similar to a EULA in the sense that most people don't care about it and blindly click "Agree", and as such are unaware of the potential consequences. Look at what happened when HashiCorp relicensed its projects. People were outraged. They agreed to the CLA, so they must have known that this could happen. But did they really take the time to understand what they were signing?

As a contributor, you should never agree to a CLA. As the original author, requiring your contributors to sign a CLA sets an extremely bad precedent.
Cool, works now. Thanks!
Basically all of these are examples of 'bad UX is bad UX'. Sure, don't show a toast when another confirmation already appears. And dont make them async to appear. And dont include undo for something that is able to be easily undone. The toast for archive with the 'undo' _is specifically when you should be using this_.

For context, I'm coming from the world of native apps. Toasts overall, especially with the 'undo' action, have been a very useful contribution by Google to UX. Compared to iOS's "show a blocking popup in the middle of the screen", they were so much nicer. Like I said, the "undo" for cases like the archive example are the whole point! Instead of asking "are you sure?" for everything, you just delay the action and offer an undo. Default to the user being sure they wanted to perform that action and dont gatekeep their flow. Dont overuse it, but dont blame its bad uses on the toast itself.
Direnv + nix packages is way better than Dev container development in my experience.
Starbucks' new CEO will commute 1,000 miles from California to Seattle office
That does make a certain amount of sense... much more sense than https://en.wikipedia.org/wiki/Toast_(honor) which for some weird, unexplainable reason my brain had decided was where the name came from...
Show HN: A Project_Based Learning platform for coding
Hey everyone,
I’m working on something that I think could really help those of us who’ve been stuck in "tutorial hell"—you know, where you just keep following tutorial after tutorial without really doing anything on your own. The platform is called CodeSprint, and I’d love to get your thoughts on it.
Here’s the basic idea: CodeSprint is all about learning by doing. Instead of just watching 10hr videos or reading through docs, you’ll be solving real-world problems by building projects. Think of it like "TryHackMe" but for coding. The goal is to help you actually apply what you’ve learned in a meaningful way.
The cool part? The projects on the platform won’t just come from us. We’re planning to have content created by educators, industry pros, and experienced devs. These projects will go through our team for approval before they get published, so you’ll have access to a wide range of high-quality, relevant stuff to work on.
A few key features we’re planning:
Real-World Projects: You’ll have a bunch of projects to choose from, covering everything from web dev to AI, that will help you build a portfolio that really shows off your skills.
Problem-Solving Focus: The instructions are designed to make you think and solve problems on your own—it’s not just about following along. We want to push you to figure things out, which is where the real learning happens. But obviously help and hints will be available.
Interactive Coding Environment: You can code right in your browser, no need to mess with setting up your environment. Also there will be a gamification element to the platform.
Expert Guidance: You’ll have the chance to get feedback and review from industry experts, which I think will be super valuable.
Community Support: We’re building a community aspect too, so you can share your journey with others, get help, and maybe even work on projects together.
Here’s where I’m stuck: I’m not sure about the best way to price this. Should it be a pay-per-project, or maybe offer some kind of subscription package? I’d really appreciate your input on what would work best for you.
Why I’m doing this: I’ve seen too many people, myself included, struggle with moving from learning concepts to actually building stuff. I want to create something that helps people make that leap—learning in a way that feels practical and engaging.
So, what do you think? Does this sound like something you’d use? How do you feel about the content being created by external experts? And seriously, how would you prefer to pay for access—per project, monthly subscription, something else?
I’d love to hear any feedback, suggestions, or ideas you might have. Thanks a ton in advance for your help!
Really neat! It runs on the DM42 calculator from SwissMicros (no relationship other than being a happy customer): https://www.swissmicros.com/product/dm42
Will be lovely to have the source N years after AGI terminates humanity.
If a spider is doing anything, there’s a safe bet that it’s been doing that thing for thousands or millions of years. Spiders are extremely successful and they’ve occupied countless niches as they’ve been around for 380 million years.
Thank you for the tip! I ended up editing the port parameter in the app.run() call within portable.py and it worked. Felt like it might be a good idea to add this as a runtime argument for easier customization.
> before GPS was viable

GPS can be jammed (see Russia-UKraine war), so inertial systems are still very important for rockets, for example some HIMARS rockets start with GPS and then rely only on inertial while getting close to target.
We do! See https://benchmark.sourcemeta.com for a live benchmark and https://arxiv.org/abs/2211.12799 for a more detailed academic benchmark.

The TLDR is that is that if you use JSON BinPack on schema-less mode, its still more space-efficient than MessagePack but not by a huge margin (depends on the type of data of course). But if you start passing a JSON Schema along with your data, the results become way smaller.

Please reach out to jv@jviotti.com. I would love to discuss your use case more.
I said "beginning"
Revolutionizing Medical Education with AI: Our Journey from Prototype to Market
We're excited to introduce Axon Learning, our newly released beta platform that leverages AI to revolutionize board exam preparation for medical students. Our platform features AI-generated vignettes that closely mimic real exam questions and a Socratic method chatbot that guides students to discover answers through critical thinking, fostering deeper understanding and retention. By encouraging exploration rather than just providing answers, we aim to make learning more efficient. We're eager to gather feedback from early users and continue improving the platform as we expand beyond medical education.
You make good points, but to be fair, I feel it's more the beating around the bush that people take issue with.
I guess I'm an old grump then. I don't want air first development. It should be an extension. Why would an editor need to have air baked in when things like language support is an extension?
I thought so to at first but no, this person is not wrong. The situation is FUBAR.
> Pretending that this can be given a denotational semantics is the charlatanism by which AI zealots also claim the world is some abstraction.

Huh?
https://www.sciencedirect.com/science/article/pii/S030142152... ("The political economy of coal in Poland: Drivers and barriers for a shift away from fossil fuels")

But also, from this piece:

"When including nuclear, 74% of the EU’s power came from low-carbon sources in the first half — up from 68% in 2023."

and: https://www.politico.eu/article/solar-power-global-emissions... ("EU blindsided by ‘spectacular’ solar rollout")

"Explosive growth in solar power means most EU countries will hit their 2030 renewable energy targets ahead of time, new data shows, fuelling optimism on efforts to bring down global emissions. The bloc added 41 gigawatts of new solar capacity in 2022 — a 40 percent increase on 2021. That's expected to rise to over 50 GW this year. Some 23 countries are slated to reach their solar installation targets by 2027, according to data from the SolarPower Europe lobby group based on the latest available national targets and shared with POLITICO."

I cannot overstate how phenomenal this is, and various renewables and storage trajectories are still bending towards vertical.
> Just takes (quite a bit) more trial and error to find it nowadays.

Agreed. I can't complain too strenuously about being required to do more legwork to find good writing. If I'm going to spend a week or longer with a book, I'm happy to do more than merely swipe-right, swipe-left :-)
I mentioned this in another comment, but the whole reason the archive is able to be optimistic is partially because they offer the undo via toast. Otherwise its likely they would add an 'are you sure' plus a loading-state when doing these "semi-destructive" actions.
"stakeholders"

Can I ask what do you think this the term "stakeholders" describes and what alternative terms you should use?
I completely agree that it being far away from the interaction point is bad UX. That said, toasts by themselves are not bad, it depends where they are.
https://github.com/bpc-clone/bypass-paywalls-firefox-clean

Still up lol. However someone will have to stand up to maintain it as time passes.
Yes. He's just doing it in such a way that the legal system feels little to no impetus to intervene.

In practical terms, the legal hazard to such a trap is the possibility that one of two things happens:

1. You injure the target in a way you didn't intend, such as causing an eye injury with a glitter bomb, which gets the attention of authorities.

2. Someone who isn't the target inadvertently sets it off and is sufficiently pissed off to seek legal redress.
City council faces £216.5M loss over Oracle system debacle
Receiving a coin / token everytime someone gets their branch merged? This is a joke btw, please don't make a gitcoin YC....
When it's ready to tested you can post it as 'Show HN' (https://news.ycombinator.com/showhn.html) Until then it needs to be a normal submission.
Ohhh I didn't know that, thanks!
I hope code search will one day be offered at a lower price, so small/medium sized companies can use the product. I'll never be able to convince someone to buy it when it's 3 or more time as expensive source code hosting, and would in many cases be most expensive SaaS product per developer seat that the company uses. But it's a great product.
I never used cborium, but if I'm understanding it correctly, I think it adds types at the language deserialisation stage and not over the wire. Which means that it makes it a lot more ergonomic to use within Rust, but doesn't use typings for space-efficiency over the wire.
In all of the years I've been dealing with "toasts", I never realized this until just now. I always thought it was some kind of weird reference to toasting with a drink or something.

Update: On consideration, I think my disconnect was because the plural of the notification method is "toasts", but the plural of the recooked bread slices is "toast". The plural of benedictions given prior to a drink is "toasts". So I mentally connected up with that.
Can you prove you're human? Try this AI text-based game
It also would mean you would move the item eagerly, then put it back on error. Or alternatively make it a "ghost" item in the list then remove on success. But overall the eager-move + toast + undo is just a much faster feeling implementation and the overall UX is so much cleaner.
You describe pretty much any animal. They all want to avoid humans but there’s food all around our homes. Deer, coyotes, opossums, raccoons, turkey, and an occasional bear all live around me but are rarely seen. Most of them I only see at night on my cameras and I live in a suburban environment with a small patch of woods behind my house.

We would’ve found bones from Bigfoot by now.
Do you do anything with hardware/microcontrollers? I dabble in the daisy/rasbpi world for synthesis and effects, but have always just used off-the-shelf reverb in the chain and things like teensy audio are fine but not especially great (specifically things like shimmer reverb)
Aren’t “utterly toxic” and “scammer” kinda the same thing? The only difference is the intention, and does that really matter?
Without more logic than this does this mean any workers that are busy or down mean you lose jobs?
>The incident report almost didn't mention design at all, so what are the chances of the problems ever getting addressed?

The fact the Touch Screen shouldn't have been there? Almost zero. EDIT: Apparently the Navy is going to put all mechanical controls back. I was totally wrong.

My guess is a bunch of retired flag officers at some defense contractor pitched it and close to retirement flag officers approved it. Maybe in 10 years, they will quietly change it behind closed doors but more than likely, someone has great idea of using Vision Pro to control everything because Heads Up Display or some insane thing they can sell to Navy for big money.
Anecdotal personal experience in safety-critical design:

A team was tasked with modernizing their multi-million dollar decades old test stand. The entire time they were cursing previous engineers for their lack of documentation that made reverse engineering difficult. Then when it came time for them to produce the documentation on their own design, they balked at the idea. I had a conversation with them about how they are screwing over the future engineers just like they were screwed over, but they still maintained cost/schedule pressure was too much to comply. We settled on them being allowed to go forward as long as they set aside a fund source and a date to have the documentation complete. When that date came and went, the documentation wasn't done and the excuse was the funding was used up by other projects. I feel like I owe those future engineers and apology.

I don't think I'd be so trusting/naïve today and would push back harder that if they couldn't get their documentation in order when the design was fresh in their mind, they're even less likely to do so in the future.
The Thomson (also known as Lord Kelvin of degrees K fame) tide predicting machine takes us back to the late 1800s.

https://en.wikipedia.org/wiki/Tide-predicting_machine

One implementation of it was a notable part of WWII:

> They came to be regarded as of military strategic importance during World War I, and again during the Second World War, when the US No.2 Tide Predicting Machine, described below, was classified, along with the data that it produced, and used to predict tides for the D-Day Normandy landings and all the island landings in the Pacific War.

https://en.wikipedia.org/wiki/Tide-Predicting_Machine_No._2

From Veritasium : The Most Powerful Computers You've Never Heard Of - the tide calculator plays a prominent part of the video. https://youtu.be/IgF3OX8nT0w (the next video is also in the same topic - Future Computers Will Be Radically Different https://youtu.be/GVsUOuSjvcg and that gets into more modern implementations and uses - https://the-analog-thing.org is the device shown in the video).
you can ask a NYTimes 72 hours pass anytime from your bnf account.

https://www.bnf.fr/fr/ressources-electroniques-de-presse

It is obviously clumsy on purpose in the sense that if you want to access the NYT on a regular basis, you need to go through the procedure again once the 72h pass expires. If you are a regular reader it might be worth paying for the membership.
Airbags aren’t a useful tool for data/control.
Show HN: mlut – Atomic CSS toolkit with Sass and ergonomics
Hi HN community!

I want to tell you about my open source project: mlut. This is an Atomic CSS toolkit with Sass and ergonomics for creating styles of any complexity.

Main features:

- Strong naming convention

- Almost arbitrary by design

- Great ergonomics

- Handy extension

A detailed breakdown of the features can be found in the readme on GitHub. And if you want to dive deeper into the technical part, check out this article: https://dev.to/mr150/atomic-css-deep-dive-1hee. This is a transcript of my talk at the tier 1 JavaScript conference (HolyJS).

In the meantime, I'll list a couple more features of the tool:

- Written in Sass and includes all its benefits

- JIT (on-demand) and AOT mods are available

- Fully customizable: change tokens, utilities names and any settings

- Easy to integrate in existing project. No name collisions with your CSS in the most projects. Increasing specificity in one line or for one utility.

If you want to learn a bit about the history of the project, you can check out this article: https://dev.to/mr150/mlut-a-new-word-in-the-utility-first-cs...

I would appreciate any feedback, and especially stars on GitHub!
So, the problem with that is that not everybody is equally good at "thinking for themselves." A sufficiently-large group of people will always divide itself, as inevitably as if Maxwell's Demon himself were prodding them, into subsets of people who can be easily herded and people who can't be. By the same token there will always be a small minority, drawn from both subsets, who are unusually good at doing the herding.

Everything that goes wrong later can be traced to that inequality. Things that go right can usually be traced back to it as well. Any faith or philosophy that doesn't begin with an understanding of that aspect of human nature is a waste of time at best. Thank you for coming to my TED talk.
14ft. Similar to 13ft but implemented in Rust.
Curious to hear if you generally prefer to manage client's forms and billing through your own account or have them create their own and share credentials with you?
I didn't mean typing in the sense of autocomplete, I meant typing in the sense of stubbing out an entire class or series of test cases. It gives me scaffolding to work with which I can take and run with.
The anatomy of a 2AM mental breakdown
YT Music user here. I've found many new artists - across genres - through recommendations. There's also a "related" tab that you can bring up for each song.
> randomly pick a missile and launch them from Vandenberg

Jeff! Did you remember to take out the warheads? Jeff?!
Comparison of last example from https://axel.leroy.sh/quick-refs#dasel

desel:
.data.all().filterOr(moreThan(.quantity,3),equal(.quantity,3)).mapOf(key,key,quantity,quantity)

yq:
.data[] | select(.quantity >= 3) | {"key": .key, "quantity": .quantity}

jq:
.data[] | select(.quantity >= 3) | {key, quantity}
Exactly! The real hardcore savings will always be when you pass a schema, as JSON BinPack uses that to derive smarter encoding rules.

However, schema-less is very useful too. The idea with supporting both is that clients can start with schema-less, without bothering with schemas, and already get some space-efficiency. But once they are using JSON BinPack, they can start incrementally adding schema information on the messages they care about, etc to start squeezing out more performance.

Compare that with i.e. Protocol Buffers, which pretty much forces you to use schemas from the beginning and it can be a bit of a barrier for some projects, mainly at the beginning.
Is there a way to get "realistic" reverb using GPU computation?
This is a risk common to all "fat clients", when the same team develops both the server code and the client code: it's easy to forget that, unlike the server code, the client code cannot be trusted.
average car price in 2024 us $48k, so a $70k car is still for the posh.
Sure. Whenever you post on a forum it's half for anybody else reading, right? I just thought it was interesting to consider the underlying metaphor; maybe people don't think about it. Metaphors, connotations, etymologies -- I find these interesting.
> I didn’t know this turn of frases existed though

Last time I called it “funemployment”. A lot of my hobbies progressed. About three months in I got pinged by a recruiter and ended up accepting an offer at an aerospace company.
I saw this video [0] from the creator of this project the other day. Here he shows how to connect a USB joystick with a playstation access controller [1] by mapping from USB to 3.5mm analog output.

I found this because I was looking for something else for the access controller.
It's basically the other way around: I want to use the controller on a mac and need to remap it's outputs to something useful. I don't have a playstation and apparently you need one to remap the controller keys once before plugging it in to a PC, otherwise only 3 out of 8 buttons will send something that is recognized as USB HID

[0] https://www.youtube.com/watch?v=MtXdPWN6NBw
[1] https://www.playstation.com/en-us/accessories/access-control...
Great seeing you over here Michael :) For other people reading this thread, Michael and I are collaborating on a paper covering the schema compiler I've been working on for JSON BinPack. Funny coincidence!
In reading the documents google's Loon made available before shutting down (and saying that hydrogen airships were the way to go) [https://storage.googleapis.com/x-prod.appspot.com/files/The%...], the bottleneck on staying up longer was helium loss. Lots of things, mechanical failure etc, caused flights to end early. But the ultimate limit seems to be either helium loss or the impact of helium absorption on seals etc causing failure. Helium is a very small molecule, so very hard to keep confined.

However, as they learned from experience, Loon was slowly increasing their upper limit on how long their balloons could stay up.
You could still use collaborative filtering, except with users giving different ratings to the same songs depending on their mood. This approach was used in a movie recommendation engine (I forget which one).
One of the things that makes Resend special is that you can send emails using React. Sparkpost is great, but there has been little evolution in the last few years after the MessageBird acquisition.