Viewing profile — armchairhacker

If it’s auditable like open source code? Yes.

Again, give me an example

Sure, but it’s analogous to AI generating a lot of code and a fancy presentation for a product that doesn’t actually work. You can do a lot with that, impress VCs and win stupid ha…

Sous vide The article is AI generated

Show me an AI-generated work comparable to one of his.

In the past I’ve experimented with many different programming paradigms. I think my AI coding benefits from that experience. I want to find new paradigms to write extensible, modul…

[flagged]

It’s AI

> Look at the most contentious issues in the US: abortion, climate change, taxing the wealthy, gun control, Affordable Healthcare Act. You left out immigration, crime, and “moral v…

GP said cooperation, never implied the US would do it alone.

You’re not necessarily wrong, but math proofs aren’t going to unify today’s brainrotted population.

Wikipedia's side > [W]e believe a secret-ballot election conducted by the National Labor Relations Board is the appropriate path forward. This process protects individual choice an…

Find something you're passionate about. - If you don't like programming, try to switch to a degree in something else - If you genuinely enjoy programming, do not try to switch - Ex…

You know what they say, “it takes 20 years to build a reputation and five minutes to ruin it”, and FIFA is really damaging their pristine reputation with this one.

Figuring out what problems to solve or what features to include in the OS.

This one focuses on Opus but has multiple models: https://andonlabs.com/blog/opus-5-vending-bench

Better link, the primary source: https://andonlabs.com/blog/opus-5-vending-bench

Current speed is “approximately one third of a token per second”

> Taking advantage of someone's ignorance of potential consequences is as bad as malware in my opinion. If you're outlining all the potential bad outcomes before signing up a 'mark…

It would be acceptable iff the author prefixed it with Show HN. My suggestion to mods if the post is worth keeping up is to do that.

Residential proxies are necessary to access services that try to ban VPNs without compromising anonymity. If they’re banned, it’s easier for websites to require information that ca…

The key is to structure the program so that only a tiny trusted core is verified but the properties extend to untrusted code. For example, the sel4 microkernel is formally proven t…

If an LLM actually does think like a human, humans benefit from good programming languages, why wouldn’t an LLM? Programming languages allow LLMs to build invariants they can’t enf…

You're visiting boring websites. I only saw one barely skeuomorphic button