fp.

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

https://github.com/jgrivera67/HiRTOS

1•jacques_chester•3m ago•0 comments

Multiplying our way out of division

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

1•ibobev•7m ago•0 comments

Show HN: I replaced my premium workout app with vibecode

https://strengthquest.lovable.app/

2•maddmann•8m 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•16m ago•0 comments

Oath of the Horatii

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

1•andsoitis•18m 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•20m 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•21m 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•24m ago•0 comments

What Folk Can Do

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

2•luu•25m ago•1 comments

List of Common Misconceptions (Wikipedia)

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

3•greazy•27m ago•0 comments

Energy efficiency task scheduling algorithm for multi-core embedded platforms

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

1•stevenjgarner•30m 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•32m 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•32m ago•1 comments

The Ilya Sutskever interview – my key takeaways

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

1•piotrgrudzien•36m ago•0 comments

Show HN: Cdecl-dump - represent C declarations visually

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

1•bluetomcat•37m 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•37m ago•0 comments

Algebraic Constraints [pdf]

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

1•andsoitis•39m 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•39m ago•1 comments

The era of jobs is ending

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

4•SturgeonsLaw•39m 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•44m ago•0 comments

Network extensible Window System (1986)

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

1•hbbio•45m ago•1 comments

Show HN : WealthYogi - Net worth Tracker

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

2•aalbatross•49m 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•53m ago•1 comments

Does hockey tape hide fingerprints on weapons?

1•pointbob•59m ago•5 comments

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

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

1•measurablefunc•1h ago•0 comments

Transformers Are Multi-State RNNs

https://huggingface.co/papers/2401.06104

1•tesserato•1h ago•0 comments

Analyze Your Domain Authority

https://domainrank.app

1•wantering•1h ago•0 comments

Array Signal Processing: Concepts and Techniques

https://archive.org/details/arraysignalproce0000john

1•teleforce•1h ago•0 comments

Indus script (Harappan script, Indus Valley script)

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

3•1659447091•1h 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...

11•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

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

Hacker twins hired to work for gov again, now charged with deleting databases