skysight-inc/HackerNews huggingface dataset:
Let me thank you also for sharing those resources and acknowledging this is a tricky problem for newcomers. I do love Prolog and I used to think I was a very careful coder with significant attention to detail, but Prolog is exposing what a clumsy buffoon I am if I don't have significant IDE support or "crash on typo" support.

I am particularly grateful because most of the books as you know were written a long time ago and tend to focus more on the beauty of the language and tend to gloss over the software engineering or composing large reliable problems. It is very rare to meet someone with significant experience in Prolog that can still remember what it was like to struggle with issues like that. Most "criticism" I read about Prolog are very superficial and are distracting from the more pressing best practices, so I'm extremely grateful that you shared this paper and I am really surprised I've never encountered it before.

I am actually really shocked to hear that the advice is to roll your own type system, and it's really interesting. I wonder if that is also the case for other expressive languages such as Forth/PostScript, etc. Most of the languages I work with more often (Python/JS/TypeScript/Clojure/C# ... but PARTICULARLY Python) tend to view runtime assertions and type-checking as an *anti-pattern*.

So I am really pleased and surprised to hear that a language as expressive and eloquent as Prolog, at least some folks find that writing that sort of code to be acceptable.

I realize this comment is getting long but the technique you mentioned of using goal_expansion/2 to compile away the assertions --

the dang thing about Prolog is the more you look into it, the more powerful you realize it is, but I'll be damned if it's not impossible to find these things out without someone telling you about them. Most languages seem to be possible to self-teach, but if I were to self-teach Prolog I never would've learned about the concept of monotonicity and I'd be using cut operators willy-nilly etc, lucky that I stumbled on Markus's blog/videos and lucky that I bumped into you!

Just like Python dislikes defensive runtime type checking, another interesting thing is that HEAVY use of metaprogramming tends to be viewed disfavorably in lisp, at least in Clojure! It's typically "don't write macros unless you have no other choice, because no one wants to read/learn your damn macros". I assumed it would be the same way in Prolog, but perhaps I'm wrong?

Anyway thanks again for the really patient response and for sharing your experience.
I was going to say that $200 seemed awfully expensive for a programmable kitchen timer.

I've had a project idea for a while that would require a bit more juice. In short, I want to make a music practice timer for ADHD kids that avoid actually playing music during practice time. I want it to be beefy enough to run some simple ML for detecting instruments being played, and I only want the timer to count down while the instruments are playing. I picture it looking a lot like the clock above, but with something like a Raspberry Pi jammed inside so it's got enough power to reliably detect "violin."

Any ideas on hardware for that?
In F#, yield! is a computation expression, C#'s yield within methods that return IAsyncEnumerable<T> works more or less the same way.
You're doing a disservice by making it sound like it is a fringe or even recent idea that the government is out to get people.

"The nine most terrifying words in the English language are 'I'm from the government and I'm here to help'".
- Ronald Reagan, 1986-08-12

Official Republican policy for the better part of the last half century is that government is bad and out to harm you. Sure, it's gotten more extreme in recent years, but it's been building to this for as long as I've been alive.
ETA is 2030. Originally planned for a rocket (SLS) which would have delivered the Clipper in ~3 yrs, but which was decided to be not viable for the Clipper (with some lobbying suspected).

How much science is delayed by the extra 2+ years? Looking at the 'project plan', is the Clipper's arrival (and delivery of data) on the critical path for research? And how much research?

I'm picturing a lot of scientists and research projects waiting an extra 2-3 years, and then all the research, follow-on missions, etc. also delayed. Essentially, the decision might shift everything in this field 2-3 years further away, and then centuries from now human habitation of other planets is 2-3 years later (ok, a bit exaggerated).

But seriously, maybe it's not on the critical path or doesn't impact that much. Is anyone here familiar with the research?
I think you got the size and position switched.
It's about clarity of intent at the call site. Passing by mutable ref looks like `foo`, same as passing by value, but passing mutability of a value by pointer is textually readably different: `&foo`. That's the purpose of the pass by pointer style.

