Hacker News: de_aztec

New comment by de_aztec in "Postmortem for Kernel Soundness Bug #14576"

de_aztec — Sat, 01 Aug 2026 19:11:41 +0000

So essentially: One cannot trust the code produced by an LLM, even if the code is a formal proof passing the verifier.

Levels.fyi Atlas – Interactive Bay Area Map with Pay

de_aztec — Mon, 22 Jun 2026 21:42:29 +0000

Article URL: https://www.levels.fyi/atlas

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

Points: 6

# Comments: 0

Swift-OS – operating system written in Embedded Swift for aarch64

de_aztec — Tue, 16 Jun 2026 21:38:13 +0000

Article URL: https://github.com/asaptf/swift-os/tree/main

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

Points: 1

# Comments: 0

PufferLib 4.0 Experiments

de_aztec — Tue, 07 Apr 2026 09:32:38 +0000

Article URL: https://github.com/PufferAI/PufferLib/releases

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

Points: 1

# Comments: 0

Apple: Accelerate your machine learning workloads with the M5 and A19 GPUs

de_aztec — Sat, 21 Mar 2026 10:29:19 +0000

Article URL: https://www.youtube.com/watch?v=wgJX1HndGl0

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

Points: 3

# Comments: 0

Apple Developer Security Event

de_aztec — Thu, 05 Mar 2026 18:19:09 +0000

Article URL: https://www.youtube.com/watch?v=UZeSyodAszc

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

Points: 3

# Comments: 0

Chris Lattner: Claude C Compiler

de_aztec — Sat, 21 Feb 2026 13:05:42 +0000

Article URL: https://www.modular.com/blog/the-claude-c-compiler-what-it-reveals-about-the-future-of-software

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

Points: 45

# Comments: 9

Apple security-focused developer event

de_aztec — Thu, 12 Feb 2026 18:51:21 +0000

Article URL: https://twitter.com/radian/status/2014381898760651046

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

Points: 1

# Comments: 0

GeekBench Results for MacBook Pro M5

de_aztec — Sat, 18 Oct 2025 03:41:15 +0000

Article URL: https://browser.geekbench.com/v6/cpu/14508852

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

Points: 2

# Comments: 0

Embedded Swift Example Projects

de_aztec — Tue, 05 Aug 2025 15:12:57 +0000

Article URL: https://github.com/swiftlang/swift-embedded-examples

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

Points: 1

# Comments: 0

Create Embedded Software with Swift

de_aztec — Wed, 04 Jun 2025 20:01:18 +0000

Article URL: https://www.swift.org/get-started/embedded/

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

Points: 4

# Comments: 0

Montelimar – Textify and Latexify every part of your screen

de_aztec — Sat, 24 May 2025 19:22:22 +0000

Article URL: https://github.com/julien-blanchon/Montelimar

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

Points: 3

# Comments: 0

Fil-C: memory-safe version of C and C++

de_aztec — Tue, 18 Feb 2025 15:01:40 +0000

Article URL: https://github.com/pizlonator/llvm-project-deluge

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

Points: 1

# Comments: 0

Eliminating Redundant Bound Checks

de_aztec — Tue, 18 Feb 2025 14:58:17 +0000

Article URL: https://nicula.xyz/2025/02/12/eliminating-bound-checking.html

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

Points: 1

# Comments: 0

RISC-V Vector Programming in C with Intrinsics

de_aztec — Sun, 16 Feb 2025 16:32:07 +0000

Article URL: https://fprox.substack.com/p/risc-v-vector-programming-in-c-with

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

Points: 5

# Comments: 0

The Mystery of Mach-O Object Structure

de_aztec — Sun, 16 Feb 2025 16:31:40 +0000

Article URL: https://alexdremov.me/mystery-of-mach-o-object-file-builders/

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

Points: 2

# Comments: 0

Becoming competitive when joining a new company

de_aztec — Sun, 16 Feb 2025 15:32:03 +0000

Article URL: https://ludwigabap.bearblog.dev/on-becoming-competitive-when-joining-a-new-company/

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

Points: 1

# Comments: 0

Electronics Club

de_aztec — Thu, 06 Feb 2025 15:33:03 +0000

Article URL: https://electronicsclub.info/

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

Points: 3

# Comments: 0

ARM Neon Assembly Visualizer

de_aztec — Thu, 06 Feb 2025 05:17:12 +0000

Article URL: https://szeged.github.io/nevada/

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

Points: 3

# Comments: 0

NandGame

de_aztec — Thu, 06 Feb 2025 05:16:31 +0000

Article URL: https://nandgame.com

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

Points: 4

# Comments: 0