Latest Tech News

Stay updated with the latest in technology, AI, cybersecurity, and more

Filtered by: stack Clear Filter

JIT-ing a stack machine (with SLJIT)

16 September 2025 JIT-ing a stack machine (with SLJIT) From bytebeat to JIT Recently, I got nerdsniped with bytebeat. I made a simple program for editting it live with visualization . Then I found the expression language quite limted and started making extensions. Half way through, I realized it could just be a “real programming language” ™ which could be edit in a “real text editor” and get hot reloaded on change. Since I already have that, a new version was developed. It looks something li

Normal-order syntax-rules and proving the fix-point of call/cc

Normal-order direct-style beta-evaluator with syntax-rules, and the repeated applications of call/cc The presentation at the Workshop ``Daniel P. Friedman: A Celebration.'' December 4, 2004. Bloomington, IN Normal-order direct-style beta-evaluator with syntax-rules, and the repeated applications of call/cc Repeated applications of call/cc , formally , formally Normal-order direct-style beta-normalizer as syntax-rules Use (2) to prove (1) A few less common examples The title of the talk, i

Topics: cc cps lambda norm stack

Writing an operating system kernel from scratch – RISC-V/OpenSBI/Zig

Posted on: September 13, 2025 | at 09:30 AM Follow @popovicu94 I recently implemented a minimal proof of concept time-sharing operating system kernel on RISC-V. In this post, I’ll share the details of how this prototype works. The target audience is anyone looking to understand low-level system software, drivers, system calls, etc., and I hope this will be especially useful to students of system software and computer architecture. This is a redo of an exercise I did for my undergraduate cours

Writing an operating system kernel from scratch

Posted on: September 13, 2025 | at 09:30 AM Follow @popovicu94 I recently implemented a minimal proof of concept time-sharing operating system kernel on RISC-V. In this post, I’ll share the details of how this prototype works. The target audience is anyone looking to understand low-level system software, drivers, system calls, etc., and I hope this will be especially useful to students of system software and computer architecture. This is a redo of an exercise I did for my undergraduate cours

Show HN: I built a minimal Forth-like stack interpreter library in C

This weekend I created stacklib.h - a single-header library that brings Forth-style stack operations to C. It implements a basic interpreter with: - Stack operations (push/pop/dup/swap/over/drop) - Arithmetic (+, -, *, /) - Output (., emit, cr) - Stack inspection (.s, depth) Example usage: Stack s; stack_init(&s); dict_init(); exec(&s, "10 20 + ."); // Prints "30" exec(&s, "1 2 3 4 .s"); // Shows stack contents The library is self-contained, requires no dependencies, and handles basic error c

BMW and Qualcomm announce jointly developed driver assistance system

Qualcomm's driver-assistance system Snapdragon Ride Pilot will debut on the BMW iX3 electric SUV, offering hands-free highway driving, automatic lane changes and parking assistance. The jointly developed software stack announced today will be powered by Snapdragon Ride system-on-chips and will make its first formal appearance at IAA Mobility 2025. Snapdragon Ride Pilot is a Level 2+ driver-assistance system, not self-driving, which means drivers will still be responsible for supervising the veh

Fil's Unbelievable Garbage Collector

Fil's Unbelievable Garbage Collector Fil-C uses a parallel concurrent on-the-fly grey-stack Dijkstra accurate non-moving garbage collector called FUGC (Fil's Unbelievable Garbage Collector). You can find the source code for the collector itself in fugc.c, though be warned, that code cannot possibly work without lots of support logic in the rest of the runtime and in the compiler. Let's break down FUGC's features: Parallel: marking and sweeping happen in multiple threads, in parallel. The more

Data engineering and software engineering are converging

TL;DR: · If you’re an engineer building realtime analytics or AI-powered features, you need the right data infrastructure coupled with the right developer experience (DX). · A great DX for data infrastructure should empower both software devs and data engineers, while taking inspiration from the best of modern web development (git-native, local-first, everything as code, CI/CD friendly, etc). · MooseStack by 514 offers a fully open source implementation of a DX layer for ClickHouse. Da

A Fast Bytecode VM for Arithmetic: The Compiler

In this post, we write the compiler for our AST to bytecode, and a decompiler for the bytecode. In this series of posts, we write a fast bytecode compiler and a virtual machine for arithmetic in Haskell. We explore the following topics: In this series of posts, we write a fast bytecode compiler and a virtual machine for arithmetic in Haskell. We explore the following topics: Parsing arithmetic expressions to Abstract Syntax Trees (ASTs). Unit testing for our parser. Interpreting ASTs. Comp

