fp.

HiRTOS: A high-integrity multi-core RTOS kernel written in SPARK Ada

https://github.com/jgrivera67/HiRTOS

1•jacques_chester•57s ago•0 comments

Multiplying our way out of division

https://xania.org/202512/07-division-again

1•ibobev•5m ago•0 comments

Show HN: I replaced my premium workout app with vibecode

https://strengthquest.lovable.app/

1•maddmann•5m ago•0 comments

NY judge orders ChatGPT conversation handover in newspaper copyright win

https://www.nydailynews.com/2025/12/03/ny-judge-orders-openai-to-hand-over-chatgpt-conversations-...

3•gnabgib•13m ago•0 comments

Oath of the Horatii

https://en.wikipedia.org/wiki/Oath_of_the_Horatii

1•andsoitis•15m ago•0 comments

AI chatbots can sway voters better than political advertisements

https://www.technologyreview.com/2025/12/04/1128824/ai-chatbots-can-sway-voters-better-than-polit...

1•gnabgib•17m ago•0 comments

Linux GPIB Drivers Declared Stable 53 Years After HP Introduced the Bus

https://www.phoronix.com/news/GPIB-De-Staged-Linux-6.19

2•LorenDB•18m ago•0 comments

Spinlocks vs. Mutexes: When to Spin and When to Sleep

https://howtech.substack.com/p/spinlocks-vs-mutexes-when-to-spin

7•birdculture•21m ago•0 comments

What Folk Can Do

https://folk.computer/guides/what-folk-can-do

2•luu•23m ago•1 comments

List of Common Misconceptions (Wikipedia)

https://en.wikipedia.org/wiki/List_of_common_misconceptions

3•greazy•25m ago•0 comments

Energy efficiency task scheduling algorithm for multi-core embedded platforms

https://www.sciencedirect.com/science/article/abs/pii/S0045790625008298

1•stevenjgarner•27m ago•1 comments

A Look into NASA's Coding Philosophy (2017)

https://observer.com/2017/07/a-look-into-nasa-coding-philosophy-kennedy-space-center-programming/

2•kristianp•29m ago•0 comments

Toyota Unintended Acceleration and the Big Bowl of "Spaghetti" Code(2013)

https://www.safetyresearch.net/toyota-unintended-acceleration-and-the-big-bowl-of-spaghetti-code/

2•SoKamil•29m ago•1 comments

The Ilya Sutskever interview – my key takeaways

https://quickchat.ai/post/ilya-sutskever-interview

1•piotrgrudzien•34m ago•0 comments

Show HN: Cdecl-dump - represent C declarations visually

https://github.com/bbu/cdecl-dump

1•bluetomcat•34m ago•0 comments

An Attempt at a Compelling Articulation of Forth's Practical Strengths and Eter

https://im-just-lee.ing/forth-why-cb234c03.txt

2•todsacerdoti•35m ago•0 comments

Algebraic Constraints [pdf]

http://reports-archive.adm.cs.cmu.edu/anon/scan/CMU-CS-83-132.pdf

1•andsoitis•36m ago•0 comments

A Grand Social Media Experiment Begins in Australia

https://www.nytimes.com/2025/12/07/world/asia/australia-social-media-ban-under-16.html

1•apparent•36m ago•1 comments

The era of jobs is ending

https://www.thepavement.xyz/p/the-era-of-jobs-is-ending

4•SturgeonsLaw•36m ago•3 comments

India's request for satellite-aided iPhone location data is a privacy nightmare

https://appleinsider.com/articles/25/12/06/indias-request-for-satellite-aided-iphone-location-dat...

3•walterbell•41m ago•0 comments

Network extensible Window System (1986)

https://en.wikipedia.org/wiki/NeWS

1•hbbio•42m ago•1 comments

Show HN : WealthYogi - Net worth Tracker

https://apps.apple.com/gb/app/wealthyogi-net-worth-tracker/id6753881658

2•aalbatross•46m ago•0 comments

Show HN: LLM-Powered Log Analysis Wrapper (Python)

https://github.com/IncidentAI-Dev/incident-summarizer-wrapper/blob/main/README.md

1•joe117•51m ago•1 comments

Does hockey tape hide fingerprints on weapons?

1•pointbob•56m ago•5 comments

