skysight-inc/HackerNews huggingface dataset:
> integer overflow detection

What are you looking for here? Carry and overflow flags were explicitly not included because of the additional cost for OoO processors.

Let's compare overflow detection on RISC-V vs aarch64:

unsigned 64-bit:
add: RV: add+bltu Arm: adds+bcc
sub: RV: sub+bltu Arm: subs+bcs
mul: RV: mulhu+mul+beqz Arm: umulh+mul+cbz

unsigned 32-bit:
add: RV: addw+bgeu Arm: adds+bcc
sub: RV: subw+bgeu Arm: subs+bcs
mul: RV: mul+slli+beqz Arm: umul+cmp lsr 32

signed 64-bit:
add: RV: add+slt+slti+beq Arm: adds+bcc
sub: RV: sub+slt+slti+beq Arm: subs+bcs
mul: RV: mulh+mul+srai+beq Arm: smulh+mul+cmp asr 63

signed 32-bit:
add: RV: addw+add+beq Arm: adds+bvc
sub: RV: subw+sub+beq Arm: subs+bvs
mul: RV: mul+sext.w+bew Arm: smul+asr+cmp asr 31

So it's on par for unsigned, and takes two additional independent instructions for signed 64-bit and one for signed 32-bit.

For teaching, using unsigned XLEN-bit values by default is probably a good idea anyway.

> indexed addressing

I'm not sure how much this actually matters in practice.
It's nice when you access multiple arrays at the same index, such that you only need to implement one index instead of every pointer.
Such loops are often vectorized, and the indexed loads become useless, once you read two values from an array index, e.g. an array of structs.

Edit: removed measurements, because I'm not sure they are correct, might add back later.
My 8 year old uses an i3-7350k, which I'll admit is probably the best cpu Intel ever put out, but I built it before he was born, I think. It has a 1050ti, an NVMe and a spindle.

I never have to mess with it, it just works for him. Win11.
I don't think I have ever seen anything described as fascism if it happened before the 20th century. Mussolini seems to have coined the word and it described his regime and later ones. But even if the characteristics match also earlier regimes, I have not seen the word used. For example, was Napoleon fascist? Was Caesar fascist? Never heard it elaborated on.
Record Store Day 2025: list of exclusives
Earlier subthread, https://news.ycombinator.com/item?id=42926303
Also for utility uses, why is 80% the benchmark? It seems likely that batteries will be used down to 60% capacity; so double the number of cycles for a reduced capacity.
My bad there - I have seen Hasan Piker going on unhinged rants about it and I really am not a fan, so I think I saw Hasan and just starting skimming past to the meat of the story.

That was a legitimate oversight on my part and unfortunate since it detracts from the core message, which is that the quotes are wildly out of context and clearly about drug not 'race mixing' like is being claimed here.
You would think, but there are many "sea lochs" along the coast that are salt water inlets (lagoons?), and Loch Long is one of them. I think it's a grey area (and perhaps the West coast of Scotland in general is too).
> I don't think you could start any sort of restaurant on the dining concept of only serving hunted meat. Too gamey.

What? I've been to multiple in Vienna, Austria, alone.
How? Seems obvious that I missed the boat on LLMs. I don't have any ideas anyway (I have only one "idea", and it's someone elses and I have no faith that it'll get me a foothold). Robotics will be solved pretty soon by 10x reasoners if this development curve continues. Everything I can "change to" has a 2 year delta and that is a 100x capability change within the AI space right now.
> Any "normal" engineering field will be solved with the right domain knowledge.

Oh no, don't worry. Nobody will be trusting GenAI only for Real Work like aerodynamics, structural mechanics, electromagnetics, plasma physics, you name it. For sure there will be (already is) AI-based surrogate models, fast preconditioners, superresolution methods etc. But you will for the duration of our lifetime need humans who understand both physics and programming to actually use the damn tools and ensure they are used correctly.
Was using Github copilot with VSCode. Found it really helpful for small things.