You could choose to textually "tag" passing by mutable ref by passing `&foo` but this can rub people the wrong way, just like chaining pointer outvars with `&out_foo`.
The approach of colonizers from the west in the new world was broadly genocidal though. Like, "we want to live here, so go on git." Killing buffalo to literally starve natives, for example. Allowing natives in occupied lands to be only slaves or dead, for example. Even if it doesn't 100% fit whatever hard definition you're using, it approximates it pretty goddamn well.
So if one were to hypothetically stay in a temperature controlled and artificially lit environment could this seasonal cycle get messed up? And what consequences might that have?
Paying interest is horrible. Unless your investments are expected to do better than the interest rate. No way I would pull money out of the stock market to pay off my 2.25% mortgage.
That isn’t what I said. You are conflating multiple things.

I agree we created many of these problems (food being unhealthy, for example).

I also agree fixing many of them would be good.

I don’t agree that that is the only way to help people, and I don’t agree with the implication that “all pharma is bad,” because I don’t make outlandish binary statements like that.
this is the ideal but does not appear to really be the practice -- regardless of whether you're applying direct or not.
> When is the last time someone used a bomber?

The US bombed some Houthi launch sites within the last couple of months. Israel bombed Beirut this last week.
OpenD on iPhone/Mac/etc.: ldc gets extern(Objective-C), dmd gets pragma(linkerD
v2 should replace the matrix display with a Vegas Sphere [1] :-p

--

1: https://www.youtube.com/watch?v=Jjg6-xT6rJg
China is the #1 trading partner of nearly every country in the world. That's all you need to know about how bad they are doing.
Hacked Roombas yell racist obscenities at owners
I wouldn't have thought this kind of thing would be useful, but after trying a few pomodoro timers I ended up with one (TimeTimer Plus) that is so large that it had the unanticipated benefit of notifying others how long I'll be busy.

However, I will say it depends a great deal on your coworkers/family as to whether they care that you're busy when they want to ask you something.
I didn't see a foot gun either, but somehow my foot went missing.
> Probably a legit analogy imho

It’s a terrific analogy. OP is arguing that it isn’t an analogy but an identity. For what should be obvious reasons, it isn’t. And in this case, the difference between analogy and our best model of reality is material.
> indigenous people who get colonized

Academic talking points. Talk about the indigenous Irish who got "colonized" by the Celts, or the Britons who got "colonized" by the Saxons, Danes, and Normans, or the native American tribes who got "colonized" by other tribes, or the Gauls who got "colonized" by migrant tribes.

The fact is, everyone is on "stolen land" including the "indigenous." The Spaniards were more exploitive than the English and other northern Europeans (look up "Potosi"), but that doesn't make the latter perfect.

The New World was going to be integrated with the Old World sooner or later, no matter who did it.
It's GIT_EDITOR first, then EDITOR if GIT_EDITOR is not set.
I worry there's an executive zeitgeist of: "Let someone else train them up, then we'll hire them away afterwards."
If you click through, they literally say "this is not a kit" and then talk about it being a materials list. I guess these days people would expect a kit to come ready to assemble.

(I only looked at one, maybe I have bad luck)
Cross-range applies within the atmosphere, not in orbit. Once in orbit, spaceplanes have no less predictable orbits than anything else with fuel and restartable motors.

For the X-37 to deliver on a surprising vector it would have to sacrifice itself by deorbiting and manoeuvring, which I suppose is feasible. But modern MaRVs also have some re-entry cross-range and HGVs considerably more.
I work for big tech. Our problem is not the unstructured nature of the data; it is the volume of noise to signal. Basic ranking and information retrieval is implemented; we have LLM/RAG systems that can be queried. However, it’s hard to evaluate what is good and up to date information - 98% of the documents people kick out are not useful.
Our old Plantronics phone headsets had a TRS jack which would connect to an optional status light. It would light up when the headset was on a call.

https://www.headsetsdirect.com/product/poly-busy-light-strai...
As usual, those with something to hide are the ones complaining. /s
> which seems to be against helping their own people.

The twist is they honestly believe they are helping their own people. They are convinced FEMA is a private police force working for Biden and FEMA's aid is rounding up republicans to put into camps and by signing up for FEMA aid, you are signing over your house and personal property.

And with social media fanning the flames, it's a very tense environment and can get bloody quite fast if two wrong groups run into each other at the worst possible time :(
> Fast, performant and cheap.

What's the difference between fast and performant?
> as I'm aware Maxwell's equations don't have an asterisk on them that say "doesn't work below 1 GHz"

You don’t see how one being able to attenuate around a hill while another needs line of sight isn’t material to the way we use light and radio waves?
Though trying to run Emacs like vi is a pitfall in itself. Clunking around the terminal summoning Emacs to edit files is really not a particularly effective way to use it. Emacs is not vi, and using Emacs like Emacs makes more sense. Most users explore your filesystem and spawn and monitor processes from within Emacs, rather than from a terminal.

Not that you can't work that way (and using `emacsclient` is the way to do it), but you're losing out by trying to shoe-horn usage patterns familiar from other toolchains onto Emacs. Emacs is not a text editor, it's a text manipulation platform that includes an editor - a number of editors in fact, including a vim clone.
"Identifying Different Musical Instrument Sounds Using Fourier Analysis in LabVIEW"
Rather than "ML" du jour, I would say that a fast Fourier transform would get you sufficient data to determine if practicing or talking or silence.
Hmm shouldn't the button labels be reversed if you're supposed to face it away from you?
They started out with places to stay and now throw experiences into our faces on the home page.

Compare that to booking.com home page that has stuck to “place to stay” as the entry point for the user for ten years since I’ve been using them both. That consistency means a lot and ends up occupying a space in the user’s mind.

Aibnb cannot make up its mind on what it is.
Big news from Unreal Fest Seattle 2024
This person doesn't seem to think it's supported:

https://news.ycombinator.com/item?id=41834052
Thanks for helping with the urchin removal.

It seems that the Sea Star Wasting Syndrome, which killed off most sea stars along the western North American coastline, might have been exacerbated by unusually warm water in 2014-2016 which stressed those animals. The death of those predators caused the purple sea urchin population to explode and they ate up most of the kelp. So it's all connected. (I'm sure your aware of this, just providing a little more context for others.)