Iterative DFS with stack-based graph traversal (2024)

Depth-first search (DFS) on a graph (binary tree or otherwise) is most often implemented recursively, but there are occasions where it may be desirable to consider an iterative approach instead. Such as when we may be worried about overflowing the call stack. In such cases it makes sense to rely on implementing DFS with our own stack instead of relying on our program's implicit call stack. But doing so can lead to some problems if we are not careful. Specifically, as noted in another blog post,

Ergonomic errors in Rust: write fast, debug with ease, handle precisely

Ergonomic errors in Rust: write fast, debug with ease, handle precisely Errors show up in three distinct contexts: when you’re writing code, when you’re debugging code, and at runtime when the program needs to handle recoverable errors. And errors are consumed by two distinct consumers with different needs: the developer debugging an application, and the caller making error handling decisions at runtime. In this post, we’ll explore how stackerror is designed to make working in all three contex

The Block Stacking Problem

The Block Stacking Problem John D. Norton Department of History and Philosophy of Science University of Pittsburgh https://sites.pitt.edu/~jdnorton/jdnorton.html February 21, 2025 1. Introduction In the block stacking problem, a collection of blocks are to be stacked at a table edge. If we stack the blocks so that they protrude past the edge of the table, how far can they go horizontally? The curious and then surprizing result is that we can extend the stack horizontally arbitrarily far.

Substack lets you subscribe as an in-app purchase – but you shouldn’t

Indie content platform Substack now lets you subscribe to newsletters, podcasts, and video channels via an in-app purchase. However, while this removes friction from the subscription sign-up process, you definitely shouldn’t use it, for two reasons … The last few years have seen growth in subscriber-funded independent newsletters, with Ben Thompson’s Stratechery one of the earlier successful examples. Substack was created to handle the business aspects of this, leaving independent creators fr

Substack turns on iOS in-app payment option for all paid newsletters

Substack now lets users subscribe to any paid publication via an in-app purchase from the official iOS app. The news comes after the company tested the feature with 30,000 creators. This makes subscribing to something a much speedier affair, with the entire process taking just a few taps on the old smartphone screen. Prior to this, it wasn't always possible to upgrade to a paid subscription directly in the app. Showing off that it's more expensive to use iOS. (Substack) However, there's a fai

Substack writers can now direct US readers to (often cheaper) web-based subscriptions on iOS

Newsletter subscription platform Substack will begin taking advantage of an option on the U.S. App Store that allows users to make purchases outside of Apple’s in-app purchasing system. This functionality is permitted by a change to the App Store’s rules in May, as a result of Epic Games’ antitrust lawsuit against the tech giant. Since then, a number of top apps have moved to offer in-app purchase links that point to their own websites, including Spotify, Patreon, and the Amazon Kindle app, amo

Why tail-recursive functions are loops

One story every computing enthusiast should hear is the lesson of how loops and tail-recursion are equivalent. We like recursive functions because they’re amenable to induction, and we can derive them in a way that is in direct correspondence with the definition of the datatype over which they recur. We like loops because they’re fast and make intuitive sense as long as variables don’t change in too tricky a way. In general, recursive functions are slower than loops because they push stack fram

Topics: int return stack sum tail

Why Tail-Recursive Functions Are Loops

One story every computing enthusiast should hear is the lesson of how loops and tail-recursion are equivalent. We like recursive functions because they’re amenable to induction, and we can derive them in a way that is in direct correspondence with the definition of the datatype over which they recur. We like loops because they’re fast and make intuitive sense as long as variables don’t change in too tricky a way. In general, recursive functions are slower than loops because they push stack fram

Topics: int return stack sum tail

Vibe coding the MIT course catalog

I recently left Microsoft to join MIT's Media Arts and Sciences program. The transition brought an immediate problem: how do you navigate course selection when faced with the "unknown unknowns"? You can easily find courses you already know you want learn, i.e. "known unknowns". But discovering courses you never knew existed, courses that might reshape your thinking entirely, requires different tools altogether. MIT's official course catalog runs on what appears to be a CGI script. The technolog

Vibe Coding the MIT Course Catalog

I recently left Microsoft to join MIT's Media Arts and Sciences program. The transition brought an immediate problem: how do you navigate course selection when faced with the "unknown unknowns"? You can easily find courses you already know you want learn, i.e. "known unknowns". But discovering courses you never knew existed, courses that might reshape your thinking entirely, requires different tools altogether. MIT's official course catalog runs on what appears to be a CGI script. The technolog

