frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Learning by Doing: An Introduction to Static Program Analysis

https://medium.com/@alexwang_thoughts/learning-by-doing-an-introduction-to-static-program-analysis-218bf06aa878
2•rand_num_gen•1h ago

Comments

rand_num_gen•1h ago
To put theory into practice, the professors have designed eight assignments for this course (based on Java). These assignments cover the core concepts of the course. More importantly, they have also set up an Online Judge where you can submit your code and get instant feedback (note: the OJ is currently open only to users with educational email addresses).

These assignments are exceptionally well-crafted, featuring a clever, progressive structure. The entire learning path is like a well-designed “skill tree”:

- The Constant Propagation algorithm you implement in Assignment 2 becomes the foundation for Dead Code Detection in Assignment 3.

- Assignment 4 builds on this, challenging you with the more complex Interprocedural Constant Propagation, where you begin to analyze real-world method calls.

- Next, Assignments 5 and 6 guide you through implementing two different precisions of Pointer Analysis — one of the core challenges in the field.

- Finally, in Assignment 7, you will use the algorithm from Assignment 6 to improve the precision of your earlier constant propagation analysis.

Nintendo of America boss Doug Bowser is retiring

https://www.theverge.com/news/786068/nintendo-of-america-president-doug-bowser-retirement
1•Weves•37s ago•0 comments

Call-recording app Neon goes dark after exposing users' numbers, call recordings

https://techcrunch.com/2025/09/25/viral-call-recording-app-neon-goes-dark-after-exposing-users-ph...
1•detaro•2m ago•0 comments

Vibes: A New Way to Discover and Create AI Videos

https://about.fb.com/news/2025/09/introducing-vibes-ai-videos/
1•tortilla•5m ago•0 comments

US judge approves $1.5B Anthropic copyright settlement with authors

https://www.reuters.com/sustainability/boards-policy-regulation/us-judge-approves-15-billion-anth...
2•mfiguiere•5m ago•0 comments

Google Mixboard

https://labs.google.com/mixboard/welcome
1•sebmellen•8m ago•0 comments

Show HN: Jamfound – Democratizing Music Collaboration Through Voting

https://jamfound.com/
1•Fra_MadChem•8m ago•0 comments

Meta in Talks with Google to Use Gemini to Improve Ad Targeting

https://finance.yahoo.com/news/meta-talks-google-ai-models-211818533.html
2•mfiguiere•13m ago•1 comments

Atomic Bomb Go Game

https://en.wikipedia.org/wiki/List_of_Go_games
1•alexmolas•14m ago•0 comments

Nvidia is letting anyone use its AI voice animation tech

https://www.theverge.com/news/785981/nvidia-audio2face-ai-voice-animation-open-source
1•ExMachina73•17m ago•0 comments

TinyWorlds: Reimplemented Genie 3 from Scratch

https://github.com/AlmondGod/tinyworlds
1•almondgodd•18m ago•0 comments

SSH Pilot: a connection manager with built-in terminal

https://flathub.org/en/apps/io.github.mfat.sshpilot
1•thunderbong•19m ago•0 comments

Extensive sequencing study finds few links between cancer and microbiome

https://medicalxpress.com/news/2025-09-extensive-sequencing-links-cancer-microbiome.html
1•PaulHoule•19m ago•0 comments

XYplorer 28.00 – first official 64-bit release, in twinBASIC instead of VB6

https://www.xyplorer.com/release_28.00.php
1•Lammy•19m ago•1 comments

GraphMend: Code Transformations for Fixing Graph Breaks in PyTorch 2

https://arxiv.org/abs/2509.16248
1•matt_d•21m ago•0 comments

RedoxFS is the default filesystem of Redox OS, inspired by ZFS

https://doc.redox-os.org/book/redoxfs.html
7•doener•21m ago•0 comments

Why the Double Dabble Algorithm Works

https://yons.ch/posts/why-the-double-dabble-algorithm-works/
1•andersource•22m ago•0 comments

Memory Beaches and How Consciousness Hacks Time Through Frame Density

https://zakelfassi.com/memory-beaches-consciousness-hacks-time-frame-density
2•zakelfassi•23m ago•1 comments

Sharp rise in memory and thinking problems among U.S. adults

https://medicalxpress.com/news/2025-09-sharp-memory-problems-adults.html
5•GeoAtreides•24m ago•0 comments

Attack Surface

https://en.wikipedia.org/wiki/Attack_surface
1•doener•25m ago•0 comments

A Substack alternative, EU based: steady.page

https://steady.page/en/cognitive-republic/posts
2•smomara•25m ago•0 comments

New Geo Database

https://github.com/meilisearch/cellulite
2•irevoire•27m ago•1 comments

Securing the infrastructure, straining the Canadian constitution bill C-8

https://ablawg.ca/2025/09/05/securing-the-infrastructure-straining-the-constitution-bill-c-8s-cyb...
2•nick__m•28m ago•1 comments

Open Source AI Hedge Fund: Live-Scraping Bloomberg Terminal Chat Messages

https://github.com/kumarabhirup/ai-hedge-fund
1•kumar_abhirup•28m ago•0 comments

Bentley set to follow Porsche in extending Ice Age, confirms CEO

https://www.autocar.co.uk/car-news/new-cars/bentley-set-follow-porsche-extending-ice-age-confirms...
1•randycupertino•30m ago•1 comments

The phaseout of the mmap() file operation in Linux

https://lwn.net/SubscriberLink/1038715/e4a2f8f50c244545/
2•chmaynard•31m ago•1 comments

Who Counts as Irish? [video]

https://www.youtube.com/watch?v=-n6VvpcdiC4
1•KittenInABox•31m ago•0 comments

Ruby deserves better leadership than DHH

https://victorwynne.com/dhh/
9•slippersod•34m ago•2 comments

Trump signs off on TikTok deal that puts US app's value at $14 billion

https://www.usatoday.com/story/news/politics/2025/09/25/donald-trump-tiktok-china-sale-united-sta...
2•neosat•36m ago•1 comments

Meta launches super PAC to fight AI regulation as state policies mount

https://techcrunch.com/2025/09/23/meta-launches-super-pac-to-fight-ai-regulation-as-state-policie...
1•gmays•41m ago•0 comments

Predicting and Preventing Alzheimer's Disease

https://erictopol.substack.com/p/predicting-and-preventing-alzheimers
1•brandonb•41m ago•0 comments