🔥 Explore this must-read post from Trending Subreddits 📖 📂 Category: trendingsubreddits 📌 Main takeaway: Over 6 years ago, when reddit was the equivalent of a toddler we launched trending subreddits on the front page. This was truly one of the very few ways to discover new communities. Now we have many ways for you to find the spaces you love - including a leader board, personalized recommendations, improved onboarding for new users and others on the way. With all of that, and with the site continuing to grow, we’ve decided it’s now time to retire this community and the…
💥 Check out this insightful post from Hacker News 📖 📂 Category: 💡 Key idea: 17 Dec, 2025 I recently added domain exclusion lists and paywalled content filtering to Scour. This blog post describes a small but useful SQL(ite) query optimization I came across between the first and final drafts of these features: using an uncorrelated scalar subquery to skip a correlated subquery (if you don't know what that means, I'll explain it below). Scour searches noisy sources for content related to users' interests. At the time of writing, it ingests between 1 and 3 million pieces of content from…
🔥 Read this insightful post from Hacker News 📖 📂 Category: 💡 Key idea: 01/31/2024 (last edited 05/07/2024) ·While I probably should be learning a language like C, Go, or whatever new trendy language the ThePrimeagen mentions on Twitter (OCaml?), I'm going to attempt to learn Fortran.Fortran, which stands for FORmula TRANslator, was created at IBM by John Backus in 1957 for scientific applications and has apparently been popular for high-performance computing and benchmarking supercomputers in recent years. Fortran has had several subsequent releases since then; FORTRAN 77, Fortran 90, Fortran 95, Fortran 2003, Fortran 2008, and the latest Fortran 2018.To…
🔥 Discover this trending post from Hacker News 📖 📂 Category: 💡 Main takeaway: Formal Modeling and Analysis of Distributed (Event-Driven) Systems Challenge: Distributed systems are notoriously hard to get right. Programming these systems is challenging because of the need to reason about correctness in the presence of myriad possible interleaving of messages and failures. Unsurprisingly, it is common for service teams to uncover correctness bugs after deployment. Formal methods can play an important role in addressing this challenge! P Overview: P is a state machine based programming language for formally modeling and specifying complex distributed systems. P allows programmers…
💥 Discover this awesome post from Hacker News 📖 📂 Category: 📌 Here’s what you’ll learn: October 30, 2025Everyone's using AI wrong. Including me, until last month. We ask AI to write emails, generate reports, create content. But that's like using a supercomputer as a typewriter. The real breakthrough happened when I flipped my entire approach. AI's superpower isn't creation. It's consumption. The creation trap Here's how most people use AI: "Write a blog post about engineering leadership" "Generate code for this feature" "Create a summary of this meeting" Makes sense. These tasks save time. But they're thinking too small.…
✨ Explore this trending post from Hacker News 📖 📂 Category: ✅ Main takeaway: In an interview with “The Verge”, the new Mozilla CEO, Enzor-DeMeo, IMHO hints that axing adblockers is something that, at the very least, was on the table in some form and at some point. From the article: He says he could begin to block ad blockers in Firefox and estimates that’d bring in another $150 million, but he doesn’t want to do that. It feels off-mission. It may be just me, but I read this as “I don't want to 😜 😜 but I'll kill AdBlockers…
🔥 Discover this insightful post from Hacker News 📖 📂 Category: 💡 Key idea: Model minimalisticallyStart from a tiny core, and always keep a working model as you extend. Your default should be omission. Add a component only when you can explain why leaving it out would not work. Most models are about a slice of behavior, not the whole system in full glory: E.g., Leader election, repair, reconfiguration. Cut entire layers and components if they do not affect that slice. Abstraction is the art of knowing what to cut. Deleting should spark joy. Model specification, not implementationWrite declaratively. State what…
🔥 Read this awesome post from Hacker News 📖 📂 Category: 💡 Main takeaway: MenuWork at a StartupStartup JobsInternshipsUpcoming EventsHow it WorksLog In ›Work at a StartupStartup JobsInternshipsUpcoming EventsHow it WorksLog InCheck out other YC startups on Work at a Startup below.Sign up to see more ›Work at a StartupJobsInternshipsEventsHow it worksSign inY CombinatorAbout YCPressPrivacy & TermsContactJobs by RoleSoftware Engineer JobsDesign & UI/UX JobsProduct Manager JobsSales JobsMarketing JobsSupport JobsOperations JobsJobs by LocationSoftware Engineer Jobs in San FranciscoProduct Manager Jobs in San FranciscoSoftware Engineer Jobs in New YorkProduct Manager Jobs in New YorkSoftware Engineer Jobs in Los AngelesProduct Manager Jobs in…
🔥 Discover this insightful post from Hacker News 📖 📂 Category: 📌 Key idea: Caroline Ellison, the former cryptocurrency executive and ex-girlfriend of Sam Bankman-Fried, has been quietly moved out of federal lockup after serving roughly 11 months of her two-year prison sentence, Business Insider has learned.Ellison, 31, was transferred on October 16 from the Danbury Federal Correctional Institution in Connecticut to what's known as community confinement, a Federal Bureau of Prisons spokesperson said.That means Ellison, the former CEO of Bankman-Fried's Alameda Research cryptocurrency hedge fund, remains in federal custody but is now either in home confinement or a halfway house, BOP…
🚀 Check out this trending post from Hacker News 📖 📂 Category: 💡 Here’s what you’ll learn: Tesla has reported yet another crash involving its Robotaxi fleet in Austin to the NHTSA. The new data keeps the program’s accident rate alarmingly high compared to human drivers, even as the company prepares to remove human safety supervisors from the vehicles. As we have been tracking in our previous coverage of the Robotaxi pilot in Austin, Tesla is required to report crashes involving its automated driving systems (ADS) to the NHTSA under a Standing General Order. For months, we’ve seen these reports…