Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour
|
|
0
|
23
|
19 April 2024
|
Gecko Robotics built a $600M company from a college project
|
|
1
|
69
|
18 April 2024
|
The biggest source of waste is untapped skilled pragmatists
|
|
0
|
62
|
17 April 2024
|
Embeddings are a good starting point for the AI curious app developer
|
|
0
|
67
|
17 April 2024
|
Reddit is taking over Google
|
|
0
|
65
|
17 April 2024
|
Collapse of self-trained language models
|
|
0
|
54
|
17 April 2024
|
The "Reitoff principle": Why you should add "nothing" to your work-life schedule
|
|
15
|
501
|
17 April 2024
|
Raytracing on Meteor Lake's iGPU
|
|
0
|
52
|
17 April 2024
|
Learn OAuth by building a client with Node.js
|
|
0
|
63
|
17 April 2024
|
What makes concurrency so hard?
|
|
0
|
61
|
17 April 2024
|
Amazon is filled with garbage e-books, this is how they get made
|
|
0
|
52
|
17 April 2024
|
MKBHDs for Everything
|
|
0
|
58
|
17 April 2024
|
The Arc Product-Market Fit Framework
|
|
0
|
76
|
15 April 2024
|
Redis Re-Implemented with SQLite
|
|
0
|
69
|
15 April 2024
|
The Kate Editor on the different supported operating systems
|
|
0
|
65
|
15 April 2024
|
Turning off electrical grids to prevent wildfire− a complex, technical operation
|
|
0
|
63
|
15 April 2024
|
Personal VPN Services are Snake-Oil
|
|
0
|
54
|
15 April 2024
|
AI Made These Movies Sharper. Critics Say It Ruined Them
|
|
0
|
95
|
15 April 2024
|
Godot for AA/AAA game development – What's missing?
|
|
4
|
470
|
14 April 2024
|
Algae that can fix nitrogen – thanks to a tiny cell structure
|
|
0
|
68
|
14 April 2024
|
Metaprogramming in Ruby: It's All About the Self (2009)
|
|
0
|
115
|
13 April 2024
|
DIY Wi-Fi thermostat from scratch with ESPHome and Home Assistant
|
|
0
|
67
|
13 April 2024
|
Your LLM Is a Capable Regressor When Given In-Context Examples
|
|
0
|
56
|
13 April 2024
|
Dependencies and resilience
|
|
0
|
91
|
12 April 2024
|
Is It Dry Yet?
|
|
0
|
58
|
12 April 2024
|
Why I recommend Renovate over any other dependency update tools
|
|
0
|
52
|
12 April 2024
|
Mental Health in Software Engineering
|
|
1
|
112
|
12 April 2024
|
Ask HN: Where are all the touch-based art forms?
|
|
0
|
53
|
12 April 2024
|
I discovered a critical exploit in ZeroMQ with mostly pure luck
|
|
0
|
67
|
12 April 2024
|
Textual Healing: iOS Text Editing Minutiae
|
|
0
|
51
|
12 April 2024
|