skysight-inc/HackerNews huggingface dataset:
Very interesting article. Worth noting that the position and size of the engines on the DC-9 would likely be more favorable for ditching than that of most modern airliners. The low and very large underwing engines generate a huge yaw force as soon as they contact the water, and it's very difficult to get both to contact at exactly the same time in a rough sea.
I'm going to have to print this one out lol. Very creative.
A chess move is a single token. An network that would predict the single token without traversing a search space would most likely be faster than a model that needed to do some kind of recursive search.

This kind of benefit is what sets AlphaZero apart from earlier engines in the first place. It was better able to evaluate a position just from the pattern on the board, and needed to search a much smaller part of the search space than the older chess engines did.

An engine that at a glance would be quite good at predicting what move AlphaZero would do, given enough time, would take this principle to the next level.

You see the same in humans like Magnus Carlsen. Even if he doesn't "calculate" a single move (meaning traversing part of the search space in chess lingo), he can beat most good amateurs by just going for the move that looks "obvious" to him.

Anyway, the point isn't chess. The point is that the search part of the Alpha family of models (which tend to be specialized) seems to be making its way to multi-modal models.

And that this makes them slower and more expensive to run. That's fine for some applications, but since their output is not really just regurgitating the input, their output MAY be more useful as training data for other models than other available training data.

Now there is another difference between AlphaZero and traditional LLM's, and that is in the RL-through-self-play. I don't really know if something like Strawberry would also require RL-training to actually outperform the original training data.
I think what's naive is to assume that statistical detection methods haven't been investigated at length by the anti-cheat companies.

When a complete newcomer comes to a field and sees professionals not doing a simple thing, the right question isn't "why don't you just do this, duh", but "I thought this would work, why doesn't it?".
Both Clay and the IDE look awesome!
I'm ESL myself but I feel such poetic language is at least somewhat appropriate for MH370, probably one of the greatest real-world mysteries of the 21st century, no?
I didn't say that water landings in general are not possible (though they are difficult even under ideal conditions). I said that landing in the open ocean is not really something that has been done successfully in a modern airliner.

The closest example I could find in the list you link was the following. But it ditched a few miles from the coast and had much smaller engines than a typical modern passenger airliner. Also, it was a cargo flight with only the pilots on board, and the captain was seriously injured.

https://en.wikipedia.org/wiki/Transair_Flight_810
A quick look at their repos suggests it could be something to do with supporting Google accounts, e.g. calendars in GNOME Accounts, or maybe to retrieve fonts? Difficult to tell without reading the related code.
I like how you dismiss the lie to change it completely when someone does what you ask and verifies your claim. So much backpedaling.

You made a bold claim. It was 100% wrong.

Talk about underhanded, I’m not the one lying and then changing my story.

And the media story counters your baseless supposition that it was mysterious as to why the media would start paying attention to him. It was the first rally in a while and it makes sense that they might think he’s there to announce his running mate.

I’ve provided evidence. Put up some of your own that say exactly what you are saying, liar.
Having worked at large corporations and now a small company, I think the reason for this is so no one can be blamed for anything when things go wrong at a large corporation.

The main function is that it insulates upper management from any responsibility of what is going on the ground. They don't even really know. If something goes wrong you can fire some useless cog in the machine 3 links below but they still have an important title so the optics hold.

Without all these layers then upper management has to actually take responsibility for the operation of the company. Instead, they get a nice asymmetrical bet with looking like a genius if things go well but plenty of fall guys if things go bad. It mirrors the pay out of their stock options. If things go well they make a killing, if things go horribly bad they only collect their inflated salary.

The asymmetrical bet is well worth all these useless meetings to them. It is just an operating cost of the rules of this game.
https://marketplace.visualstudio.com/items?itemName=stkb.rew...

I use this extension extensively. It's not auto-wrapping, but you can bind it to an easy shortcut and wrap when you need to. I find it almost indispensable. I wrote a vscode extension to do the same thing, then discovered this one which does it far better.
Looking forward to Lorenzo's talk
Microsoft backports AMD branch prediction improvement to Windows 11 23H2
From the PostgreSQL 17 Beta 1 announcement:

> PostgreSQL 17 adds a new connection parameter, sslnegotiation, which allows PostgreSQL to perform direct TLS handshakes when using ALPN, eliminating a network roundtrip. PostgreSQL is registered as postgresql in the ALPN directory.

I'm looking forward to being able to offload PostgreSQL TLS to a standard (non-pg-specific) proxy.
I agree that Next is too big and you might as well just render it server side, but my question is, if you’re using HTMX, aren’t there substantial costs to the server side rendering that you’re doing, compared to sending lighter JSON and letting the client handle it?

Also,

"We lost the pro of not spending with servers, now we need a server to run our frontend"