https://www.nps.gov/im/swan/ssws.htm
I’d love to have an answer to this! As I said this is anecdotal, based on many years of experiences with friends, and the ones tending to have more vivid dreams seem to have more intense trips given equivalent dosage. It became a bit of a pet theory at some point so I ask about it. I wouldn’t be surprised if there’s some confirmation bias or something like that at play, but given the kind of hallucinatory nature of dreams I can also imagine some sort of linked mechanism.

I also rarely remember dreams and despite occasional exceptions wouldn’t consider most of them vivid. So I tend toward heavier dosages :)
If you AM modulate the carrier f0 by a single tone f1, you get a spectrum with only three tones: f0 - f1, f0, f0 + f1. If you FM modulate it, well the thing gets much more complex - depending on the depth of modulation you can get a much wider spectrum than from f0-f1 to f0+f1. So it is hard to compare. Your FM modulated signal may indeed be more resilient to noise but will require wider channel to be properly transmitted.

I haven’t seen a convincing explanation if FM would be really that better than AM if both were given exactly the same channel width.
I'm finding o1 to be far better at code.
I wonder why people are having such differences
Why the disbelief? You are literally describing the process of species extinction due to failure to adapt. This should not be a new concept.
In Europe, ESA has been pretty open about trying to copy and play catch-up to SpaceX:

> Q: Callisto looks very much like Grasshopper, the SpaceX Falcon 9 first stage reuse prototype.

> A: Callisto is Grasshopper. The Chinese are also building a similar prototype, I have no problem saying we didn’t invent anything.

https://satelliteobservation.net/2018/06/02/cnes-director-of...
Companies that are happy with this, er, Automated Search Copy-Paste as a Service will deserve what happens to 'em.
The "Nobel Prize in Economics" was not one of the original ones endowed by Alfred Nobel. As the name implies, it was created by a bank.

