A Few Good Ideas in Programming Languages
23 by airhangerf15 | 1 comments on Hacker News.
Mama Erna
This is the news update.
Sabtu, 12 September 2026
Week 2 live: See the best from OU-Michigan and more
Week 2 is bookended by two great helmet games: Ohio State-Texas and Oklahoma-Michigan. Here's the best of the day.
from www.espn.com - TOP https://ift.tt/oKEajZt
from www.espn.com - TOP https://ift.tt/oKEajZt
In-form Hull show why Chelsea fans are in for a rough ride this season
Chelsea have a star-studded attack which has saved them many times already this season, but their defense was exposed again vs. an impressive Hull City.
from www.espn.com - TOP https://ift.tt/Ch7gDeV
from www.espn.com - TOP https://ift.tt/Ch7gDeV
Jumat, 11 September 2026
Source: Cardinals' Love expected to play Sunday
Cardinals rookie running back, after battling a high ankle sprain since mid-August, is expected to play Sunday against the Chargers, a source told ESPN.
from www.espn.com - TOP https://ift.tt/38cR61P
from www.espn.com - TOP https://ift.tt/38cR61P
Jags' Hunter to play both ways, but plan is fluid
Travis Hunter will play both ways for the Jaguars, but how much is still fluid.
from www.espn.com - TOP https://ift.tt/m2AY4EH
from www.espn.com - TOP https://ift.tt/m2AY4EH
Kamis, 10 September 2026
New top story on Hacker News: Show HN: DOOM in the kernel, or fibers in eBPF
Show HN: DOOM in the kernel, or fibers in eBPF
6 by ayles | 2 comments on Hacker News.
Some time ago my coworker who was working on first version of Perforator ( https://ift.tt/B7Q8I5J ) kept talking about eBPF, so I got curious about its ISA and restrictions. That was around the time I read about DOOM on pregnancy test, so I thought: "what if someone run DOOM inside of Linux kernel in eBPF? Surely, with some restrictions, this should still be possible?" I started to play around with it somewhere in 2024 - first stripping DOOM to bare minimum that is needed for showcase, simplifying code and trying to pass first restrictions that I encountered - function limit, recursion, memory access and checks. I tried to do this by hand, but it was, well, tedious labor. So I changed direction and instead started to do some of the things with LLVM-passes - rewriting memory access, simplifying and rewriting loops etc. But there were just so many corners. And given absence of time and all, I forgot about this project. But couple months ago I thought: "LLMs are quite good nowadays, so why not try again this time with more hands". I tried different approaches on how memory access could be "virtualized", how loops can be made bounded, and in general - how to run unbounded logic on such a machine. When I got DOOM running, I got carried away. Approach was so "generic", so it would be a crime not to try to run more things. And now we have it - lua running on xdp hot path, llama2 working with softfloats, and even cpython, that did not fit initially into 1M verifier budget, is running there now thanks to freplace. There is ton of work to do in order to make programs run faster, to make integration easier, but working examples are already there.
6 by ayles | 2 comments on Hacker News.
Some time ago my coworker who was working on first version of Perforator ( https://ift.tt/B7Q8I5J ) kept talking about eBPF, so I got curious about its ISA and restrictions. That was around the time I read about DOOM on pregnancy test, so I thought: "what if someone run DOOM inside of Linux kernel in eBPF? Surely, with some restrictions, this should still be possible?" I started to play around with it somewhere in 2024 - first stripping DOOM to bare minimum that is needed for showcase, simplifying code and trying to pass first restrictions that I encountered - function limit, recursion, memory access and checks. I tried to do this by hand, but it was, well, tedious labor. So I changed direction and instead started to do some of the things with LLVM-passes - rewriting memory access, simplifying and rewriting loops etc. But there were just so many corners. And given absence of time and all, I forgot about this project. But couple months ago I thought: "LLMs are quite good nowadays, so why not try again this time with more hands". I tried different approaches on how memory access could be "virtualized", how loops can be made bounded, and in general - how to run unbounded logic on such a machine. When I got DOOM running, I got carried away. Approach was so "generic", so it would be a crime not to try to run more things. And now we have it - lua running on xdp hot path, llama2 working with softfloats, and even cpython, that did not fit initially into 1M verifier budget, is running there now thanks to freplace. There is ton of work to do in order to make programs run faster, to make integration easier, but working examples are already there.
Langganan:
Postingan (Atom)