skysight-inc/HackerNews huggingface dataset:
When I was studying, I implemented a flight dynamics simulation from scratch, partly as a learning exercise, and partly so that I could have greater control over the experiments I wanted to run. The trickiest part of this was the rotations between the local and inertial frames, which took the better part of a week for me to figure out (especially the time derivative of the quaternion).

On a lark, I asked Deep Seek to implement the relevant functions yesterday, and it spat them out. Not only were they correct, they came with a very good low level description of what the code was doing, and why -- i.e. all of the stuff my head was against the desk for while I was figuring it out.

If I wanted to implement, say, an EKF tomorrow, I have zero doubts that I could do it on my own if I had to, but I'm also 99% sure Deep Seek could just spit it out and I'd only have to check it and test it. It's not a substitute for understanding, and knowing the right questions to ask, but it is tremendously powerful. For the stuff I'm usually doing, which is typically mathematically demanding, and for which implementation can often be harder than checking an existing implementation is correct, it's a tremendous productivity gain.
> Civ was completely changed after Civ 4.

This is true, but it was also completely changed after Civ 1, Civ 2, and Civ 3 (and, for that matter, Civ 5 and Civ 6.)

> The game designers of Civ 5 decided to restrict forming death stacks and the new versions of the game still have this mechanic.

Civ III radically changed stack mechanics by eliminating "defeating the strongest defender destroys the stack" (it also added ranged units), Civ IV radically changed stack mechanics by adding in collateral damage from certain attackers (it also got rid of ranged units, replacing them with first strike or archery, and collateral damage for artillery.) Each of these changed the game as radically as Civ 5s one-unit-per-tile (which also so substantial changes with Civ 6's Corps/Army and Fleet/Armada mechanics, and Civ 7's different Army/Fleet/Squadron mechanic.)

The idea that Civ 4 was the single point that changed everything is silly.
Interesting that the "correct diff format" score went from 99.6% with Claude 3.5 to 93.3% for Claude 3.7. My experience with using claude-code was that it consistently required several tries to get the right diff. Hopefully all that will improve as they get things ironed out.
Comments moved to https://news.ycombinator.com/item?id=43165112.
The number of swaps is nearly the same between Bubble Sort and Can't Believe Sort. For a random list with 100 elements, it's 2505 swaps vs. 2513 swaps.

The number of comparisons is of course about twice as large, because Bubble Sort always does exactly n(n-1)/2 comparisons while Can't Believe sort always does exactly n*n comparisons.

https://play.rust-lang.org/?version=stable&mode=debug&editio...
Corporate Greed Chronicles: Update – Meta Turning Layoffs into Executive Paydays
No SD card?

No way.
Is Jevons’ applicable here? People only have a fixed square footage in their house that needs to be lit, and often negative utility to having rooms lit all of the time.
Pea-Derived Oligosaccharides as an Ingredient for Sour Beer Production
>soy beans, ..., to feed the chickens to provide the diet for minimum cost.

Which points to the irony of all this. The real goal of the “project” is not better nutrition or more efficient farming, is a marketable product. You want to know how to make it more nutritious, cheaper, sustainable, healthier and efficient? Eliminate animal farming and feed humans directly.
Sorry I'm new here seems like I can only edit the title within 2 hours of posting. Thanks lots for telling me!
Sorry to say but that's already been walked back on after Canada committed $1 billion dollars for extra northern border security and it made no difference in the tariffs discussions.

https://www.cbc.ca/news/politics/rcmp-border-patrol-canada-u... <- discussion of commitment from Canada

https://financialpost.com/news/trump-says-tariffs-on-canada-... <- as of today (sorry for FT source but this is literally all across google you can just googla USA tarrifs)
One of the authors, Chris Young, has a great Youtube channel: https://www.youtube.com/@ChrisYoungCooks/videos
It works on Proton just from Steam with no modification.
The momentum analogue for Langevin is known as underdamped Langevin, which if you optimize the discretization scheme hard enough, converges faster than ordinary Langevin. As for your question, your guess is as good as mine, but I would guess that the nonconvexity of AI applications causes problems. Sampling is a hard enough problem already in the log-concave setting…
> The objective of the present work is to determine the exact integrals for thrust and bending moment coefficients, serving as an addendum to Glauert's original work deriving optimum power coefficients.

