progscrape: proofcraft.systems/news-2024

seL4 on AArch64 is now verified for functional correctness

11 months ago proofcraft.systems aarch64 formalmethods

PHP is now the best choice for web based software

2 days ago vincentschmalbach.com go php web

#1 open-source agent on SWE-Bench Verified by combining Claude 3.7 and O1

4 days ago augmentcode.com

.NET on Heroku Now Generally Available

3 days ago blog.heroku.com .net

Llama 4 Now Live on Groq

an hour ago groq.com

Nuclear Is Now 'Clean Energy' In Colorado

3 days ago cpr.org power

Nelm, a Helm 3 alternative, is generally available now

2 days ago github.com devops release

Why does every site's search now insist on giving me what I don't search for?

44 hours ago news.ycombinator.com

Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods

4 days ago queue.acm.org aws

New research now argues that ferrihydrite, a hydrous ferric oxyhydroxide, not hematite is responsible for Mars' red colour

2 days ago news.uark.edu astronomy

RIP Val Kilmer: Celebrating cult classic Real Genius is now a moral imperative

3 days ago arstechnica.com

Show HN: Qwen-2.5-32B is now the best open source OCR model

4 days ago github.com show

Linux ARM64 stable compiler is now PGO/BOLT optimized, and up to 30% faster

2 days ago reddit.com compiler linux rust

ALGOL-FOR-LINUX is Reimagining Memory Safety for Linux

4 days ago algol-for-linux.com linux retrocomputing satire

Looking for Feedback on our Rust Documentation for HPC Users

4 days ago docs.nersc.gov rust

Tesla is sitting on $200M worth of Cybertruck inventory

3 days ago electrek.co tesla

AI is the kill switch on the human imagination

5 hours ago gavinchalcraft.substack.com ai

Oracle buried serious data breach from customers, now hacker has it up for sale

4 days ago techspot.com

New study finds that over 95% of sponsored influencer posts on Twitter (now X) were not disclosed

43 hours ago informs.org economic twitter

rustc_codegen_jvm can now compile a simple rust program to Java bytecode - ready for running on the JVM! :) (reupload because the GIF got compressed too much)

2 days ago imgur.com bytecode gif java rust

Is Zig the right tool for the job?

4 days ago reddit.com zig

jj-fzf: Text UI for Jujutsu based on fzf

3 days ago github.com vcs

is it feasible to implement symlink, hard link, directory junction on STaaS?

15 hours ago reddit.com

Microsoft is testing ReFS for new Windows 11 installs

20 hours ago xda-developers.com microsoft windows

Interview Coder is an invisible AI for technical interviews

10 hours ago interviewcoder.co ai

Mac Numbers now supports LAMBDA functions and MAP

33 hours ago support.apple.com lambda mac

Voxxed Days Zürich 2025 recordings are now available!

37 hours ago techtalksweekly.io java

Trump administration exempts computer chips and copper from sweeping tariffs, but only for now — report says chip tariffs coming later

2 days ago tomshardware.com trump

Creating and sharing deepfakes through tools such as OpenAI is now a crime in New Jersey—punishable by up to 5 years in prison

2 days ago fortune.com deepfake openai

Show HN: GitMCP is an automatic MCP server for every GitHub repo

2 days ago gitmcp.io github show

What I would do if I was 18 now

3 days ago levels.io

>progscrape ▒

All the news that's fit to scrape