I gave Codium Windsurf a spin to evaluate it on an internal app built: a simple svelte-kit/typescript app ontop of Twilio. It's been on todo list to host it (on lightsail), so the suits can use it themselves.

Asked Windsurf to enhance some capabilities: adding a store library backing to dynamodb.

Windsurf's code failed to run. svelte-check reported 6 errors. I asked windsurf to fix the errors, and it did, creating 10 errors. Repeat one more time and resulted in 16 errors. If I wasn't busy, I would have seen how many errors it would get up to before I got bored. It felt like repeatedly opening a JPEG and resaving it.

Giving up on using Windsurf. Gonna try Cursor next. After that, back to Github.
I mean, what are we really going to do about it? So much chaos in the world, I don't think many are focusing on keeping plastics out of our body. No one's championing it.
If that works, they can always put more money into improving GitHub.

I see this as a technology that "lifts all boats" but like so many technologies, it does lift moneyed boats a lot further.
What Happened to Decades?
It's giving an alternative that you can support to your paying customers, over one where you have found out after 5 years of contributions that you weren't welcome. Yes it was inferior but the alternative was nothing at all. Should I remind you of the Docker people showing up at a conference with "I say no to systemd PRs" t-shirts (https://lwn.net/Articles/676938/)?

Also, Kaniko was made public in January 2018. Buildah had its first release in February 2018. It's unfortunate that both exist but so is life, they were developed concurrently even though Kaniko came first by a few weeks. Given the previous experience with Docker I am not surprised they chose to build something integrated with podman.
Nice work. I will have a read of the code over the weekend.
Tldr: Trump bad, Progressives like me wise
What advice would you have for someone running a discord community?
> Wouldn't it be nice if someone also developed a tracker for when leftist governments

Do you realize you are telling on yourself?

The OP only says fascism.

You are the one who brought left vs right into it.

The fact that you equate “fascism” with “right” should be illuminating.
How about some penalties for their creation? If NSA is discovering or buying, someone else is creating them (even if unintentionally).

Otherwise corporations will be incentivized (even more than they are now) to pay minimal lip service to security - why bother investing beyond a token amount, enough to make PR claims when security inevitably fails - if there is effectively no penalty and secure programming eats into profits? Just shove all risk onto the legal system and government for investigation and clean up.
The trick is to put an interface computer between the (user) computer and the internet.

The user computer remains unchanged through the decades. The interface computer is updated with all the security updates, and communicates requests back and forth between the user computer and the internet, ensuring format compliance. It also contains software to convert file formats from newer version to the user computer compatible versions (where possible). For example, converting Word document format to some old version.
While I understand Feynman’s point that mathematicians love to generalize everything and that physicists focus on what actually works in the real world, as programmers, we’re doing something different from both of those groups. We’re engaged in a mix of engineering and analysis. We need to build systems that hold together under real conditions.

Category theory might seem obsessed with abstraction. In some ways, it is. However, when skilled practitioners apply these tools to areas of computer science and engineering, the point isn’t to create generalized abstractions. The point is identify the minimal, leak-proof abstractions needed to fulfill some desired quality. While I understand the language sounds very general, cryptic and off-putting, it’s also very precise.

While category theory might seem like a discipline that’s obsessed with generalizations, in practice, the abstractions one constructs using categorical tools can be very specific. The point isn’t always to construct the most general abstractions, it’s to construct abstraction that actually work 100% of the time. The irony is, mathematicians and computer scientists who are concerned with rigor often do this by proving specific cases first and then incrementally generalizing, not the other way around.
Speaking of Lisp, I'm developing a programming language that is similar to other Lisps, but I noticed that we can sprinkle a lot of macros in the core library to reduce the number of parentheses that we use in the language.

example: we could have a `case` that works as follows and adheres to Scheme/Lisp style (using parentheses to clearly specify blocks):

(case name
(is_string? (print name))
(#t (print "error - name must be a string"))
)

OR we could also have a "convention" and treat test-conseq pairs implicitly, and save a few parentheses:

(case name
is_string? (print name)
#t (print "error ...")
)

what do you think about this? obviously we can implement this as a macro, but I'm wondering why this style hasn't caught on in the Lisp community.

Notice that I'm not saying we should use indentation—that part is just cosmetics. in the code block above, we simply parse case as an expression with a scrutinee followed by an even number of expressions.

Alternatively, one might use a "do" notation to avoid using (do/begin/prog ...) blocks and use a couple more parentheses:

(for my_list i do
(logic)
(more logic)
(yet more logic)
)

again, we simply look for a "do" keyword (can even say it should be ":do") and run every expression after it sequentially.
"Cavemen understood stone"

How far removed are you from a caveman is the better question. There would be quite some arrogance coming out of you to suggest the several million years gap is anything but an instant in the grand timeline. As in, you understood stone just yesterday ...

The monkey that found the stone is the monkey that built the cathedral. It's only a delusion the second monkey creates to separate it from the first monkey (a feeling of superiority, with the only tangible asset being "a certain amount of notable time passed since point A and point B").

"Finally we understand protons, electrons, and neutrons and the forces that government them but it does not mean we understand everything they could mossibly make"

You and I agree. That those simple things can truly create infinite possibilities. That's all I was saying, we cannot fathom it (either because infinity is hard to fathom, or that it's origins are humble - just a few core elements, or both, or something else).

Anyway, this can discussion can head into any direction.
I Am a Strange Loop, by Hofstadter. I thought his idea of consciousness as a gradient was really interesting. Hofstadter said this idea made him a vegan. It did the opposite for me, eating a person has more or less the same moral perils as eating a cow. It didn't change my mind about eating animals, but eating people seems more or less okay.
I mean, we have GitLab, Forgejo, Gitea, Sourcehut, and many others all vaguely in that space and they're not eating GitHub's breakfast. If anything, it reinforces just how wide that moat of brand, momentum, and influence/power is, and it might get even wider in an AI world.
Cool, what was I gonna do with it? Unless we're selling to Dracula, owning external blood is highly regulated. So anyone buying has some credentials to use it.
One thing I was considering in relation to this thought is that many people have written books using stenographers or secretaries. Many other books are edited compilations of lectures or speeches.

That is the kind of thing I would normally consider for a CEO or President because the idea of having a secretary whose entire job is to write out your notes is a luxury most can't afford.

We are literally at a point in time where we could dictate to a LLM and then get it to turn it into a book for us (if we so desired). It may not be perfect today, but it won't take long at the pace we are improving.
It really is difficult to imagine a better vehicle for suburb/city usage than the Fit, unless you have a bunch of kids/people to move in which case I’d skip crossovers/SUVs entirely and go straight to minivans (which are also better than SUVs for most peoples’ needs).
> we often have to work twice as hard

Are you referring to getting promoted over your teammates? Or something else?
I've been in the industry long enough to have been around for a few crashes. My outlook is: this industry has always faced threats that looked like it was going to spell the end of our careers, but we always come out the other side better than ever.

I don't think LLMs are fundamentally more threatening than off shore developers were. Sure, we lost jobs during that time, but businesses realized eventually that the productivity was low and they wanted low level people who were responsible.

I think that will continue. We'll all learn to control these agents and review their code, but ultimately, someone needs to be responsible for these agents, reviewing what they produce and fixing any shitshows they produce.

I won't rule out the possibility of LLMs that are so good that they can replicate just about any app in existence in minutes. But there's still value in having workers manage infrastructure, data, etc.
the US often gets negative takes for doing what many other nations are also doing.

For example in 2018 Tencent (basically, China) withdrew from hacking competitions like pwn2own taking along with them the disclosures that proceeded.
I remember the anti-US sentiment among people at the time of the invasion of Iraq as way harsher than now during Trump. Like not even close.

It seems to be mainly European neoliberals that are more upset about Trump.
Nice one, I'll add it to our Apple Invites, open source competitor readme: http://github.com/gruprsvp/grup
Instead of hoping, you can do a lot just by ditching your cell phone and using Debian stable.
Required time to move into a regulated engineering field is 4 years. 4 years in the AI world is currently a 10^4 = 10000x capability delta. It's not like the engineering and academia curmudgeons will replace their employees as much be utterly destroyed by the AI labs hiring maybe one or two tenured professors per field to make an internal startup and then letting them oversee what the megascaled reasoners spit out at breakneck pace with a sufficiently low hallucination rate.

I really wish to be wrong here.
Perpetual stew
I was curious how bcrypt-ruby would handle this. It does not throw an error for input length larger than 72. However the actual API for the gem makes it pretty clear its for hashing a password, and not just hashing in general - as you can see from the code.

https://gist.github.com/neontuna/dffd0452d09a0861106c0a46669...
Alton Brown used to have a recipe (I'm Just Here for the Food?) for homemade microwave popcorn where you can use a typical metal staple and it won't spark, something to do with the amount of metal, and also actual size of the microwave wavelengths used being bigger than a staple, iirc.
You can put some thermal paper, or a sufficiently large chocolate bar in there (without the turntable) to see the interference patterns yourself without any fancy gear.

You can then eat the chocolate.
> Commercial price/deal servers I suspect are just around the corner.

I agree. I think there's going to be a big trend towards paid APIs and paid access to data.
Are you comfortable sharing which API you use?
I’m not actually sure since I never had issues, but I’ve heard it’s not much since they’re basically just an API for transferring money between banks. Each bank app still needs to integrate with the network separately. [1]

I guess you get some security since each party that you transfer to must have their identity verified with a bank, so you could always get the police involved fairly easily

The iDeal website page on security [2] is in Dutch, but it translates to roughly:

> Before you make a purchase, make sure that the webshop or business is a reliable party. For example, you can read experiences of other consumers about webshops on comparison sites. Or you can use a Google search to check what is said (in reviews) about a webshop on the internet. Also check the overview of the police with known rogue trading parties and the page check seller data. Before making a purchase, always use the following rule of thumb: if something is too good to be true, don't do it.

[1] https://en.m.wikipedia.org/wiki/IDEAL

[2] https://www.ideal.nl/veiligheid
>Russians can be white despite not living in a successful country

Which is especially perverse when one considers how ethnically heterogeneous Russia is as a result of the USSR's policy of integrating ethnic Russians into minority areas and shipping some number of those minorities back to Russia (basically so they don't incite discontent in their native lands).
There's no real information here. What are these contracts for?
Don't think about the elephant
Especially with something like Trenblone. The muscles blow up, yes, but the psychological feeling of energy and power is (literally) insane and leads to cocaine-addict-like overconfidence. It's common on the forums for novice tren users to damage their tendons because they feel like they can throw up 50 more pounds than their weakest parts can really handle.
> I did if I wanted to fix issues with WiFi, audio, installations, etc. That never happened to me when using mint.

That might have been due to a bug in some issue that you would have to fix under Mint as well.

> It has always been something simple, even less issues than debian, plus other advantages. Again, that is my experience.

Sure, that's fine, I still don't think it makes sense to put down a distro because you were messing with things you shouldn't have been. If you said you had to, then that's different from messing with something you shouldn't have been, since you should have been to fix it.

It seems the real issue was not that you were messing with something you shouldn't have been, bur rather stuff was not working for you as well out of the box.
Alternatively there is everybody's favorite CreateThreadpoolTimer https://learn.microsoft.com/en-us/windows/win32/api/threadpo... now that the threadpool is active on any Win32 process by default AFAIK. But for something you don't mind blocking the above is often easier to use.
PermitFlow (YC W22) | Staff, Fullstack & Frontend Software Engineers | New York, NY | ONSITE & Remote | Full-time | https://permitflow.com

PermitFlow’s mission is to streamline and simplify construction permitting in the $1.6 trillion United States construction market. Our software reduces time to permit, supporting permitting end-to-end including permit research, application preparation, submission, and monitoring.

We’ve raised a $31m Series A led by Kleiner Perkins with participation from Initialized Capital, Y Combinator, Felicis Ventures, Altos Ventures, and the founders and executives from Zillow, PlanGrid, Thumbtack, Bluebeam, Uber, Procore, and more.

Permitting is a challenging yet interesting problem; thousands of municipalities across the United States have their own processes and requirements - many which are continually updating. Software, AI, and LLMs provide an exciting opportunity for us to reason at scale and distill a nuanced and localized permitting process into a standard and streamlined experience for our customers.

We're looking for customer-obsessed, ambitious, and hard-working teammates who are excited about solving a real-world problem with technology at its helm.

NYC Onsite Roles | apply at: https://jobs.ashbyhq.com/permitflow?departmentId=d33195eb-89...

1. Staff Software Engineer - $200K-275K + equity

2. Fullstack Software Engineer - $125-240K + equity

3. Senior Frontend Engineer - $125K-240K + equity

https://permitflow.com/hiring
Also, you know, muscle memory. The idea that you could slap a headset on a rando and just walk them through doing a trade is ludicrous. It's a great teaching tool, but you can't use it to replace a trade worker real-time.
Perhaps the idea is that individual states (such as Florida and Louisiana) that are frequently impacted by hurricanes can invest their own resources towards hurricane forecasting so states like Wyoming and Utah aren’t forcibly taxed to contribute to a socialist national hurricane forecasting program.
Just use AI to learn what you want to pivot to and don’t be cry baby please
Nicely done. Little design & branding details/style on point. Can you talk about what tech you used more? Are there really that many headline APIs for all those sources available freely?
The autonomous agent stuff is what’s had me worried the past year as lots of open source projects have popped up that do similar capabilities. It’s really cool technology but it will replace humans, no matter how garbage the code quality is. I’ve seen garbage from humans, I’ve seen garbage from AI. As long as metrics are being met, business does not care how they achieve their goals.

I for one am going to welcome our new agent underlords as I’m all about self preservation.
U.S. lawmakers move to ban China's DeepSeek from government devices
Fabrication begins for production OpenTitan silicon
One problem we've had developing autonomous SWE agents (https://github.com/ai-christianson/RA.Aid) is that open models just haven't been performing near sonnet on controlling the agent. Our experience is echoed by many other agent devs out there, and you can see it for yourself if you try deepseek (v3 or r1) vs sonnet in any agentic product.

Do you think that your training setup could help train these models to be better at agentic work?
Remember the Mainframe!
Did that for a security tool about more than ten years ago. Makes you love that tightly designed engine a bit more.

I always thought an explorer or just an base lib would be fun. Great to see yours, especially with a MIT license. Tbanks for sharing.
My claim is that symmetric behavior is balanced. You went on the goose chase dismissing the first example of your entirely different demand, then pretended I never said it. Your argument is a disingenuous fraud.
The architecture is designed to simulate a neural network with hierarchical memory management, dynamic adaptation, and performance optimization. The goal of this architecture is to present an alternative to modern neural models, which are often complex and resource-intensive, taking inspiration from our brains, neurons are decentralized organized in layers, allowing them to interact with themselves and change theirselves overtime in more than just sates and weights, while also creating a dynamic memory system.
It's weird that you need to do that at all, couldn't you just reject that token and use the next most probable?
Isn't it obvious by now that Trump and his pals have no idea how to run a government? This is a massive Chesterton's fence.
I mean you can grab SIMH and trivially have a working PDP11 emulator on pretty much any system that has a C compiler.

Then just get 2.11 BSD (or V7 Unix if you're a minimalist/masochist), install it, and you're free to write/run/debug all the PDP11 assembly you want.

But I do question the value of doing this. I'm a big believer in the notion that you can't train skills by proxy, so if your goal is to become proficient in writing assembly for modern architectures, then you might as well do so by learning a modern architecture.
> That means my browser is pretending to be Firefox AND Safari on an Intel chip.

That's not the case, that ua is Chrome on MacOS. The rest is backward compatibility garbage
Is the typical presidential win much more substantial?