akiarie
- Karma
- 0
- Created
- ()
- Submissions
- 0
-
This is just something I've been thinking about. My experience is that agents aren't useful if you view them as programmers, because you still have to audit all the code until we get to the point where you don't, which…
-
LLMs may theoretically be able to generate millions of correct lines of code. But for any important code the only way to know that it's correct is to hand-audit every line, which is harder than writing every line…
-
Call me a snowflake, but I propose that those of us who don't believe that AI is actually intelligence look for a term to refer to its "thinking" that isn't "intelligence", because this helps our weak minds keep things…
- Human Scale Software vs. Open Source (posixcafe.org)
-
Hi HN, We're working on Xr0 [0] and have been building a static-site generator that meets our tastes and needs. The basic emphasis is on simplicity and content rather than customisability and feature-richness. We are…
- Xr0 Makes C Safer than Rust (xr0.dev)
- Dennis Ritchie's criticisms of an early draft of C89 (port70.net)
- On the teaching of programming, i.e. on the teaching of thinking (EWD473) (raboof.github.io)
-
Xr0 is a new static analyser that aims to make it possible to write vanilla C and get the same safety guarantees that are available other higher-level languages. We've been working on Xr0 for the past couple of months…
-
Which software products/projects are relied upon by the most people and have serious defects that lead to regular failures?
- What I Learned Implementing Lex (0.rwstream.com)
- Dijkstra: Two Views of Programming (EWD540) (raboof.github.io)
- GPT-4 Khan Academy in Depth Demo (youtube.com)
- Show HN: i2forge – A Platform for Verified Reasoning (i2forge.com)
Hi! We're Amisi and Claude, builders of the i2 language and the i2forge platform. i2 is an (early draft of a) language designed to make formal verification easy for mathematicians. We are launching the language as an…