home.social

#compiler — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #compiler, aggregated by home.social.

fetched live
  1. Two new preprints from my #research center!

    "Is Cleaning Costly? Evaluating the -fret-cleanAnti-Return-Oriented Programming Mitigation from the OpenBSD Operating System" — an evaluation and critique of #cybersecurity #engineering: briancallahan.net/preprints/Ca (and #blog post about it: briancallahan.net/blog/2026081)

    "Write Your Way to Better Cybersecurity Awareness Training with Active Word Games" — about identifying creating cybersecurity training as a site of learning worthwhile of studying: briancallahan.net/preprints/Wr

    #academic #academia #professor #freebsd #openbsd #netbsd #dragonflybsd #unix #linux #illumos #solaris #compiler #compilers #cybersec #cyber #informationsecurity #infosec

  2. RT @plugyawn: Ich habe die letzten sechs Monate damit verbracht, die Patente von Taalas zu dekonstruieren. Wir glauben, dass es besser geht: 100x weniger Memfetches als ihr bitROM, bessere Software durch bessere Quantisierung als das von ihrem Hardware-Team. Also haben wir einen Compiler geschrieben, der: einen Huggingface-Checkpoint nimmt, das Modell quantisiert, die Gewichte durch die Metallschichten bis hinunter zu RTL und GDS absteigen lässt, DRC, Yosys, PEX durchführt, die elektrische Wellenform erzeugt, die ein Mat-Vec von deinem Huggingface-Checkpoint ausführt (danke an die Cambricon-Technikpapiere) in ~7000 Zeilen menschenlesbaren Codes. Wir suchen jemanden mit Kontakten zu einer Fabrik/Zugang zu 7nm-PDKs oder Kontakten bei einem günstigen EuroPTW-Shuttle? Ich bin pleite und arbeitslos. @itsclivetime Das ist das, was ich für die Zukunft der Perplexität pro Pikojoule halte. @zerohedge @zephyrz9 wollt ihr 40.000 Tokens/Sekunde sehen?

    mehr auf Arint.info

    #AI #Compiler #Hardware #MachineLearning #Quantization #TechInnovation #arint_info

    https://x.com/plugyawn/status/2088834602433712591#m

  3. A wild #blog post appears!

    I discuss a new #research publication: an empirical evaluation of the #OpenBSD -fret-clean flag. We examine the history of the mitigation, measure its costs, and deliberate whether or not it is worth keeping.

    Worth the read if you like security and/or compilers.

    briancallahan.net/blog/2026081

    #freebsd #netbsd #dragonflybsd #bsd #linux #unix #solaris #illumos #compiler #compilers #llvm #gcc #rop #cybersecurity #cybersec #cyber #security #infosec #informationsecurity

  4. An assembler written in R5RS Scheme for Intel Architecture

    A person called Jonathan Kraut wrote an #assembler called Sassy in #R5RS #Scheme, which is used as the native code generating phase for the Larceny scheme compiler.

    #tech #Software #SchemeLang #IA32 #FunctionalProgramming #Compiler

  5. As an author, you sometimes rework an explanation several times before it feels right. That happened to me with a section on how mathematical operators and functions are implemented in Java, which I needed for my current book on the Java Vector API. I have published the section here in case others find it useful: tutego.de/blog/javainsel/2026/
    #java #compiler #floatingpoint #technicalwriting

  6. Just stumbled upon [1] a thing called "assertion based slicing" which allows you to slice something like

    fn f(x, y) {
    x += 1
    y += 1
    x - y
    }

    into

    fn f(x, y) {
    x - y
    }

    by introducing pre & postconditions between statements and removing any statements where the relevant part of the postcondition is already in the precondition. Witchcraft.

    [1] doi.org/10.1145/3764581

    #compiler #PLdev

  7. Next.js 16.3 senkt Speicherverbrauch um bis zu 90 Prozent

    Deutlich geringerer Speicherverbrauch, schnellere Seitenwechsel, Rust-basierter React-Compiler: Next.js 16.3 bietet umfassende Performanceverbesserungen.

    heise.de/news/Next-js-16-3-sen

    #Compiler #IT #JavaScript #React #Rust #TypeScript #Webentwicklung #news

  8. #Compiler outputs are deterministic, whereas #LLM outputs are probabilistic.

    Right now #LLM is getting the same regurgitated data again & again. Soon #overfitting would make it deterministic.

  9. I've written a piece on #serene concurrency model and how I implemented it in the runtime library. Which, btw, you can use as a library in any program. You might find it useful:

    lxsameer.com/essays/concurrenc

    #concurrency #fibers #compiler #programming