I don't think any "wind energy possibilities" were expanded. It looks like the student author gave an elegant exact/analytic computation of measurements that are already computable numerically. Remember that all analytic results are always only "Platonic ideal" approximations of real-world engineering results. It's possible, though not at all mentioned in the paper, that these exact solutions might make engineering computations easier.

As always, the tell is that claims made about the paper, but not in the paper are not to be relied upon. Nowhere does the paper claim to measure any quantiative improvement in rotor performance, not even theoretically potential improvements.
My key got killed months ago when I tested it on a PDF, and support never got back to me so I am waiting for OpenRouter support!
New German leader signals seismic shift in transatlantic relations
Just tried Claude code. First impressions, it seems rather expensive. I prefer how Aider allows finer control over which files to add, or to use a sub-tree of a git repo. Also, It feels like the API calls when using Claude code are much faster then when using 3.7 on Aider. Giving bandwidth priority?
Yes, an experimental and artistic language. But if you want to write production code in it, I won't stop you!
Ultimately that's on everyone to decide on their own. I personally feel the exact opposite way, that although having to mind my speech gets really quite annoying at times, and that there are communities who for whatever reason really overdo it, I really do not wish to participate in communities where the disregard of it, in the form of a quasi rebellious attitude, has taken deep cultural root.

The best of both worlds for me is when I can naturally just mingle with others without this issue cropping up, because the chemistry just works out on its own. I miss and greatly cherish those people I've met over the years who I was able to collaborate and spend time with like that. Instead of subscribing to either extreme, that's the kind of interaction I'm actually wishing to experience more of.

Regrettably, I feel this has been becoming less and less likely over time, which I attribute to the growing distrust and hostility among people at large, as well as the countless other (what I perceive as) dysfunctional social dynamics on the internet these days (e.g. mainstream political activism and counteractivism on community spaces of all kinds). And then who knows.
This is true about cross Unix compatibility. I can still dream though.
Serious question: What advice would you give to a Computer Science student in light of these tools?
Don't get your hopes up just because they have something they call right-to-repair legislation. It doesn't imply a practical ability to get repairs done. That requires e.g. parts availability, schematics, etc., way behind what legislation I've heard of requires.
I believe you misread the article, her current work is supported by the Navy, the subject of this article is not.
While I’m surprised to see they aren’t writing about https://www.inf.puc-rio.br/~roberto/lpeg/ it looks like they’ve covered LPEG in a previous post, and their chosen method this time around is neat anyway!
> strong improvements in coding and front-end web development

The best part
Ahh, the modern verson of the written note under the keyboard...

In my area, there is a universal access key (physical) for postal service and newspaper delivery people. So if you want access to a random building, all you need to do is apply as a newspaper delivery guy, or, find one that is willing to give you that master key. To add insult to injury, that type of job is extremely low paying, so much room for abuse.

Fact is, locks and closed doors are there to make the owners feel cozy and safe. If you ever needed a locksmith service and watched them do their job, you know your appartment door is just a prop.
GL-inet devices come off the shelf with OpenWRT. They don't have a blank password. Every single one ships with 'goodlife' as the default password, as printed on the label on the back.

(But remote ssh login is disabled by default.)
Found: 'The Heart of Lincoln,' a Silent Film Thought to Be Lost to History
"Easily" is an overstatement. Where are all the independent servers?

https://news.ycombinator.com/item?id=42215410
I love how this went viral because of this thread lol. I do know some friends who prefer light mode too, so maybe an opposite effect of forcing your light-mode-fan opponent to code in dark mode? Dunno lol
The first thing you need to realize is that Hacker News is a pro-fascist stronghold and that it is at best unwise and at worst unsafe (and either way unproductive) to talk seriously about such things here.

