frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Coccinelle for Rust progress report

https://www.collabora.com/news-and-blog/blog/2025/06/25/coccinelle-for-rust-progress-report/
37•mfilion•1d ago

Comments

keybored•1d ago
Can you use Cocci for Java today without hassle?
tonfa•1d ago
I wonder how coccinelle compares with something based on clang transformer (something like https://research.google/pubs/large-scale-automated-refactori...)
4b11b4•18h ago
Unrelated, but collabora's work with GStreamer... it reads very well. People are using this when they need an upgrade of their prototype in Roboflow?
Yoric•17h ago
Ooooohhh coccinelle for Rust?

Extremely exciting! As someone who values understanding my code, I'd use it over LLM-based refactoring any day of the week (although I might use a LLM to produce coccinelle patches).

Stop ICE Raids Alert Network lets you send and receive alerts of nearby raids

https://stopice.net/
1•rcy•38s ago•0 comments

Intel details 18A process technology

https://www.tomshardware.com/tech-industry/semiconductors/intel-details-18a-process-technology-boosts-performance-by-25-percent-or-lowers-power-consumption-by-36-percent
1•kristianp•8m ago•0 comments

GitHub Models now supports moving beyond free limits

https://github.blog/changelog/2025-06-24-github-models-now-supports-moving-beyond-free-limits/
1•nonfamous•12m ago•0 comments

Hailey gets LLM code review

https://social.hails.org/@hailey/114752144098708214
1•jordigh•13m ago•0 comments

Show HN: I built a daily sunlight tracker

https://www.lumehealth.io/products
1•vickipow•13m ago•0 comments

VeilNet Built on Pion WebRTC, Replacement for Tor and Tailscale

https://www.veilnet.org/
3•ulfaric•15m ago•2 comments

The massed-spaced learning effect in non-neural human cells

https://www.nature.com/articles/s41467-024-53922-x
1•galaxyLogic•17m ago•0 comments

Check out Wonder Machine, solve your wildest thoughts, powered by xAI

https://ohara.ai/mini-apps/d6c57cc1-5e3c-48e0-bd0c-f63bc2d58eae
1•ppet•19m ago•1 comments

BBC to start charging US-based consumers for news and TV coverage

https://www.theguardian.com/media/2025/jun/26/bbc-usa-paid-subscription-news
4•LeoPanthera•19m ago•0 comments

Bumble's AI icebreakers are mainly breaking EU law

https://noyb.eu/en/bumbles-ai-icebreakers-are-mainly-breaking-eu-law
1•WhyNotHugo•22m ago•0 comments

My Dotfiles with Chezmoi

https://github.com/neiesc/dotfiles
2•neiesc•22m ago•1 comments

Data Science Weekly – Issue 605

https://datascienceweekly.substack.com/p/data-science-weekly-issue-605
1•sebg•23m ago•0 comments

BinDSA: Efficient, Precise Binary-Level Pointer Analysis

https://dl.acm.org/doi/10.1145/3728928
1•matt_d•23m ago•0 comments

Criminal who helped inspire 'Stockholm syndrome' theory dies

https://www.bbc.com/news/articles/cp3ly0e0wvpo
2•FridayoLeary•24m ago•0 comments

Bridging the Gaps Between GNNs and Data-Flow Analysis: The Closer, the Better

https://dl.acm.org/doi/10.1145/3728906
1•matt_d•24m ago•0 comments

Print-Ready Name Badge Inserts in 60s

https://badgesheet.vercel.app
1•daddypog•24m ago•0 comments

Show HN: Using Claude Code SDK to to implement an agentic CV parser

https://github.com/semicolonio/claude-code-cv-parser
1•nasir•26m ago•0 comments

O3-Deep-Research

https://platform.openai.com/docs/models/o3-deep-research
1•serjester•29m ago•0 comments

Show HN: TypeQuicker – Type natural text that targets your weak points

https://www.typequicker.com
3•absoluteunit1•30m ago•1 comments

The Deceptive Promise of AI

https://eric.mann.blog/the-deceptive-promise-of-ai/
1•eamann•31m ago•0 comments

Lake Tahoe Boat Tragedy Claims Longtime Apple Employee Paula Bozinovich

https://daringfireball.net/linked/2025/06/25/lake-tahoe-boat-tragedy-claims-longtime-apple-employee-paula-bozinovich
2•ksec•33m ago•0 comments

Show HN: Tavkhid Method – persistent memory in DeepSeek-R1 beyond 128K tokens

https://medium.com/@tauhidnataevofficial
1•Tavkhid•35m ago•0 comments

The Low-Altitude Economy Is About War

https://entropicthoughts.com/low-altitude-economy-is-about-war
1•zaik•36m ago•0 comments

DHH Presents Omarchy: Arch and Hyprland Linux Build

https://twitter.com/dhh/status/1938369883617861849
3•brightball•36m ago•1 comments

Save your disk, write files directly into RAM with /dev/shm

https://hiandrewquinn.github.io/til-site/posts/save-your-disk-write-files-directly-into-ram-with-dev-shm/
11•hiAndrewQuinn•37m ago•2 comments

Thomas Aquinas – The world is divine

https://ralphammer.com/thomas-aquinas-the-world-is-divine/
3•pedroth•42m ago•0 comments

Tracking Deportation Agents Across America

https://icelist.info/
2•doener•43m ago•0 comments

Show HN: Functioneer – Do eng/sci analysis in <5 lines of code

https://github.com/qthedoc/functioneer
1•qthedoc•46m ago•0 comments

DLLM-Cache: Accelerating Diffusion Large Language Models with Adaptive Caching

https://arxiv.org/abs/2506.06295
1•PaulHoule•51m ago•0 comments

Mastra Cloud

https://mastra.ai/cloud
2•AnhTho_FR•52m ago•0 comments