Ana Marie Cox on the Shaky Foundation of Substack as a Business

Politics | Recovery | Current Obsessions Let’s set Substack’s “Nazi problem” aside for a moment. What if the bigger issue is being stranded on a collapsing platform... with a bunch of Nazis? Substack's content woes are bound up with its shaky business model in ways that are bad for all of us. I can smell the burnt coffee from here. It's Substacks All the Way Down Last week, Terry Moran announced that he’d be the latest high-profile journalist to take his brand to Substack, following his dism

Substack accidentally sent push alerts promoting a Nazi publication

It was easy to view Substack's 2023 Nazi controversy as a kicked can that could turn up again. Well, white supremacist content led to another headache for the company this week. User Mag reported on Tuesday that the app sent a push alert to some users promoting a Nazi newsletter. The company told Engadget the notification was an "extremely offensive and disturbing" error. The Substack newsletter in question describes itself as "a National Socialist weekly newsletter." It includes "opinions and

Substack’s “Nazi problem” won’t go away after push notification apology

After Substack shocked an unknown number of users by sending a push notification on Monday to check out a Nazi blog featuring a swastika icon, the company quickly apologized for the "error," tech columnist Taylor Lorenz reported. "We discovered an error that caused some people to receive push notifications they should never have received," Substack's statement said. "In some cases, these notifications were extremely offensive or disturbing. This was a serious error, and we apologize for the dis

Substack Sends Push Alert for Nazi Newsletter

Substack, the popular newsletter platform, recently sent out a push alert for a Nazi-themed newsletter. The publication in question, NatSocToday, describes itself as a “National Socialist weekly newsletter featuring opinions and news important to the National Socialist and White Nationalist Community.” The newsletter’s image header is a Nazi flag, and its latest post, as of Wednesday, was an article that includes the sentence: “We demand the return of all territory currently occupied by jews and

The Great Unracking: Saying goodbye to the servers at our physical datacenter

Since October 2010, all Stack Exchange sites have run on physical hardware in a datacenter in New York City (well, New Jersey). These have had a warm spot in our history and our hearts. When I first joined the company and worked out of the NYC office, I saw the original server mounted on a wall with a laudatory plaque like a beloved pet. Over the years, we’ve shared glamor shots of our server racks and info about updating them. For almost our entire 16-year existence, the SRE team has managed a

Learn 14 Languages from Babbel with this exclusive StackSocial deal

Learning a new language doesn’t have to mean night classes, bulky textbooks, or boring apps. With Babbel, you can pick up real-world conversation skills through short, fun, and practical lessons. And right now, you can get a lifetime subscription for only $159 (regularly $599). Why Babbel? Babbel gives you lifetime access to lessons in 14 languages, including French Spanish German Italian Portuguese Swedish Turkish And that’s just a small sample. You’re not limited to just one either,

Why AI is moving from chatbots to the browser

Happy Friday. I’m back from vacation and still getting caught up on everything I missed. AI researchers moving jobs is getting covered like NBA trades now, apparently. Before I get into this week’s issue, I want to make sure you check out my interview with Perplexity CEO Aravind Srinivas on Decoder this week. It’s a good deep dive on the main topic of today’s newsletter. Keep reading for a scoop on Substack and more from this week in AI news. From chatbots to browsers So far, when most people

Substack raises $100M from Chernin Group, Andreessen Horowitz, Skims CEO, and more

In Brief Substack announced on Thursday that it has raised $100 million in Series C funding led by investors at BOND and The Chernin Group (TCG). The round included participation from Andreessen Horowitz; Rich Paul, CEO and founder of Klutch Sports Group; and Jens Grede, CEO and co-founder of Skims. The New York Times reports that the funding brings Substack’s valuation to $1.1 billion, almost 70% higher than its 2021 valuation of $650 million. Founded in 2017, Substack has gained popularity

Substack raises $100M from Chernin Group, Andreessen Horowitz, Skims CEO and more

In Brief Substack announced on Thursday that it has raised $100 million in Series C funding led by investors at BOND and The Chernin Group (TCG). The round included participation from Andreessen Horowitz, Rich Paul, CEO and founder of Klutch Sports Group, and Jens Grede, CEO and co-founder of Skims. The New York Times reports that the funding brings Substack’s valuation to $1.1 billion, almost 70% higher than its 2021 valuation of $650 million. Founded in 2017, Substack has gained popularity