Is there any reason Jeff Bezos, Bill Gates, Mark Zuckerberg, and Elon Musk can't endow a Prize in Computer Science? That would end the controversy about whether AI is "Physics."
I think those SQLite databases are capped at 1GB right now, so even complex migrations (that work by creating a new temporary table, copying old data to it and then atomically renaming it) should run in well under a second.
https://seclists.org/risks/
Absolutely chuffed to hear that Daren Acemoglu (one of my fav econ writers), Simon Johnson and Robinson won the Nobel memorial prize.

Acemoglu has been a brilliant and prolific econ writer, and I enjoy his exposition. Many have commented on his "Why Nations Fail", and rightly so. More recently, he also wrote "Power and Progress: Our Thousand-Year Struggle Over Technology and Prosperity".

I'm more interested in his thoughts on tech and development (than on instituions and democracy), and he doesn't disappoint.

More topically for HN folks, he wrote on "The Simple Macroeconomics of AI" [1]. Unlike many contemporary researchers / writers (incl. Ethan Mollick) who are completely ga-ga over prospects of AI-driven economy over the next decade, Acemoglu is more reserved.

His top findings:

Modest Productivity Gains: Estimates suggest TFP growth from AI will be less than 0.55% to 0.71% over 10 years, limited by the complexity of tasks.

Hard vs. Easy Tasks: AI's impact on "hard-to-learn" tasks, which lack clear metrics and are context-sensitive, will likely produce smaller gains than on simpler tasks.

Wage Effects: AI's productivity benefits may not substantially raise wages, particularly for low-skill workers.

Inequality Impact: AI is unlikely to reduce labor income inequality significantly and may widen the gap between capital and labor incomes.

Task Complementarity: AI could enhance productivity by complementing human workers, though benefits may be limited if task prices fall.

Role of New Tasks: New AI-enabled tasks could boost productivity, but some may also create negative social value, such as manipulative content.

Automation Limitations: Extensive-margin automation may not lead to substantial wage increases if displacement effects outweigh productivity benefits.

Consumer Welfare: Increases in GDP may overstate consumer welfare improvements due to investment's impact on consumption.

Capital-Labor Dynamics: AI's use may increase the capital share of income, further shifting income away from labor.

Investment Response: AI-related productivity gains will likely trigger only modest capital stock increases.

[Caveat: above summary generated by ChatGPT, sorry!]

I'm cautious -- neither too optimistic (although the engineer in me wants to believe in the AI-driven future) nor too pessimistic (but I'm also very, very realistic in broad adoption and benefits dissemination of AI).

His recent chat with FT [2] is also illuminating (Sep 2024).

---

[1] https://economics.mit.edu/sites/default/files/2024-04/The%20... (Apr 2024)

[2] FT audio interview - https://www.ft.com/content/e865a777-501a-4417-839e-dffd4b520... (Sep 2024)
Observing where attention is aimed is a form of meditation. What you observed is something I have experienced as well. It is normal and expected.

I have enjoyed reading "The Mind Illuminated" by John Yates. The book is a meditation guide and includes descriptions of experiences like yours.
Cool work! Correct me if I'm wrong, but I believe to use the new OpenAI structured output that's more reliable, the response_format should be "json_schema" instead of "json_object". It's been a lot more robust for me.
For the specific example of a Yjs backend, I happen to be working on one that can be hosted either on Cloudflare or as a native process. We’ve had people running in production migrate from cloudflare to native just by swapping out the URL they connect to in their application config.

https://github.com/jamsocket/y-sweet
> Just because the mechanism of resurgence is unknown does not mean that all previous science on the topic is invalidated.

This is really the core of the problem. It's why the downvoters are wrong and why it's worth debating the topic here, because it's really a much wider problem than corals or climate.

What government employees have done so far wasn't actually science and they aren't really experts. It was presented to the public as science, it was funded from science budgets, it has the superficial look of science, but it wasn't science. It was merely data collection, followed by wild theorizing based on nothing, followed by political lobbying. It wasn't even extrapolation, as there was no trend to extrapolate!

That isn't how the scientific method is supposed to work. Scientists are supposed to form a hypothesis, gather data that could falsify the hypothesis, publish it, then let others replicate it and so on, until we are certain enough we understand the underlying system to proclaim it a theory. Then you can go to politicians and demand money or changes to laws.

