Hacker News Reader

youtube.com2 ptsakiarie

0

Amdahl's Law for LLM generated code

6 ptsakiarie

4

"Subligence" – proposed coinage for LLM "intelligence"

4 ptsakiarie

6

Human Scale Software vs. Open Source

posixcafe.org3 ptsakiarie

1

Show HN: Hyloblog – minimal, Git-based SSG for writing (not theming)

hyloblog.com3 ptsakiarie

0

Xr0 Makes C Safer than Rust

xr0.dev49 ptsakiarie

41

Dennis Ritchie's criticisms of an early draft of C89

port70.net1 ptsakiarie

0

On the teaching of programming, i.e. on the teaching of thinking (EWD473)

raboof.github.io2 ptsakiarie

0

Show HN: Xr0 – Vanilla C Made Safe with Annotations

xr0.dev17 ptsakiarie

13

Ask HN: What buggy software is relied upon by the most people?

6 ptsakiarie

6

What I Learned Implementing Lex

0.rwstream.com3 ptsakiarie

2

Dijkstra: Two Views of Programming (EWD540)

raboof.github.io1 ptsakiarie

0

GPT-4 Khan Academy in Depth Demo

youtube.com1 ptsakiarie

0

Show HN: i2forge – A Platform for Verified Reasoning

i2forge.com35 ptsakiarie

13

Show HN: A Regex-to-Golang compiler based on Thompson's algorithm

github.com1 ptsakiarie

1

akiarie

Opinion: Agents > Unix Shell

EWD361: Programming as a discipline of mathematical nature [video]