Are there many people who would be running a React app with no backend at all? I suppose you could use it to display data just by fetching files, but I think it’s a less common use case.
Oh wow (having never been to the museum) I was picturing much classier looking columns. Those are terrible and Lord Sainsbury was absolutely correct.
What I find the most annoying is that they don't give historic data to anyone who doesn't have a detector. But you only get a detector if you're in an area not already covered (not europe and north america for example) and even if you're in the middle of nowhere in Africa, there's years of waitlisting and the hardware costs. I gave up and built a scraper after an evening of looking into how to get a detector, but that means I only get future data of course, not a ten year history to do research on...
We’re in a arms race now between recruiters and candidates both using AI against eachother.
The biggest divide is that no more than a single exception can occur in a RISC instruction, but you can have an indefinite number of page faults in something like an x86 rep mov.
And also political stories that might've negatively impacted the Biden campaign.

Odd how that part of Zuckerberg's statement ain't getting mentioned in the news, innit? Almost as if those gag orders are still in force.
The letter Einstein sent to Roosevelt was "advanced predictive text"....

But AI models is not limited to text. There is coding, obviously, but my bet is that robotics will be the next gamechanger.

Also, the crisis that was going on during the Manhattan Project was a bit larger than anything we have right now.
Your concern is completely valid:

I understand that LLMs can sometimes output incorrect or incomplete information. To address this, I designed the app not to condense the entire book at once. Instead, it processes the content page by page, which helps preserve crucial details and ensures that important context is not lost. After careful cross-checking, I found this approach significantly improved the accuracy and reliability of the condensed content.

I prefer reading non-fictional books in readfast though
Todoist seems to have many CLIs available.
Hitler rants....about creppy ordinance.
Und fisch.
That just has got to be wrong. I refuse to believe that we had a significant proportion of the world population viewing StackOverFlow answers in 2011, either the counting is wrong or the dating or aggregation is wrong. It simply cannot be true. I know a lot of HN readers live in the tech-mindset-bubble, but it simply was never the case that any answers on stack overflow rivaled GangNam styles popularity at its peak breakthrough.
Scroll down for the answer!
Ask HN: Are some Gmail servers down?
In one of my gmail accounts, since yesterday afternoon, there's a block of mails missing between March 1 and yesterday's date.
Ooh I get it now, that makes sense, thanks
We face the erosion and possible collapse of our life-support systems
I bet the architect knew
Designing a Timeline for Mobile Video Editing
A crutch not just for management, but peers/underlings too. As long as we're all trying, we can't be blamed. Ineffectiveness guised as CoLlAbOrAtIoN~

The more bodies thrown at a thing, the closer we get to creating a 'self-fulfilling'/tire-spinning prophecy. As someone who errs towards antisocial but has to mask to be productive, this is entirely unproductive. An 'XY problem', if you will.

I'm a big fan of 'command by negation', aim to do the thing - be prepared to adjust. There's still ongoing communication with this... it's just pointed/with intent. The article opens with this, emphasis mine:

> The meeting-industrial complex has grown to the point that communications has eclipsed creativity as the central skill of modern work.

Dubious, a lot is said... what sticks/is useful? Meetings contain more word salad and posturing than anything. One could argue meetings are more 'creative performance' than 'communication'
> There's no legal ... obligation there

Well, it's a gamble. With the risk they will sue you and win.
These days "pipeline oriented programming" (which is what LINQ is) is seeping into many modern programming languages like Rust, although array programming languages are still (unreadable) kings at it.
That came after. Linux wasn't even on 2.6 with its famous stability yet when this kicked off. What you see now is a result. They softened on open source as they realized it actually has some benefits for a company like Microsoft.

The Microsoft of the Halloween Documents[0] is a different Microsoft from the one we see today that understands open source as something good rather than as a threat, and it started with Microsoft being forced to play nice.

"The cloud" as we understand it didn't exist yet.

[0] https://en.wikipedia.org/wiki/Halloween_documents
Given the incredibly organic nature of anti-nuclear (power) sentiment during its heyday (the 70s-80s), when everyone was freaked out over TMI and Chornobyl; and the fact that so far, there've been no "revelations" of the Soviets or their latter counterparts having funded or infiltrated any of these groups (apart from attempting to influence the disarmament issue) --

Occam's Razor would seem to cut the other way, actually.
I use tools like a persistence layer for my thoughts. I can "think in words" but my brain defaults to "thinking in pictures" mode. When I think about a database schema I automatically visualize the tables and the connections between columns in a way similar to how most of these tools visualize the schema. My usage of these tools is more or less of me replicating what I see in my mind as a "save state" that I can resume in a day, month, or year.
Brain circuits offer placebo effect pain relief
Show HN: PromptMage – Simplify and Manage Your LLM Workflows
Hello HN community,

