skysight-inc/HackerNews huggingface dataset:
Damn I can relate, I used to make crazy ass claims backed by nothing it was cringe, at least I got out of it/know what reality is now. Not saying you should limit your imagination but reality is reality (until it's changed).

Unfortunately reality is also money (does your idea actually make money)

Edit: I also realize there is a difference in not knowing and enthusiasm too, a kid probably doesn't know about the thermo laws

If nothing else art/sci-fi sells
Google owns the whole OS so expect that they are tracking you 100% of the time. Same with Microsoft.
My issue with Nim is its import system. If you have a function "foo" it's hard to tell where is it imported from. I'm not sure why this bothers me when C is the same... probably because I'm familiar by now which header defines any C function.

Also, I believe high-level compiled languages suffer from the fact that it is very hard to tell which construct is expensive and which is a zero-cost abstraction. Rust has the same issue, but "zero-cost" is a major feature of the language so you don't feel bad using an Iterator, for example, in kernel code. With Nim it is hard to tell.
Upvote on this just cause $100,000,000,000 is a ridiculous amount of money. The most advanced lithography machines that have even been advertised cost $380,000,000. Huge number of lithography machines for $100B. [1] And if you're not going for the completely most leading edge lithography, then the price drops incredibly rapidly. $150,000,000 or close rolloff.

Really, personal opinion, yet America and most countries on Earth, should probably be able to get lithography machines cheaper than $380,000,000. However, that's an argument for the lithography industry. At an average Taiwanese salary of $18,000 / yr (NT$50,000 / mnth) that's 21,000 labor years / machine. Even with amortized development that seems like a lot.

[1] https://www.tomshardware.com/tech-industry/manufacturing/asm...
Some time ago, Rust had no viable replacement at all. If somebody came asking "hey, how can I replace Rust on this system level software" the only possible answer was "you don't".

Nowadays, alternatives exist, and so people can answer with one.

None of that has any meaning for the popularity of Rust or lack thereof.
For sure. Trump is no friend of China. Russia on the other hand...
Ortholinear is a standard but non-orthodox layout for keyboards. And when you see 60%, it means you are getting only the main alphanumeric section with esc often smushed into what would otherwise be the ~/` key.

With 60% keyboards, you are often using modifier layers baked into the keyboards' firmware to get back your function keys and your control block like page up
He was relatively young; what was the cause of death?
It would work as well the internet bringing us more enlightenment. Besides, points of contention tend to form around ethics, whose axioms are unprovable if non-cognitivism is true (and we have no reason to believe it isn't).
> This is why I can't stand subtitles on videos, movies, and tv shows. Because of how my brain works, I can't help but read the text. And when it's there, so it "feels" like I'm watching a show where everyone repeats the last half of every sentence.

Ha! Translation is done in real time, but subtitles are not!! Were you thinking they are processed the same way? That's your confusion.

> I'm done reading the person's line when they are only 25-50% through speaking it.

How can an AI system translate someone when they haven't even spoken those words yet? Please check the title of the Post - it's a real-time system.

> I read _much_ faster than listening to someone saying the same thing.

Everyone reads and/or speaks at a different speed. You can pause a movie, but not a meeting, during the first time. You don't have to make any critical decisions while consuming entertainment, but on the contrary, at work, you might have to listen, process, understand, and connect the dots into various other subsystems and conclude how they may or may not affect your standing. At the end, might have to challenge the speaker or add to what they are saying. A lot of variables.
How about not buying into the Google/Microsoft/Apple/Samsung/etc ecosystem?
Doesn't square with any sort of real data we have. The West have better, and more, of everything. For crissakes, the Germans have artillery that fires while driving full speed with the same precision as any other nation's artillery.
> chip fab in Arizona, thousands of miles from the assembly lines where the chips will be used

1. Chips have a very high $/kg density, so logistics isn't go to change unit economics a lot.
2. These assembly lines are much easier to construct than chip fabs, so if there is any reason to keep the two close, it's not going to be a problem anyway.
What a good read, thank you.
Hi Hacker News! We've been building this as a little side project over the past years and we'd love to get your feedback!

What would make the map more fun to explore, and what other data would you like to see?
This you?

"I think the "wmd equivalent" is the idea that Russia will move on Berlin if they're not contained in Ukraine."

Because now all of the sudden you are saying something totally different and nebulous 'world police' BS.

Why are your trying to equate Europe dramatically and instantly shifting their spending and EU policy to some nebulous 'global police' comment instead of addressing your original point, that you state no one actually believes 'Russia moving on Europe' is a real thing, and trying to equate it to the WMD lie?

You original point is BS, Europe believes to the tune of 650 billion just committed and breaking all of their long standing norms when it comes to defense that it is a real issue. Hense you having to move to some nebulous 'world police' nonsense.
UMAF: Adapting LLMs Without Fine-Tuning
I'm experimenting with an approach called Universal Model Adapter Fusion to transfer capabilities LLMs without fine-tuning or distillation. The idea's to pull behaviors - like task-specific smarts or reasoning styles -from one model and patch them onto another efficiently. Think cheaper model tweaks, mixing strengths across architectures, or building custom skill sets without big retraining jobs, using an extended lora approach. Take a look at github.com/millionthodin16/umaf. It's early, but the benefits could be big. Anyone see value in this kind of approach for LLMs?
Hiive 2025 Annual State of the Private Market
> Imagine at the end of the American Civil War, a confederate army retreated to an island like Cuba or Hawaii, they took it over and have been calling themselves the real America ever since.

In reality while the confederate states were part of the United States, the Republic of China (Taiwan) was never part of the Peoples Republic of China (communist China), its the reverse.
I assure you, you have to go out of your way to be as unethical as possible... and you still won't get investigated this hard.

Now when you do that while sucking up hundreds of billions of contracts... yeah, your contractor is gonna start asking questions.
The 2025 date was never realistic. It was bandied to capitalize on the chip shortage of 2021 and 2022 to try to force CHIPS Act through Congress.

The shift from 2027 to 2030 is the first material slippage -- and reflects one or two things (or both!): 14A process technology timeline and/or soft foundry demand from the fabless firms.
I think there's still significant investments into the project. Android is big enough so any sort of greenfield experiments cannot be done cheaply. Also there were so many custom variants of Linux based operating systems in Google and some of them moved onto Fuchsia. Probably it still have some values there.
You mention the world being (at least subjectively) stochastic. This brings to mind the idea that a model of probability rather than just logic, might be more beneficial?

The example you gave of focusing excessively on some topic in order to make it seem like a bigger deal…

hm, is there a way we could formalize such things in a way like how formal fallacies are formalized?

It seems more difficult than classifying common formal fallacies.

But, might it be possible?
> a confederate army retreated to an island like Cuba

No, it's the other way around. Imagine that the South is victorious, and the last remnants of the North forces remain in, say, Long Island, calling themselves the original American Republic, claiming their lineage from the revolution of 1776. Technically they would be!

The Taiwanese regime is a remnant of the original Republic of China established in 1914, and Kuomintang is one of the original democratic parties of that republic. The Communist regime are the "rebels" of the Communist revolution of 1949. But, as they say, a rebellion can never succeed, because if it does, it's called another way.
Yes except they only have your location and that may not be acceptable to some. Google on the otherhand has much more than just your location - everything you look at, everything you buy, every email/text conversation
A manager of developers should know how to code, but any formal expectation of them coding shouldn't exist. This holds for medium to large organizations. The managerial duties should be enough to require the vast majority of their attention. Expecting development on top of management is a way to add fake capacity to a team to help ensure burnout.
Both DEC and HP were pushing for NT. (I interned at dec and worked briefly at HP while both were still
pushing Alpha and PA)

HP foodnote: HP had this vision of NT at the desktop and HP/UX server iron. Folks preferred Solaris over HP/UX so that was their idea to adopt windows. The guy at hp pushing that agenda, Belluzo, eventually left and went to Microsoft.
The prompt explicitly says “not Rust”. So the answers don’t say Rust.
Abusing SQLite to Handle Concurrency
Build UIs that don't suck – Tailwind CSS
What command line do you use?
Content marketing aside, has some valuable signal wrt private equity market conditions imho.
Who's the face in this context? The only ones I see constantly screeching about Trump are Democrat voters, not Trump voters.
Location: Austin, TX

Remote: Yes

Willing to relocate: No

Technologies: JavaScript/TypeScript (React, Vue/Nuxt, Node.js), PHP (Laravel), Python, C#, Go, AWS, DigitalOcean, Snowflake, Redshift, Docker, Kubernetes

Résumé/CV: available upon request

Email: alkhemyst99@proton.me

With with over a decade of experience in full-stack development and technical leadership, I’ve recently led projects integrating AI technologies, including large language models (LLMs), for sectors such as government and life insurance. My expertise spans front-end and back-end development, cloud architecture, and team leadership. I am seeking remote or hybrid opportunities where I can leverage my skills to drive technological innovation and business growth.
You can use copernicus satellites for free which ive found generally have at least 5 or so pictures each month but the resolution isnt that high (>10M i think)
> and Herbert was a child of the 1960s psychedelic culture

Was he really a child of this culture? He was in his 40s by the time Dune came out in 1965, with large parts of it written in the early 60s, when psychadelics seemed more of a fringe thing used in beatnik circles, academic labs and prisons.

OTOH, the concept of invaders seizing territory for spice or other unique natural materials (Dutch and Portuguese in the Moluccas, Japan annexing Taiwan) drugs shifting empires (Opium) and special substances and techniques needed for long-distance navigation (citrus, astrolabe) had been around for centuries.
I'd say that about all companies and even individuals, not just Silocon Valley.
You're in the wrong place to spread Russia propaganda, here we go:

> After its dissolution in 1991, Ukraine became the third largest nuclear power in the world and held about one third of the former Soviet nuclear weapons, delivery system, and significant knowledge of its design and production. Ukraine inherited about 130 UR-100N intercontinental ballistic missiles (ICBM) with six warheads each, 46 RT-23 Molodets ICBMs with ten warheads apiece, as well as 33 heavy bombers, totaling approximately 1,700 nuclear warheads that remained on Ukrainian territory.[0]

[0]https://en.m.wikipedia.org/wiki/Ukraine_and_weapons_of_mass_...

And the magical Russian propaganda launch codes that required Russia and USA to request Ukraine to decommission nukes, because Ukraine couldn't use any of those nukes.

By the way, what are the launch codes for nukes deployed by bombers lmao the bombers won't take off if Russia didn't insert the launch codes?
AI models makes precise copies of cuneiform characters
Yeah when it comes to math Wikipedia is rarely a good introduction to any topic. Maybe if one studied mathematics before or something, but definitely not for most other people.
Location: Brooklyn, NY

Remote: Yes

Willing to relocate: No

Technologies: NodeJS, React, Express

Résumé/CV: I developed my first site in 1998 and have been doing it ever since

Email: idk@idk.bet
One off, politically driven reductions in advertisers and user groups is not caused by unhandled load from reduced workforce or implications of work from office policy.

Despite this out migration, so far their health looks exceptionally good. They're running at 20% of original workforce (!).

Just think about it (and I really mean it - taking aside personal dislikes, political views etc) – you have a company, you cut 80% of workforce and it still seems to work very well. This is insane.

It's also not one off example - he is well known for speedrun stunts (ie. e2e completion of colossus supercomputer in memphis in 4 months <<!>>).

The argument is – can you do something similar with government as well? As a body that is notorious for inefficiency it seems plausible the answer is yes.
I stand corrected. They indeed started collecting signatures for the second referendum in spring 2010.
Just let the man have his legos sheesh. Pick a better time.
Yep. Most designs I've seen put user profiles under a different table which requires a separate query.
Exactly. 1Blocker uses an on-device VPN.
I replaced my entire tech stack with Postgres [video]
The wait is over! SureSend is officially open to the public, giving you a secure, effortless way to transfer files with your network.

SureSend is a secure, encrypted file transmission system designed for everyone who needs to send sensitive data with confidence. With client-side encryption and user-friendly features, SureSend ensures your files remain private and protected.

Effortlessly send files, PDFs, videos, images, voice clips, and more to colleagues, businesses, professionals, friends, and family.

Limited-Time Offer: Enjoy 2 months of free, secure file transfers during our trial period, ending April 15, 2025.

Sign up and Experience SureSend Now!
I immediately thought of the Templar’s tree ships. Clearly time for a re-read!
Not an official API for now but maybe we can help out. Mail me! (yonghee@cuckoo.so)
The alternative would be to not use a third party IdP, but the issue of stolen end user credentials is still present.
North Korea has self sovereignty, space rockets, nuclear weapons, and sends its troops to a war overseas to project its power!

South Korea is just much more successful at putting bread (and many other foods) on the tables of its citizens. It is also more advanced technologically, and, curiously, has a working democratic government instead of a hereditary single-party rule.
> I doubt Denmark will get nukes, nor am I sure I'd be in favor of nukes.

Ideally, we'd have an EU military that takes control of nuclear weapons for example and automatically use them to retaliate when enemy nuclear weapons are launched against EU territory.
So Norway and maybe Monaco are more successful than the US?
Rust Extension Traits
Comments are disappointing for hacker news standard.

This pause was predictable (I predicted it in Nov 2024). It's negotiation leverage to steer toward an immediate resolution of the war.

An immediate resolution of the war cuts losses: Ukraine loses territory, but keeps its sovereignty.

The challenge is that there aren't many other viable paths. An indefinite forever war, with high risk of a Ukraine state collapse, is a most likely alternative. A direct confrontation between NATO and Russia is another, much less likely alternative. The idea that Russia's economy will collapse is highly unlikely.

The Trump Administration will resume military aid after Ukraine is forced to ceasefire talks. Ukraine will not likely (nor with EU) recognize loss territory. However Russia is likely to hold it de facto.

Although I doubt any peace negotiated will last decades. The reasons for the war are deep.
The 2027 date may be overblown, prone to hysterical misinterpretations:

https://x.com/MikeBlack114/status/1571401031539367939
If bought new:

Lidl (if you live in a country where they are active), BlueBricks, or Cobi. But there are half a dozen others which are excellent.

Used Lego is fine, though.
Geretsried (the town) apparently sits in an ideal location for geothermal power and heat plants, in the same basin as Munich and other surrounding municipalities who have been leveraging geothermal energy to great effect.

https://geothermie-allianz.de/en/geothermal-in-bavaria/

I'm surprised we don't see more such projects.
He also personally threatened Zelenskyy, so maybe they will help Russia in the form of intelligence on Zelenskyy's position when he is visiting troops near the front...
No.

Gödel’s theorem forbids something that in general tells you whether a statement is true or not. (As in, a method which would work for every possible statement within a system.) It certainly doesn’t preclude something that checks if a proof is correct, any more than it precludes checking whether some calculation is done correctly (I.e. it doesn’t preclude it at all) .

It says that there are statements which the proof system doesn’t have a proof of the statement being true nor of it being false. It doesn’t mean you can’t have a proof system.
What was incorrect about that statement? Are you saying EV infrastructure in Bulgaria and Poland is on par with Benelux and Scandinavia?
They will never let Poland go because it's a buffer for Germany.
Ooh, this seems interesting ! I'm working on tracklab (https://github.com/TrackingLaboratory/tracklab), I might try to implement this in the visualization pipeline, which needs some work right now.

What can I potentially get out of VidFormer when there are a lot of annotations to show ?
Do you really think so?

We get gaffes like this from new AIs/LLMs/autocorrect/clever-branching-algorithms-of-the-day about every 1-2 years.
The Pitchfork Story
curl -X POST "https://apply-to-avantos.dev-sandbox.workload.avantos-ai.net" \
-H "User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_15_7) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/133.0.0.0 Safari/537.36" \
-H "Content-Type: application/json" \
-d '{"email": "<your-email>"}'
Hey Taylor! Thanks! One of the creators of emcee here.

So... short answer... there isn't a great way right now. Currently emcee is communicating over stdio – and although MCP technically supports SSE, it isn't super friendly to remote workflows.

You can see it's definitely on the roadmap for MCP here, however: https://github.com/modelcontextprotocol/specification/discus...

Curious to hear how you were thinking of using emcee remotely? Feel free to email me at carl@loopwork.com too.
Maybe figure out what types of swarms China _can_ defend against, and then send a different type of swarm.
If you discount education, healtcare, nukes, foreign policy, and national security, sure. Nothing is directly harming your day to day life except the looming recesion trump is accellerating. Even then, if you're rich enough that still won't impact you.

They are trying to shrink it with a sledgehammer. In my head the ends do not in fact justify the means. It's like solving famine by killing half the population. It would indeed work and give more resources to the remainder.
>Exceptions don't invalidate rules.

Source, you?

I could argue the opposite. If your purported "exception" applies to 80%+ of the global population, a minimal dash of common sense would make me think that's the rule, not the other way around.

Your "exception"s are quite loose, pal!
Hey, I would definitely get that checked out with a dermatologist. Tattoos flaring up WITH swelling is a strong indication of a systemic allergic reaction to the ink. Tattoo ink migrates around the body and among other things deposits in lymph nodes; Which may then also exhibit the same allergic reaction overtime. Do not underestimate the severity of the potential fallout.
Why fastDOOM is fast
This SDK isn't meant to be restrictive. This can be implemented into other open-source frameworks as a plugin(ie. BrowserUse, Mastra, LangChain, CrewAI, ...). We just don't want someone like AWS to flip this into a proxy service.

That said, what do you think is the right license for something like this? This is our first time doing OSS.
US Only ? Would Canada work ?
For me it was when he doxxed someone by connecting them to accounts in forums for sexuality. He revealed the identity and the sexual desires. No, it was not relevant to the story at all.
Pray elaborate! What is the mechanism of that, in your opinion?

(Not saying that the US policy is decent here, or anywhere else, under the current administration.)
Show HN: We created a music MMO that can scale 10x of Roblox
You only hand-write function bindings in simple or well-constrained cases.

In general, the expectation is that you will use bindgen [0].

It's a very easy process:

1. Create a `build.rs` file in your Rust project, which defines pre-build actions. Use it to call bindgen on whatever headers you want to import, and optionally to define library linkage. This file is very simple and mainly boilerplate. [1]

2. Import your bindgen-generated Rust module... just use it. [2]

You can also skip step 1: bindgen is also a CLI tool, so if your C target is stable, you can just run bindgen once to generate the Rust interface module and move that right into your crate.

[0]: https://rust-lang.github.io/rust-bindgen/

[1]: https://rust-lang.github.io/rust-bindgen/tutorial-3.html

[2]: https://github.com/Charles-Schleich/Rust-Bindgen-Example/blo...
Iterative elections of electors (e.g. Venice); ranked voting (e.g. Australia); ostracism (e.g. Athens); group voting (e.g. Rome); weighed voting (e.g. corporations); disapproval voting (e.g. Soviet Union)...

Majorities may be used technically but it is not the majority of the population that determines the policy (which remains indirect anyway).
> if there was a clear policy

Nope, it's pure chaos, but that's where Trump thrives the most. It's the perfect diversion, nobody knows what he'll destroy next.
I'm a good coder, not a great one. I hire great coders to work for me so that if I had to write code I would be the worst and least productive person on the team.

Therefore it is to everyone's benefit that I don't touch code. I do sometimes put on an engineering hat and help with brainstorming how we will build new things, or asking questions about open issues that no one has asked, but that is the extent I will get involved in engineering. I try to only get involved when it's something where my decades of experience will add a lot of value.

And historically all the best managers I ever had were the same -- former engineers who could understand everything we were talking about, but did not get involved in coding or code reviews.

Your manager should never be a blocker to getting things done.