You can find a lot of resources on Mastodon and Reddit, but be aware that every form of media is being astroturfed and propagandized (including HN.) Look for opportunities for activism within your own community, and network with people on the ground.

And accept that resistance may have consequences. You don't need to be a hero. Even something as simple as giving money to mutual aid groups is enough. Raise awareness on social media. Refuse to comply where you can afford to. Anything is better than nothing.
Your footnote 3 seems to imply that the low number for o1 and Grok3 is without parallelism, but I don't think it's publicly known whether they use internal parallelism? So perhaps the low number already uses parallelism, while the high number uses even more parallelism?

Also, curious if you have any intuition as to why the no-parallelism number for AIME with Claude (61.3%) is quite low (e.g., relative to R1 87.3% -- assuming it is an apples to apples comparison)?
That hasn't changed. Of course there are pre builts but there were twenty years ago, too. I should know -- I had one. I built my third gaming PC myself.
> my experience with Mongodb a decade ago

So before the Apple Watch was released.

Why is this relevant today ? Technology changes very quickly.
Does not apply when cocaine is involved, per observational research in other venues.
Trump achieves what Hitler could not..
What matters isn't that an AI "make connections", it's that the AI generates some text that causes a human to make the connections. It doesn't even matter if what the AI generates is true or not, if it leads the human to truth.

In this particular example it wasn't useful because the reader already knew the answer and was fishing for it with the LLM. But generally using an LLM as a creativity-inducer (a brainstorming tool) is fine, and IMO a better idea than trying to use them as an oracle.
I stand by the meme: that summer was closest we've gotten to world peace.
> I suspect that an establishment whose main purpose is selling food to order may be a fairly recent innovation.

It's not; every city has always had them. Food is actually far more important than alcohol is.
There was a time where somebody in SF has figured admin access code to older apartment intercoms (I believe they were manufactured by Linear and maybe other companies too). These intercoms would call the programmed in phone number whenever you type in the apartment access code at the door.

So what they did is add a new fake tenant with a premium 1-900 number and used the intercom to call it, earning themseleves a bit of cash. Naturally, landlords had to foot the bill.
Thanks! Creating a template for inserting the code would be one. Java has this type erasure thing where the types only appear after compilation so tweaking it around was hard. Spinning up the containers for each submission is slow but it ensures every submission is isolated.
Running the analysis while adjusting for station size/passenger volume would be interesting: Paris's transit network is very dense and remarkably uniform, so you'd expect a somewhat uniform distribution of quality around train station entrances/exits as a whole. Meanwhile, anecdotally, some of the worst döner I've had in my life was in large/intercity train terminals.
I've definitely worked somewhere they tell all the users they have individual codes, not to share them, and if there is unauthorized access it can be traced who leaked their code. Everyone gets told the same story and given the same code.
As far as I know, Coolify is great for single-server PaaS or multi-servers that work independently. Uncloud focuses on distributed multi-server HA deployments (which is what is usually preferred for production). It allows you to spread workload replicas across different providers and locations while maintaining unified management. It's closer to Kubernetes and Docker Swarm in terms of providing building blocks to build your PaaS of choice.
Unlike Coolify which requires a dedicated server to run the control plane Uncloud has no central component to manage. It's just a network of interconnected machines so there's no single point of failure and no central service that needs updates, backups, etc.
Yup. It was never pronounced "yuhee". Sometimes it was written þe, other times it was written with a small "e" above "þ" like a diacritic. Because cursive "þ" looked similar to cursive "y" when English printers imported movable type from the continent they just used "y" for it.

So "Ye" was always pronounced "The" the way we do today.

Also the pronoun "ye" was written "ge" but pronounced similar to how we'd pronounce "ye" today. "You" was the formal pronoun. Saying "you" to family or close friends would be insulting - as if you weren't close to them. At some point it became fashionable to sound more upperclass/aristocratic so the formal "you" took over.