I'm excited to share a project we've been working on called PromptMage, an open-source tool designed to simplify the process of creating and managing complex workflows for large language models (LLMs).

Backstory

As developers and researchers working with LLMs, we found ourselves constantly grappling with the challenges of prompt iteration, testing, and version control. Existing tools didn't quite fit our needs for an integrated, intuitive workflow management solution. So, we decided to build one. PromptMage was born out of a desire to streamline these processes and make LLM technology more accessible to teams of all sizes.

What is PromptMage?

PromptMage is a self-hosted python tool that provides a user-friendly interface for developing, testing, and managing LLM prompts. It offers several key features:

- Prompt Playground: A space to rapidly test, compare, and refine prompts.

- Integrated Version Control: Track changes and collaborate on prompt development with ease.

- Auto-generated API: A FastAPI-powered API is automatically created for seamless integration and deployment.

- Evaluation Mode: Conduct both manual and automated testing to ensure prompt reliability before deployment.

Why PromptMage?

We built PromptMage to fill a gap we felt keenly in our own work—an all-in-one solution that integrates prompt testing and version control directly into the workflow. Unlike other tools, PromptMage is designed with developers in mind, offering a straightforward setup and intuitive interface to foster collaboration and iteration.

How to Try It Out

PromptMage is currently in its alpha state and is under active development. We encourage you to install it, set it up (which should take about 5 minutes), and give it a spin. We’re eager for feedback from the community to help shape its future. You can deploy it locally or on your server.

Check it out here: <https://promptmage.io/getting-started/>

Don't forget to leave a star on github: <https://github.com/tsterbak/promptmage>

What’s Next?

We have a roadmap full of exciting features and enhancements. We're aiming to expand PromptMage’s capabilities to better support developers, researchers, and organizations as they navigate the rapidly evolving landscape of AI and LLM technology.

We’d love to hear your thoughts and feedback! Whether it's bug reports, feature requests, or contributions, all are welcome. Let's work together to make PromptMage a valuable tool for the community.

Feel free to ask any questions or share your experiences in the comments below!

Thanks :)
> WAT.

What what? Do you want to pay for the search? How much do you want to pay for it? Every human endeavour is constrained by resources. The art of doing anything is figuring out how to best employ the available resources to achieve goals.

> What in the actual fuck.

Is this your first time hearing about humans being confused by complicated technology?
Thanks for responding!

What you're saying is correct. Obviously you should stand out. Of course recruiters shouldn't move on with or make initial contact with folks that aren't good candidate.

That's not really what I'm working against though.

If someone applies to a role via a portal or something and the company doesn't respond, that's not ghosting (or, rather, that's not the ghosting I'm talking about). Maybe I should make that clear in the original post - I'll do that. This is more tackling the case where there's been some communication between you and the recruiter, and then they just drop it. That's the rude case I'm focusing on.

In both the recruiter case and the dating case, the recruiter is perfectly in the right to want to move on at any point. But a quick 5 work message or email vs ghosting makes a big difference for the recipient, I'd think. Even outside of being less rude, it makes things easier because you know which doors are actually still open or not.

For the record, I already do what you're saying, and it is good advice in general. I have dozens of calls with people inside companies I'm looking to work at and look for internal roles. How well that works though depends on a number of things even outside of how qualified you are.
It seems misleading to lump AlphaGeometry in with this: that system works by having an LLM generate hundreds of Lean programs and trying to find the one that works. Frankly the project is pointless and borderline dishonest: it is a hideously expensive way to solve useless Olympiad problems, but it won't work at all for actual mathematical research since we wouldn't have nearly enough training data. It does not represent even the slightest advancement at AI performing mathematics, it's pure gimmickry. I suspect the entire point of AlphaGeometry is to generate comments like yours, "AI is now an Olympian-level mathematician."

The real AI math advancement will be a computer which is as smart as a pigeon and innately understands what a number is, which means it is able to solve simple counting problems without training. AlphaGeometry or Strawberry aren't even close to that, and I suspect none of us will live to see such a sophisticated AI.
Foreground app works for Android + Task Sync server. I'm not using iOS so I don't now.
More details on how RISCy or CISCy various chips are:

https://userpages.umbc.edu/~vijay/mashey.on.risc.html

Notably x86 is one of the less CISCy CISCs so it looks like there might be a happy medium.
> Anyway, what do you suggest? Lockdowns and civil rights restrictions forever?

I literally wrote what I suggested and what you're asking: mandate air purifiers (and ventilation/AC in general...) for public and educational buildings. Additionally to that and specially for the US: introduce unlimited paid sick time, just like every other Western country already has.

And maaaaybe introduce by law a ban on knowingly sending sick kids to kindergarten/schools. It's utterly insane to watch every year how the weeks after major holidays are filled with "colleague X is out sick, caught a bug from their kids". If there is one thing every parent in my social circle is cursing about, it is all the tons of bugs their kids bring home from school because other parents can't be arsed to let their kid spend a few days at home watching TV - and it's not just covid. Lice, ordinary flu, hand-foot-mouth or whatever it's called in English, measles, ordinary fever, vomit/diarrhea...

