skysight-inc/HackerNews huggingface dataset:
This isn't quite the same, but it reminds me of something a bit less clever (and a lot less powerful) I came up with a little while back when writing some code to handle a binary format that used a lot of 32-bit integers that I needed to use for math on indexes in vectors. I was fairly confident that the code would never need to run on 16-bit platforms, but converting from a 32-bit integer to a usize in Rust technically is considered fallible due to the fact that you can't necessarily assume that a usize is more 16 bits, and frustrating `usize` only implements `TryFrom<u32>` rather than conditionally implementing `From<u32>` on 32-bit and 64-bit platforms. I wanted to avoid having to do any casting that could silently get messed up if I happened to switch any of the integer types I used later, but I also was irrationally upset at the idea of having to check at runtime for something that should be obvious at compile time. The solution I came up with was putting a static assertion that the target pointer width was either 32 or 64 bits inside the error-handling path, followed by marking the code path as `unreachable!()` that would never get executed (because either the error handling path wouldn't be taken, or the static assertion would stop the code from having been compiled in the first place. Even though this wasn't meaningfully different from just conditionally compiling to make sure the platform was suitable and then putting `unreachable!()` unconditionally in the error handling path, having the compile-time insertion locally in the spot where the error was being handled felt like I magically turned the runtime error into a compile-time one; it was quite literally possible to write it as a function that could be dropped into any codebase without having to make any other changes to ensure it was used safely.
An assert is just a fancy `if condition { panic(message) }`. If the optimizer can show that condition is always false, the panic is declared as dead code and eliminated. The post uses that to get the compiler to remove all panics to reduce the binary size. But you can also just check if panic code was generated (or associated code linked in), and if it was then the optimizer wasn't able to show that your assert can't happen.

Of course this doesn't prove that the assert will happen. You would have to execute the code for that. But you can treat the fact that the optimizer couldn't eliminate your assert as failure, showing that either your code violates the assert, your preconditions in combination with the code aren't enough to show that the assert isn't violated, or the whole thing was too complicated for the optimizer to figure out and you have to restructure some code
No, not kudos!

Before destroying an entire organization, it’s important to know their true impact and how much it’ll hurt to have them gone. So far, I’ve seen zero evidence that deep thought or analysis went into these decisions. In other words, it’s objectively a careless decision. If it’s not careless, then Elon should be sharing evidence, lengthy discussions on his decisions, etc. Plus, there should be a public comment period because Elon sure as SHIT doesn’t have enough context to understand the full impact.

I, for one, do not like the fact that the richest man in the world, who still owns multiple companies in conflict with our government, gets to unilaterally make these decisions with no input from the public. Not only is it undemocratic, it’s objectively corrupt! You know, that thing where we expect our federal decision makers to not have severe conflicts of interests?

So no, don’t fucking give kudos for shit like this. And a single tweet from one president isn’t enough to justify decisions of this magnitude.

If those allegations are true, sure, reform or shutter the department. But do it democratically. Move fast and break shit is not the correct problem solving model to apply to geopolitics or even federal policy, and it’s absurd that this isn’t self evident.
SEEKING WORK | Remote | Contract

Hi! Do you need engaging, useful technical content?

That amazing thing you're building—I can show people how to use it. I'm a tech writer with extensive experience in engaging demanding technical and non-technical users with relevant, accurate content. And I've helped documentation teams to write more and fuss less by implementing process improvements and automation.

Current and past deliverables: Developer advocacy, technical blogging, white papers, ghost writing, user documentation.

Subjects: AI, SaaS platforms, software development, healthcare, fintech, open source software.

More info:

https://egopontem.com

https://github.com/marcpaq

https://www.linkedin.com/in/marcpaq/
This is great. IMO, given the advancement in voice assistance tech we will desperately want some kind of non-disruptive interface that can be used in public. I thought maybe it would come from subvocalization, but lip reading tech would work in a pinch.

Maybe I am just more full of anxiety than most, but I often wish I could take notes without thumbs, even when I’m at home (but most definitely when in public).
Fair demand by the IMF.

Presumably they require their loan to be repaid in fiat because of their internal charter. If Bitcoin adoption eventually removes El Salvador's ability to issue fiat, their loan can't be repaid.
I don't think grepping for panics is practical, unless you are trying to depend on exclusively no-panic libraries.

Even if you are no_std, core has tons of APIs like unwrap(), index slicing, etc. that can panic if you violate the preconditions. It's not practical to grep for all of them.
> If they said “I speak Irish”, I would infer that they meant Irish Gaelic

But if someone said "I'm from Ireland", you should assume they speak English as their main language. Even if they say "I speak Irish", there's a high chance they're not fully fluent, it's an identity thing for many Irish people.

In any case, it's probably best not to read too much in to this. The whole point is that using flags to represent languages risks getting caught up in exactly this kind of minutiae.

The text EN is unique for English and removes all for it. Put a flag next to the text if you like.
If it becomes law people could just put it on hard drives and pass them around.
If legal tender #2 went up 115% in 4 years I would feel like a jackass for spending it in 2021 because I would have doubled my money if I saved it.

Do you see the absurdity?
I think that’s a bit of a naive take.
I strongly suspect that after a few false steps, which always happen when people fall for the hype, AI will just be a labor saving device, like power tools, etc. Certain categories of work won't be necessary any more, just like we don't have file clerks in the age of databases, but other new jobs will fill their places.

The general level of productivity will rise, and most of the benefits of that increase won't be seen by the workers. 8(
there is a push to use garbage containers, and the requirements have partially rolled out, but it's a very controversial political issue.
> consistent across many surveys and research

Sure, but there's a huge systematic bias in how a lot of surveys and research are carried out. If everyone is sampling from e.g. people who answer a phone call, their results will be consistent but hugely biased.
Really depends on the allegiances of the police and armed forces I guess.
Correct, for Nick Land "Business ventures are actually existing artificial intelligences"[0] and the failure cases will increase with the ongoing autonomization of capital and eventually the concept of "capital self-ownership"[1] will have to be recognized.

[0] Nick Land (2014). Odds and Ends in Collapse Volume VIII: Casino Real. p. 372.

[1] https://retrochronic.com/#piketty
Bitbuy is just a random exchange. You're placing blame at the wrong layer. Blaming bitcoin for Bitbuy fees is like blaming the Federal Reserve for Western Union fees.
Meta-analysis of the red advantage in combat sports
> the thread is more informed by things that have already happened over much longer periods of time in the recent past than it is by the things that have happened in the last couple weeks

Almost the entire modern history of the US government (including his last term) showed that not much at all changes. And it definitely doesn’t change quickly. Even stuff like tax rates have barely had any meaningful change considering US tax revenue has only increased exponentially since the 1980s along with the GDP. On paper very little changes in gov when you look more than skin deep.

This might be a new precedent where politicians actually do what they say and work hard to change the government but I’m highly skeptical.

Sounds like a lot of noisy broad stroke announcements and highly reactive social media headlines that will turn out to be minor IRL outcomes or get smacked down in court.
Show HN: Looking for work is a full time job – So I created this tool
https://www.resumevue.com/board

For anyone currently stuck in the grind of endlessly applying for jobs, I completely understand your frustration. I’ve been job hunting for the past four months, and it’s been painfully repetitive and time-consuming. Applying via LinkedIn often feels like throwing your resume into a sea of 1,000+ other applicants, even with daily alerts turned on.

What worked better for me was following founders, recruiters, VCs and other key connections. I’d wait for them to post about roles to their network and apply directly by sending them a DM. This strategy landed me a few interviews, more than going via traditional application portals.

To make this process less manual, I built a tracker that highlights posts from people sharing roles with their private networks. It’s 100% free, so feel free to check it out if you’re in the job market!

https://www.resumevue.com/board
Ask HN: Will secret tech be obsolete in the age of artificial superintelligence?
If artificial superintelligence can independently discover it, then maybe it won’t stay secret for long?
And Bush, and Reagan.

Find me a Republican president who did not increase the national debt.
And instead of admitting they were wrong they will dig in even deeper.
Am I losing my mind, or have there been a lot of links to 404media.co recently?
Rust doesn't want to add any proof-system that isn't 100% repeatable, reliable, and forwards compatible to the language. The borrow checker is ok, because it meets those requirements. The optimizer based "no panic" proof system is not. It will break between releases as LLVM optimizations change, and there's no way to avoid it.

Trying to enforce no-panics without a proof system helping out is just not a very practical approach to programming. Consider code like

some_queue.push_back("new_value");
process(some_queue.pop_front().unwrap());

This code is obviously correct. It never panics. There's no better way to write it. The optimizer will instantly see that and remove the panicing branch. The language itself doesn't want to be in the business of trying to see things like that.

Or consider code like

let mut count: usize = 0;
for item in some_vec {
// Do some stuff with item
if some_cond() {
count += 1;
}
}

This code never panics. Integer arithmetic contains a hidden panic path on overflow, but that can't occur here because the length of a vector is always less than usize::MAX.

Or so on.

Basically every practical language has some form of "this should never happen" root. Rust's is panics. C's is undefined behavior. Java's is exceptions.

Finally consider that this same mechanism is used for things like stack overflows, which can't be statically guaranteed to not occur short of rejecting recursion and knowledge of the runtime environment that rustc does not have.

---

Proof systems on top of rust like creusot or kani do tend to try to prove the absence of panics, because they don't have the same compunctions about not approving code today that they aren't absolutely sure they will approve tomorrow as well.
Given the generally poor standard of government software in Singapore (from the perspective of an unfortunate user), this site probably has not had a large local readership despite it’s intentions.
Looks like a fair take to me. They are not forcing people to accept it anymore because it didn’t work. It was never supposed to work.

Bitcoin tried for 15-20 years to find a use case but now it’s just an asset class like gold and nothing else, it will never be more than that.
Yeah, or external agents trying to control the flow of information.
Examples go back 50 years, across many of the disciplines you’ve mentioned, but to throw out one that’s recent, on topic, and highly cited, there’s:

Chain-of-Thought Prompting Elicits Reasoning
in Large Language Models
https://arxiv.org/pdf/2501.19201

It effectively treats “reasoning” as the ability to generate intermediate steps leading to a correct conclusion.

Now, is this valid reasoning? Well, depends on the claim and the definition of reasoning.

When someone just says AI can’t reason, I could argue for or against that depending on the specifics. It’s not enough to just say yes or no.
Their experience is relevant. If they're being brought into build data analysis systems to make sense of data of various organizations there's zero chance they've worked on a project of that scale let alone do they understand all the gotchas you need to deal with working on a project of that scale.

You're offering a completely false dichotomy here.
> they went from being opposed to it to being in favor of it in a short time.

"Some wonder why there was such overwhelming support for us to shut down TikTok..." (https://x.com/wideofthepost/status/1787104142982283587)
Location: New York
Blurb: I'm a Masters student at Stony Brook University graduating soon. I am open to work in backend, distributed systems and SRE positions. I have worked extensively with modern C++, Oracle and Kubernetes. I am currently working with Prof. MJ Amiri at Stony Brook (https://www3.cs.stonybrook.edu/~amiri/research.html) researching and implementing CRDTs in Golang.

Remote: Open to any form of work(Remote, Hybrid, In-office)

Willing to relocate: Yes

Résumé/CV: https://drive.google.com/file/d/1_Sa_kSjIYy6pnFpjXQi7hn2lUtQ...

Email: omkar.rajwade [at] stonybrook [dot] edu
That comic at the end with the dominos…I really like that! Anyone know the source?
I think it's really cool they have the Herculaneum Papyrii guy working for them!

It's a shame Wired is behaving this way.
Does Rust have something like a deep-codemodding macro that could be used to un-panic-fy an entire function etc. automatically?

Something like: Given a function, rewrite its signature to return a Result if it doesn't already, rewrite each non-Resulty return site to a Some(), add a ? to every function call, then recurse into each called function and do the same.
thats crazy it seems a lot harder to forge identity than to work and pay off loans and expunge misdemeanor if no politics / employment stuff esp if you already got a fast food gig

i wonder if it was a temp thing or planned this way

why not switch to a new identity after that instead of charging crazy story so many questions to both parties
That's a completely different type of "analysis" and on a completely different scale. The skillsets are not even remotely comparable.
If AI is outlawed then only outlaws will have AI.
I'm seeing the same problem--the page crashes on mobile (Brave). On desktop it loads, but all of the code cells have a crashed page symbol in them.
He had his ID. They just didn’t believe him when he provided it.
Looks good. Does it pull data from other sites besides LinkedIn?
There are blockchains other than Bitcoin which have no or almost no fees for transactions. Bitcoin could have low TX fees, but its core developers have deliberately kept the maximum block size at 1 megabyte and have refused to increase it.
Pipx: Install and Run Python Applications in Isolated Environments
Posting because it's too late to edit, but I realized later that my above comment is wildly wrong. The "Actual Google Maps app" of course did not predate Apple Maps so my point is completely invalid. I regret the error.

I still assume the overall reasons for whatever Apple and Google each did amounted to greed, greed, and more greed.
> No, not by sufficient margin.

Honest question: would the margin have been sufficient if the outcome was reversed? Would you be understanding of their position if Republicans had the same feelings and ideas of resistance if roles were reversed?
“Import” is not the same as “download”.
I read the piece on your blog viewing your life story from various perspectives. This story about your son seems a good example of those facets for him; in this case, the hospital situation piling on top of existing challenges. What a scam. Best of luck to both of you.
https://www.youtube.com/watch?v=LT_dFRnmdGs
A Coup Is in Progress in America
The stock market clearly doesn't believe these are actually going to happen.

Betting markets agree:
https://polymarket.com/event/trump-tariffs-on-canada-in-effe...

I think they are probably discounting the chance, but not enough to gamble real money on it.
I feel like there’s an opportunity to revisit this with those "You wouldn't download a car." jokes.
Transparent ? He's just playing the same game that Trump - all smokes and mirrors.

He mastered the art of news manipulation and took it to the 21 century. And people are falling for it (I did too at some point). Tesla is one of the most secretive companies out there, and for a good reason. Musk is regularly saying outrageous lies, without any consequence. The FSD game has been going for 10 years. 10 YEARS.

Lookup Montana Sceptic case - the guy was exposing that Tesla was close to bankrupcy at the time (which Musk later confirmed). Musk, in all his transparency went after him, including threatening his boss.

The reality is that none of his companies are really profitable (yes I know, Tesla made some money in the past 3 years. They are valued as if they made 100x what they did), and all would be dead without government subsides.
For what it's worth, eg vscode can jump to definition even when your code is in a different crate that's not in your repository.
It has `catch_unwind` [1], but that still retains the panicking runtime, so not sufficient in the context of the post.

[1] https://doc.rust-lang.org/std/panic/fn.catch_unwind.html
Yeah, the all so powerful IMF that can be thwarted by the incredibly difficult task of…checks notes….

not taking loans from them…

The IMF (or its donor nations) aren’t forcing anyone to take loans from them. Countries do that because the IMF offers much cheaper rates they can get anywhere else and is willing to forgive those loans far more easily than any other entity.

In return it expects certain good governance changes that are stated upfront as conditions to receive the loans you could very well get from anywhere else in the world.

Don’t like what they consider good governance? Don’t take a loan from them. Go get in the private market or the variety of nations willing to lend at far more onerous terms.
Why do they need an IMF loan? (that's typically a sign of the economy not doing great)
That is factually incorrect. Congress did not codify USAID as an independent agency in 1998. It reaffirmed and clarified its role. The foreign affairs reform and restructuring act of 1998 left USAID a separately managed and operationally independent agency UNDER THE AUTHORITY of the secretary of state. Congress did not explicitly codify it as fully independent.

This stuff isn't hard to look up, but feel free to send an explicit link explaining why they can spend money and never have to answer any questions about what they are spending it on. Some of the alleged things that they spent the money on are ridiculous (not going to repeat them here).
> Japan solves this by having the registry in your town of birth

Japan is notorious for impersonation and false identities (especially children impersonating dead parents to claim their pensions).

> As for the reasons not to have such a registry, I have yet to hear any convincing ones.

The Japanese system is hugely cumbersome and also famously makes it difficult for people to escape from abusive family members (to the point there are e.g. dedicated companies for helping people move away in the middle of the night).
Thanks! Not in this version, but I'm building a version which incorporates social media feeds as well.
So... investing?
The code comments make it a pleasure to read the source: <https://github.com/Foundry376/Mailspring-Sync/blob/master/Ma...>
> One thing I've heard from people in both finance and tech is that at some of the best-performing organizations, there are a lot of people who, while objectively good, aren't adding a lot of value to the firm.

Another major reason for this is there is often a large gap between the talent companies think they need, and what they can practically utilise.

They'll go to market looking for particular skills, but then last time the applicant has the opportunity to exercise those skills is in the interview. At the same time, they'll have trouble filling those roles with specialist skills they never use and claim that means there's a talent shortage.

I see it all the time in security teams. The company thinks it needs a digital forensics specialist, when all they're going to do at the first sign of trouble is call in the DFIR firm they have on retainer to do the work anyway.
By branding itself as "crypto-friendly", El Salvador managed to get Tether to relocate there. That seems like a pretty big deal for a country that otherwise would never attract any sort of tech company.

So I wouldn't call it a "failed experiment" per se - more like a publicity stunt that has achieved publicity.
> As an American, most of this post reads like doublespeak satire

Yeah, you guys have a lot of brainwashing to get over. I can imagine that you're deeply conditioned to read any outside views on politics as satire.

One kind of brainwashing is the need to reframe everything political into sports metaphors. The EU is not a sports team. It's a political entity. Whatever you might have been taught, these are very different things, with different needs. You can't have meaningful conversations about a political entity via sports metaphors.

Well, maybe in US politics you can. There you have two teams determined to beat the other at all costs. EU politics isn't like that. We are trying to work together, not kill each other.
Yes, it's note as competitive as the NBA, the minimum NBA salary is over 5x what the 'minimum' FAANG salary is.

None the less I think it gets the point across that just because you can program doesn't mean you can work at a FAANG. Similarly, just because you're good enough to play high school varsity doesn't mean you can get to the NBA.
Yep. You can move fast and break things in a SAAS startup or some dumb LLM as a service startup.

But the stakes are much higher in what they're touching. And the way they're being brought in is selecting for loyal sycophants, nothing else. If they disagree musk will axe them in seconds.
> I do not see any action that the government has taken as endangering anyone

I’m curious how you view the executive order that moves transgender women into men’s prisons. To me those prisoners are now in a danger they were not previously.
Ah, I see what you are saying. Yes, if the optimizer is able to eliminate the postcondition check, I agree that it would constitute a proof that the code upholds the invariant.

The big question is how much real-world code the optimizer would be capable of "solving" in this way.

I wonder if most algorithms would eventually be solvable if you keep breaking them down into smaller pieces. Or if some would have some step of irreducible complexity that the optimizer cannot figure out, now matter how much you break it down.
On this subject, it is worth reading Tolkien's letters to publishers and translators about the translation choices regarding his works. His philology comes into full play.
"Failed Experiment" is euphemism for "IMF pressure."
Once Elon has all the passwords, it won't matter what Trump says about him.. He's in forever.