Thus confusion because "ye" was a real word used back then but for entirely different purposes and spelled "ge", while þe/the was always pronounced with a "th" like today but spelled differently before "th" was standardized.

If you said "Ye Olden Days" at best someone of the time might think you were saying "(your) olden days" implying they are very old and you're trying to reference their youth in a very oddly formal way but with the wrong pronoun.

Another Fun fact: thy/thine was already archaic at the time the King James Bible was written. They used it deliberately the way the OP used "Ye Olden Days" - to deliberately sound old and thus imply authority/authenticity. In the 1300s/1400s it was used when implying familiarity or contempt - with family it means familiarity/close relationships. Used with a stranger or superior it was like someone saying "Hey pal" to your boss. Again it became fashionable to switch to the second person plural for formality, then being formal all the time became fashionable, and eventually the formal forms became the new informal.
I'm actually planning to put all neetcode videos in my practice mode. Awesome stuff ;D
"could not have been found by the AI system in the public domain." could he have been working in the cloud that exposed his unpublished paper to AI?
If electricity were cheaper you might turn the lights higher instead of balancing cost vs. comfort, wouldn't use the eco-mode on the dishwasher that occasionally results in dirty dishes, would probably not think twice about washing clothes at 30 °C instead of 40 °C, maybe use a dryer instead of clothes racks blocking the living room for a day, use the more comfortable tankless warm water heater, properly preheating the oven giving you the results you want etc. pp. ... the list is endless.

But electricity often costs upwards of 30 cents/kWh nowadays, so you avoid doing all those comfy things. 'cause they're expensive.
Where are the AI features?
> You've experienced so many startup failures that your LinkedIn profile should just read 'Professional Titanic Passenger: Always Picks the Wrong Ship'.

:'(
The idea that the Canadian tariffs were ever really about Fentanyl is patently absurd.

0.2% of all US border Fentanyl seizures were on the Canadian border. That's almost literally nothing.
Nothing more corporate / enterprise than deciding the year starts at any point other than January 1st :) (yeah I know all about the fiscal year, which I also find hilarious)
Have you tried comparing with 3.7 via the API with a large thinking budget yet (32k-64k perhaps?), to bring it closer to the amount of tokens that o1-pro would use?

I think claude.ai’s web app in thinking mode is likely defaulting to a much much smaller thinking budget than that.
Imma add an ability that flashes rgb in your editor then. Thanks for the suggestion :D
Also, today, half the docs you find around are about lein, half are about tools.deps, and no one ever gets the full definition because they assume you know your way around. :shrug:, I guess ?
This is the ideological divide, and I voted one way, you voted the other way. The divide: you believe more taxes is the solution, despite today's taxes being hire than any point in US history. Taxes per capita have ballooned over the US's history. I believe today's government is in the business of self justification, that if we take $1 away from some program, society as we know it grinds to a halt.

The switch in your argument to "it's just a drop in the bucket" is odd to me. For one, I hope the same sentiment carries over to other components of government. Massive rein-in of spend. FAA has not been canceled; instead, its unchecked spending is being challenged. Same for the rest of these programs. FAA's 2025 budget is nearly 4x the 1995 budget, despite serving roughly the same number of airports. There may be 30% more flights today than in 1995, with all those occurring at the same airports we had back in 1995. How do you explain a 4x mission scope creep? Inflation address a bit, but ATC should be getting more efficient with technology, not more complicated.

The real answer, theres a lot of misappropriated funding and spending that needs to be reeled in. It is ok to disagree, I nonetheless adjure you to voluntarily pay more taxes.