> For trying to avoid an illness at all costs that not only wasn't particularly dangerous to begin with for the general population

In the US alone, 1.2 million people died of COVID. That's far from "wasn't particularly dangerous".

> but also is very much manageable today, particularly considering that most people are vaccinated now (or at least have the opportunity to get vaccinated).

Vaccines aren't perfect, even including them about 3-5% of the infected have a risk for debilitating long-covid (i.e. ME/CFS). It's not a gamble I want to take part in.
More generally, it's part of what we call reasoning.

As opposed to do what first comes to mind, which would be similar to what regular LLM's have been doing.
> Even better is to wear a mask (not to prevent virus from coming in that's silly air gets around it)

That obviously depends on how you define a "mask", a "medical mask" has a very different efficacy from an N95.[1]

[1]: https://www.mayoclinic.org/diseases-conditions/coronavirus/i...
Your comment is a perfect example of why the wheel gets reinvented so often.

Part of it is preference, sort of. A specific crowd of people, many of who visit HN, are used to looking at monospaced fonts. So, they have effectively been trained to be able to deal with it more.

That still doesn't mean that, even for them, the text done with best practices wouldn't be easier to read.

Finally, as you might have noticed I also explicitly mentioned writing for a broader audience. Because people that are not working with code, terminals, etc all are not used to monospaced fonts.
I’m sure he does regret it as it cuts into his business model of profiting from disinformation.
1. Someone asks chat gpt. No answer

2. Checks Google/SO and no answer

3. Figures it out themselves

4. Blogs about that

5. AIs that search pick it up first but eventually it ends up in training.

As well as AI teams paying for content for training.
You may want to go back almost fifty years to 1978 and a British science miniseries.

Just the first ten minutes will make the point, but the object displayed during minute five speaks to your point…and the fact that the quirks are largely invisible.

What he says about modern existence is even more true today,

Whole show, free to watch.

https://archive.org/details/ConnectionsByJamesBurke/Connecti...
Or he could have just used "font-family: monospace;" and let the user's system font stack render it.
Or a false one
What does 'donate' mean? Does it essentially mean that they're abandoning it and pull all resources, while the Wine team is welcome to continue maintaining it if they want to?

Also, I'm not sure how relevant Mono is in the context of Wine. .NET Core is no longer an OS component, but just a runtime that ships with software. Imo their focus should be on getting said runtime working, rather than maintaining a .NET fork.
I wonder how far it is from this to generating language reasoning about the game from the game itself, rather than learning a large corpus of language, like LLMs do. That would be a true grounded language generator
Great insight for everyone who wants to design more complex UIs.
If anyone needs historic data, let me know. They don't give it out if you're not a contributor, but becoming a contributor costs over a hundred euros and has a multi-decade waitlist if you're not from an area without coverage (very good coverage in Europe, of course..) so I decided not to wait for that. The data is Creative Commons so I felt it should be okay to collect for research and fun purposes
Deterministic Replay of QEMU Emulation
It lacks many things and of course it would be silly to say this with certainty, but it just looks like... Being autistic? I, too, have a lot of weird friends - guess what, many of them are autistic, adhd, sometimes both, - and they're not limited to IT but they range from burlesque performers to design students
There’s a name for it.

Not trying to be alarmist or pessimistic by any means, just pointing to the scientific consensus.

Holocene Extinction.
Quick Questions out of curiosity: What ideas have been rejected during the design process?
Even if that's the case, the tiling "primitives" (I don't know if that's the right word) for 3rd parties to leverage is there.

By the way khronkite was forked a bunch of times to create things like Bismuth which isn't supported in plasma6 anymore. Are you sure khronkite itself works? Are you using kde5 ? Or this fork https://github.com/anametologin/krohnkite ?
This screams "Not Invented Here" syndrome. Massive yikes at the digram showing TCP in software in the OSI model. There have been hardware accelerated TCP stacks for decades. They called TCP Offload Engines, they work great, have done for ages. Why are you building one and giving it a new name? Seems like a pretty enormous amount of work and you would've gotten 90+% of the gains by just implementing a standard TOE.
I guess the only good reason I can think to do this yourself is that they'd left it so late to get to this that all the companies that were good at this got bought (Solareflare, Mellanox etc).
I'm looking at how many fatalities many of those incidents had and I'm not sure I'm convinced. They're not impossible, but the odds don't look great.
Long context prompting tips by Anthropic
Very surprised not to have seen this yet on hn.

It would be nice if you shared your own long context prompting tips below
and it would be the ai seller that's making bank, selling shovels during a gold rush!