niftycent.com
NiftyCent
FR
Connexion
Marketplace
Réductions

The Hoare Cube

Article URL: https://johnwickerson.wordpress.com/2024/12/04/the-hoare-cube/

Comments URL: https://news.ycombinator.com/item?id=42320180

Points: 25

# Comments: 2

https://johnwickerson.wordpress.com/2024/12/04/the-hoare-cube/

Établi 6mo | 4 déc. 2024, 20:20:08


Connectez-vous pour ajouter un commentaire

Autres messages de ce groupe

Andrew Ng says vibe coding is a bad name for a real and exhausting job
Andrew Ng says vibe coding is a bad name for a real and exhausting job

Article URL: https://www.businessinsider.com/andrew-ng-vibe-coding-unfortunate-term-exhaustin

13 juin 2025, 10:40:06 | Hacker news
'How come I can't breathe?': Musk's data company draws a backlash in Memphis
'How come I can't breathe?': Musk's data company draws a backlash in Memphis

Article URL: https://simonwillison.net/2025/Jun/12/xai-data-center/

Comments URL:

13 juin 2025, 10:40:05 | Hacker news
Show HN: GetHooky – a language-agnostic Git hook manager
Show HN: GetHooky – a language-agnostic Git hook manager

Article URL: https://ezpieco.github.io/GetHooky/

Comments URL: https://news.ycombin

13 juin 2025, 08:20:19 | Hacker news
Major sugar substitute found to impair brain blood vessel cell function
Major sugar substitute found to impair brain blood vessel cell function

Article URL: https://medicalxpress.com/news/2025-06-major-sugar-substitute-impair-brain.html

Co

13 juin 2025, 06:10:07 | Hacker news
Three Algorithms for YSH Syntax Highlighting
Three Algorithms for YSH Syntax Highlighting

Article URL: https://github.com/oils-for-unix/oils.vim/blob/main/doc/algorithms.md

Comments URL:

13 juin 2025, 06:10:06 | Hacker news
Zero shot forecasting: finding the right foundation model for O11Y forecasting
Zero shot forecasting: finding the right foundation model for O11Y forecasting

Article URL: https://www.parseable.com/blog/zero-shot-forecasting

Comments URL:

13 juin 2025, 06:10:06 | Hacker news
Show HN: I wrote a BitTorrent Client from scratch
Show HN: I wrote a BitTorrent Client from scratch

I picked up programming in late 2023 and been enjoying it now. Wanted to challenge myself and set a stretch goal, so set out to build a bittorrent client.

Comments URL:

13 juin 2025, 06:10:04 | Hacker news
Techie
Techie