Boggle Nogs
181
183
184
185
187
Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods (acm.org)
173 points 54 comments
173 points 54 comments
188
189
190
191
192
Certification Authority/Browser Forum adopts new security standards (googleblog.com)
60 points 24 comments
60 points 24 comments
193
194
Show HN: Slipstream – A Python library for stateful stream processing (slipstream.readthedocs.io)
30 points 6 comments
30 points 6 comments
195
196
Show HN: Zig Topological Sort Library for Parallel Processing (github.com/williamw520)
113 points 47 comments
113 points 47 comments
197
198
199
200
201
202
Apple's Cubify Anything: Scaling Indoor 3D Object Detection (github.com/apple)
187 points 27 comments
187 points 27 comments
204
205
206
Show HN: A Chrome extension to give you back control over short-form videos (chromewebstore.google.com)
127 points 56 comments
127 points 56 comments
207
Are people bad at their jobs or are the jobs just bad? (annehelen.substack.com)
283 points 302 comments
283 points 302 comments
208
How different languages and frameworks handle structured concurrency (github.com/jamesward)
3 points discuss
3 points discuss
209
210