This is quite an attack, to say if I dont agree with you, then I am a combination of these things:
>>anyone who’s in the upper echelons of our economy that isn’t saying this while seeing the conditions the rest of our country and world live in is unbelievably narrow-minded, ignorant, selfish, straight up evil, or more likely a combination of all the above.
Botched repair then 3 iterations of resale to obfuscate it was originally repaired badly could dilute brand strength, but that's kind of a stretch
I'm not telling you any of my political preferences I'm pointing out how it will play out in the national campaign and how it has already roiled the polls. Canadians don't trust him to support the Canadian interests at least at the current moment - it's a big problem for him and the national conservatives.
I cannot really come up with a good rule, but I notice that words in -teur seem to have a féminin in -trice (restaura-teur/-trice, ama-teur/-trice, institu-teur/-trice, anima-teur/-trice) while other -eur words seem to prefer -euse (mass-eur/-euse, football-eur/-euse, arnaqu-eur/-euse).
Yea true not sure how to prevent that so ig this is just a project for now
Amazon warehouse workers?
Kebabs are like cheese steaks; the best one is whichever is closest to wherever I am.
Update: Code tokens appear to be cheaper than 3.7 tokens, looks like it is around $0.75/million tokens for code, rather than the $3/million that the articles specifies for Claude 3.7
I don't know if it's a "uses tech" issue or just not realizing the steps needed. Even we knew you had to go to the campus gate to meet Dominos after dark (when the gate would be automatically closed).

There was no fancy intercom ability to remotely open it.
> You've spent more time justifying your Apple Vision Pro purchase than actually using it for anything productive, but hey, at least you can watch movies on 'the best screen' while pretending it's a 'dev kit'.

blasted
AI Startup Anthropic Finalizing $3.5B Funding Round
> The number of swaps is nearly the same between Bubble Sort and Can't Believe Sort. For a random list with 100 elements, it's 2505 swaps vs. 2513 swaps.

Why is there any difference? Does the entire difference come from the iteration where i = 1?

> Bubble Sort always does exactly n(n-1)/2 comparisons

Bubble sort can do less than this. When you're bubbling down into a sorted list, and you find a value lower than you are, you can assume that all values below that one are also lower than you are and terminate the inner loop early.
Lots of great findings

---

I'm curious if anyone knows whether it is better to pass structured data or unstructured data to embedding api's? If I ask ChatGPT, it says it is better to send unstructured data. (looking at the authors github, it looks like he generated embeddings from json strings)

My use case is for jsonresume, I am creating embeddings by sending full json versions as strings, but I've been experimenting with using models to translate resume.json's into full text versions first before creating embeddings. The results seem to be better but I haven't seen any concrete opinions on this.

My understanding is that unstructured data is better because it contains textual/semantic meaning because of natural lanaguage aka

skills: ['Javascript', 'Python']

is worse than;

Thomas excels at Javascript and Python

Another question: What if the search was also a json embedding? JSON <> JSON embeddings could also be great?
Another vote for Irfanview from me!
Is there an app like this for MacOS?
From what I can tell, they simply made an observation. You're the one applying a value judgment to their statements. Pointing out that different tribes use rhetoric to "other" outsiders isn't creating a false equivalence.
> Hence the "pepper" in the name.

Pepperomi doesn't quite have the same ring to it
That'll be awesome. I'm also planning a relay style team mode where each person can code for 5 minutes or so and the next will jump in :D
The last office I worked in not only had terrible coffee, but the machine had a touch screen and required network connectivity and regularly crashed, prohibiting all dispensation of coffee. It also reportedly came with a 5 figure monthly operating cost.

The coffee in the lobby was only slightly better, but at least the baristas didn’t crash during their OTA updates.

A 10 minute walk away and you’d find the best coffee for at least a couple miles around.
https://fred.stlouisfed.org/series/FYONGDA188S

Is a better graph
What about Canada? We have even higher tarrifs than China and in the last 100 years are the USA's closest ally.
https://archive.ph/mzwjx
Thanks for the report, I just fixed it!
My expectation would be it's the passenger type - if 80% of the people pass through the station never to return, you're going to get quite a different setup than if 80% are daily commuters.
You can rely on it for anything that you can validate quickly. And it turns out, there are a lot of problems which are trivial to validate the solution to, but difficult to build the solution.
It always seemed to me that most of the hate around XML was really misdirected hate for SOAP. XML (and particularly XSDs) I rather liked, but maybe I just never dove deep enough to feel the pain.