The complete lack of scientific method here is why reef ... people ... I don't want to give them the title of "scientist" ... have managed to not only seriously embarrass themselves but undermine confidence in all ecology and climatology. They had no basis on which to claim that CO2 induced warming was killing corals. The data simply did not fit that hypothesis at any point. Yet by tying their field to climate change they unlocked media interest and a much greater flow of money. They took the easy, tempting path instead of the right path and it is not only completely legitimate but a moral imperative to point out their dishonesty. Their own colleagues and institutional supervisors aren't doing it, so other people have to. If nobody does then this is how science dies, people! When anyone can call themselves a scientist despite not doing science, then eventually the whole concept of science itself will be seen as a discredited joke. That's how dark ages happen. Everyone should be calling out those who claim high confidence in their predictions whilst not having done the work to deserve that confidence.
Yes we would, and certainly there already is evolutionary pressure. This is just putting our finger on the scale knowing what's coming.

What is "fast enough" is in the eye of the beholder, life doesn't really care about boom and bust cycles or extinctions, but people really don't like change so we can do it faster and do a bit of reef gardening.
> There's nothing moronic about the argument that calorie deficits can cause weight loss.

That’s not the argument you are making, and that is one I’d agree with.

> Most people using Ozempic have never tried multi-day fasting as an alternative.

Source? This is an assumption that requires data, because it is intuitively not true; and anecdotally, it is also not true.

This is purely a prejudiced assumption.

> There are plenty of ways to lose weight that don't require taking medicine that might be fucking up your digestive system long-term.

Or it might not, and hasn’t, at any meaningful scale, since 2005. Seems like you really want it to, though, and that seems like more a problem with you than it or them.
Is there an official client?
You are wrong on this point. Genetically, Jews are as distinct as any other race (and the world's obsession with Jews mean that you can find plenty of studies on Jewish genetics). Jews take DNA tests and get marked as "Ashekanzi Jewish" (or other Jewish type) on tests like 23andme.
This optimises for a key vmware license mechanism "Per core licensing with a minimum of 16 cores licensed per CPU.".
> Where did it glow yellow? What time in the video?

This is a better view than the sibling comment linked. It's a greater close-up and you can clearly see the yellow glow behind the engine bells. This view is from Cosmic Perspective, a partner of Everyday Astronaut, whose video is linked:

https://www.youtube.com/live/pIKI7y3DTXk?si=LI4-xQ7UhnvITTiG...

In case you get confused due to lack of context, the booster shot is a replay. When Tim goes to split-screen view, the right-side image is a live view of the second stage ("Starship") as it re-enters from orbital speed. It is not a different angle on the booster that is shown on the left.

Later commentary explains that the heating behind the engine bells is due to atmospheric compression and SpaceX specifically orients the drop of the booster to focus heating in this spot.
Platybelodon
Ichigo: Local real-time voice AI
There was an announcement on LocalLLaMA: https://www.reddit.com/r/LocalLLaMA/comments/1g38e9s/ichigol...

There were several links:

- Blog for details: https://homebrew.ltd/blog/llama-learns-to-talk

- Code: https://github.com/homebrewltd/ichigo

- Run locally: https://github.com/homebrewltd/ichigo-demo/tree/docker

- Demo on a single 3090: https://ichigo.homebrew.ltd/
Aren't all of those just prebuilt images that use Syslinux?

Plop is itself an actual boot manager.
It’s not obvious that they have any chance of delivering an autonomous robot
Show HN: Open Sukkah – "Airbnb" for Sukkahs
Yes. Only tool I've found that makes git usable.
It's important that people understand that the mechanism of evolution has been conclusively demonstrated in a laboratory within a single researcher's lifespan.
Linearizing LLMs with LoLCATs
There are many good CMSs, no doubt. But Wordpress is the de-facto standard, every theme has first class support for Wordpress. And every thing on the web has a Wordpress plugin.

It’s not rocket science to learn another CMS, but many people are deeply invested into Wordpress and it would take a lot of money and effort to switch.

Even if the popularity of Wordpress decreases now, Wordpress (or a compatible fork) are going to be relevant for at least another decade.

The Wordpress license GPL/Copyleft makes forks rather easy.