Toxic Origins, Toxic Decisions: Biases in CEO Selection
90 Pages Posted: 27 May 2025 See all articles by P. Raghavendra Rau University of Cambridge; European Corporate Governance Institute (ECGI) National Taiwan University – Department of Economics City University of New York, Baruch College – Zicklin School of Business – Department of Economics and Finance Date Written: May 01, 2025 Abstract We examine how […]
De Bruijn notation, and why it’s useful

Debruijn indexes + levels, and why they’re handy 2025-05-26 dark mode? back? Assumed knowledge At least a familiarity with the lambda calculus, including how it is evaluated. Some base knowledge of programming languages is also assumed. The problem Let’s look at a little imaginary term, in some lambda-calculus-like language. For future note, we call the […]
Show HN: W++ – A Python-style scripting language for .NET with NuGet support

At least we’re better than Visual Basic. W++ is a fun, experimental, and completely over-engineered programming language designed for learning, chaos, and memes.It includes async lambdas, pseudo-OOPSIE principles (Object-Oriented Programming Sometimes Isn’t Excellent), and full integration with a custom-built VSCode extension. This repo contains the full source code of W++ after it reached over 33,000 […]
What’s Working for YC Companies Since the AI Boom

The goal of this analysis was to understand what’s working for YC companies by looking at which ones have raised Series A rounds. I was really excited to take a look at the data for a number of reasons: We finally have 2 years of batch data since ChatGPT started the AI boom, which gives […]
The ‘white-collar bloodbath’ is all part of the AI hype machine

A version of this story appeared in CNN Business’ Nightcap newsletter. To get it in your inbox, sign up for free here. New York CNN — If the CEO of a soda company declared that soda-making technology is getting so good it’s going to ruin the global economy, you’d be forgiven for thinking that person […]
Microsandbox: Virtual Machines that feel and perform like containers

——— easy secure execution of untrusted user/ai code ——— Ever needed to run code you don’t fully trust? Whether it’s AI-generated code, user submissions, or experimental code, the traditional options all have serious drawbacks: Running locally – One malicious script and your entire system is compromised Using containers – Shared kernels mean sophisticated attacks can still break […]
Show HN: Git-Add–Interactive with Enhancements

A Go port of Git’s interactive add functionality, providing the same interface as git add -i and git add -p, with a few enhancements. Interactive staging: Select files and hunks to stage interactively Patch mode: Review and selectively stage individual hunks with y/n/s/e/q/a/d commands Hunk operations: Split hunks, manually edit hunks, navigate between hunks Multiple […]
Systems Correctness Practices at Amazon Web Services
Amazon Web Services (AWS) strives to deliver reliable services that customers can trust completely. This requires maintaining the highest standards of security, durability, integrity, and availability—with systems correctness serving as the cornerstone for achieving these priorities. An April 2015 article published in Communications of the ACM, titled “How Amazon Web Services Uses Formal Methods,” highlighted […]
The Darwin Gödel Machine: AI that improves itself by rewriting its own code

May 30, 2025
What is currently the best LLM model for consumer grade hardware? Is it phi-4?
I have an RTX 3070 with 8GB VRAM and for me Qwen3:30B-A3B is fast enough. It’s not lightning fast, but more than adequate if you have a _little_ patience. I’ve found that Qwen3 is generally really good at following instructions and you can also very easily turn on or off the reasoning by adding “https://news.ycombinator.com/no_think” […]