de_aztec

4 ms·

1.
by de_aztec 2mo ago
So essentially: One cannot trust the code produced by an LLM, even if the code is a formal proof passing the verifier.
2.
Levels.fyi Atlas – Interactive Bay Area Map with Pay(levels.fyi)
6 points by de_aztec 3mo ago|0 comments
3.
Swift-OS – operating system written in Embedded Swift for aarch64(github.com)
1 points by de_aztec 4mo ago|0 comments
4.
PufferLib 4.0 Experiments(github.com)
1 points by de_aztec 6mo ago|0 comments
5.
Apple: Accelerate your machine learning workloads with the M5 and A19 GPUs(youtube.com)
3 points by de_aztec 7mo ago|0 comments
6.
Apple Developer Security Event(youtube.com)
3 points by de_aztec 7mo ago|0 comments
7.
Chris Lattner: Claude C Compiler(modular.com)
45 points by de_aztec 7mo ago|9 comments
8.
Apple security-focused developer event(twitter.com)
1 points by de_aztec 8mo ago|0 comments
9.
GeekBench Results for MacBook Pro M5(browser.geekbench.com)
2 points by de_aztec 1y ago|0 comments
10.
Embedded Swift Example Projects(github.com)
1 points by de_aztec 1y ago|0 comments
11.
Create Embedded Software with Swift(swift.org)
4 points by de_aztec 1y ago|0 comments
12.
Montelimar – Textify and Latexify every part of your screen(github.com)
3 points by de_aztec 1y ago|0 comments
13.
Fil-C: memory-safe version of C and C++(github.com)
1 points by de_aztec 2y ago|0 comments
14.
Eliminating Redundant Bound Checks(nicula.xyz)
1 points by de_aztec 2y ago|0 comments
15.
RISC-V Vector Programming in C with Intrinsics(fprox.substack.com)
5 points by de_aztec 2y ago|0 comments
16.
The Mystery of Mach-O Object Structure(alexdremov.me)
2 points by de_aztec 2y ago|0 comments
17.
Becoming competitive when joining a new company(ludwigabap.bearblog.dev)
1 points by de_aztec 2y ago|0 comments
18.
Electronics Club(electronicsclub.info)
3 points by de_aztec 2y ago|0 comments
19.
ARM Neon Assembly Visualizer(szeged.github.io)
3 points by de_aztec 2y ago|0 comments
20.
NandGame(nandgame.com)
4 points by de_aztec 2y ago|0 comments
21.
Doom running on Apple Lightning to HDMI dongle [video](youtube.com)
10 points by de_aztec 2y ago|4 comments
22.
ESP32 Marauder(tindie.com)
4 points by de_aztec 2y ago|0 comments
23.
Swift track at FOSDEM 2025(fosdem.org)
3 points by de_aztec 2y ago|0 comments
24.
by de_aztec 2y ago
from the article: > With this release, SwiftPM now has the opportunity to offer a unified build execution engine across all platforms. this is what the big deal is. it might not achieve much on its own immediately, but this is the key to
25.
by de_aztec 2y ago
Since it’s not clear from the title: embedded here does not mean sqlite-inside-your-app but small devices with microcontrollers
26.
by de_aztec 2y ago
Very interesting to see that Clang basically always produces very bad and unoptimized LLVM IR code and leaves it to LLVM to clean it all up. That said, it's not entirely true that Clang avoid doing any optimizations -- it does indeed p
27.
by de_aztec 2y ago
they even show this in the video, apparently it’s supposed to be straightforward
28.
WWDC24: Go small with Embedded Swift [video](youtube.com)
8 points by de_aztec 2y ago|0 comments