Data Processing Inequalities and Function-Space Variational Inference (2023)

https://blog.blackhc.net/2023/08/sdpi_fsvi/

1•measurablefunc•57m ago•0 comments

Transformers Are Multi-State RNNs

https://huggingface.co/papers/2401.06104

1•tesserato•57m ago•0 comments

Analyze Your Domain Authority

https://domainrank.app

1•wantering•58m ago•0 comments

Array Signal Processing: Concepts and Techniques

https://archive.org/details/arraysignalproce0000john

1•teleforce•59m ago•0 comments

Indus script (Harappan script, Indus Valley script)

https://en.wikipedia.org/wiki/Indus_script

3•1659447091•59m ago•0 comments

When exercising copyrights puts a gamedev under threat: My take on GBCOMPO 25

https://allalonegamez.itch.io/zoryad/devlog/1135761/when-exercising-copyrights-puts-a-gamedev-und...

9•embedding-shape•1h ago•1 comments

HiRTOS: A high-integrity multi-core RTOS kernel written in SPARK Ada

Multiplying our way out of division

Show HN: I replaced my premium workout app with vibecode

NY judge orders ChatGPT conversation handover in newspaper copyright win

Oath of the Horatii

AI chatbots can sway voters better than political advertisements

Linux GPIB Drivers Declared Stable 53 Years After HP Introduced the Bus

Spinlocks vs. Mutexes: When to Spin and When to Sleep

What Folk Can Do

List of Common Misconceptions (Wikipedia)

Energy efficiency task scheduling algorithm for multi-core embedded platforms

A Look into NASA's Coding Philosophy (2017)

Toyota Unintended Acceleration and the Big Bowl of "Spaghetti" Code(2013)

The Ilya Sutskever interview – my key takeaways

Show HN: Cdecl-dump - represent C declarations visually

An Attempt at a Compelling Articulation of Forth's Practical Strengths and Eter

Algebraic Constraints [pdf]

A Grand Social Media Experiment Begins in Australia

The era of jobs is ending

India's request for satellite-aided iPhone location data is a privacy nightmare

Network extensible Window System (1986)

Show HN : WealthYogi - Net worth Tracker

Show HN: LLM-Powered Log Analysis Wrapper (Python)

Does hockey tape hide fingerprints on weapons?

Data Processing Inequalities and Function-Space Variational Inference (2023)

Transformers Are Multi-State RNNs

Analyze Your Domain Authority

Array Signal Processing: Concepts and Techniques

Indus script (Harappan script, Indus Valley script)

When exercising copyrights puts a gamedev under threat: My take on GBCOMPO 25

I Built a Production App with Claude Code

Comments

HiRTOS: A high-integrity multi-core RTOS kernel written in SPARK Ada

Multiplying our way out of division

Show HN: I replaced my premium workout app with vibecode

NY judge orders ChatGPT conversation handover in newspaper copyright win

Oath of the Horatii

AI chatbots can sway voters better than political advertisements

Linux GPIB Drivers Declared Stable 53 Years After HP Introduced the Bus

Spinlocks vs. Mutexes: When to Spin and When to Sleep

What Folk Can Do

List of Common Misconceptions (Wikipedia)

Energy efficiency task scheduling algorithm for multi-core embedded platforms

A Look into NASA's Coding Philosophy (2017)

Toyota Unintended Acceleration and the Big Bowl of "Spaghetti" Code(2013)

The Ilya Sutskever interview – my key takeaways

Show HN: Cdecl-dump - represent C declarations visually

An Attempt at a Compelling Articulation of Forth's Practical Strengths and Eter

Algebraic Constraints [pdf]

A Grand Social Media Experiment Begins in Australia

The era of jobs is ending

India's request for satellite-aided iPhone location data is a privacy nightmare

Network extensible Window System (1986)

Show HN : WealthYogi - Net worth Tracker

Show HN: LLM-Powered Log Analysis Wrapper (Python)

Does hockey tape hide fingerprints on weapons?

Data Processing Inequalities and Function-Space Variational Inference (2023)

Transformers Are Multi-State RNNs

Analyze Your Domain Authority

Array Signal Processing: Concepts and Techniques

Indus script (Harappan script, Indus Valley script)

When exercising copyrights puts a gamedev under threat: My take on GBCOMPO 25