ghuntley

27 ms·

331.
by ghuntley 3y ago
See also https://daniel.haxx.se/blog/2023/10/11/how-i-made-a-heap-ove... and exploit at https://gist.github.com/xen0bit/0dccb11605abbeb6021963e2b1a8...
332.
How I Made a Heap Overflow in Curl(daniel.haxx.se)
338 points by ghuntley 3y ago|84 comments
333.
Curl 8.4.0(daniel.haxx.se)
7 points by ghuntley 3y ago|0 comments
334.
A Primer on Formal Verification and TLA+(jack-vanlightly.com)
4 points by ghuntley 3y ago|0 comments
335.
Security Tradeoffs: Privacy(textslashplain.com)
2 points by ghuntley 3y ago|0 comments
336.
Introducing Magic Studio: the power of AI, all in one place(canva.com)
3 points by ghuntley 3y ago|0 comments
337.
by ghuntley 3y ago
Thanks.
338.
by ghuntley 3y ago
Send through a pull request deleting the entire website if you so desire. Art. yesyaml.com is available for registration. Go make it.
339.
by ghuntley 3y ago
This must be fixed. Send through a pull-request please.
340.
by ghuntley 3y ago
Author of the website here. Send this in as a pull-request please.
341.
Type Theory: #33 Z3 and Lean, the Spiritual Journey(typetheoryforall.com)
3 points by ghuntley 3y ago|0 comments
342.
Codeanywhere Founders Take on GitHub Codespaces with Daytona(thenewstack.io)
13 points by ghuntley 3y ago|4 comments
343.
When URL parsers disagree (CVE-2023-38633)(canva.dev)
2 points by ghuntley 3y ago|0 comments
344.
AI knows what you did last summer(medium.com)
3 points by ghuntley 3y ago|0 comments
345.
HashiCorp’s New Licensing: a new benchmark for presenting license change(writing.kemitchell.com)
6 points by ghuntley 3y ago|0 comments
346.
How to Prevent GHC from Inferring Types with Undesirable Constraints(tweag.io)
2 points by ghuntley 3y ago|0 comments
347.
by ghuntley 3y ago
https://ghuntley.com/fracture goes into this.
348.
by ghuntley 3y ago
Because of https://ghuntley.com/fracture - same problem applies that only official builds can access marketplace etc. (I use code-server day to day but it’s a problem. No real solution. Suggest folks look at https:/&#
349.
Technology stack transitions are hard(exploring-better-ways.bellroy.com)
2 points by ghuntley 3y ago|0 comments
350.
by ghuntley 3y ago
I've been doing this for the last couple years down here in Australia. Wrote some words over at https://ghuntley.com/freecamping/ about where to find spots etc.
351.
aussie vanlife free camping: a guide to working remote and not paying rent(ghuntley.com)
2 points by ghuntley 3y ago|0 comments
352.
Making OCaml 5 Succeed for Developers and Organisations(tarides.com)
7 points by ghuntley 3y ago|0 comments
353.
Five breakthroughs on the path to System Initiative(systeminit.com)
5 points by ghuntley 3y ago|0 comments
354.
The Nix Flake Checker(determinate.systems)
2 points by ghuntley 3y ago|0 comments
355.
NixCon 2023 – Darmstadt, Germany(discourse.nixos.org)
1 points by ghuntley 3y ago|0 comments
356.
Mostly Automated Proof Repair for Verified Libraries [pdf](ilyasergey.net)
33 points by ghuntley 3y ago|6 comments
357.
NixOS S3 Update and Short Term Resolution via AWS Sponsorship(discourse.nixos.org)
2 points by ghuntley 3y ago|0 comments
358.
Extensible Records in OCaml Using Dmap(soap.coffee)
1 points by ghuntley 3y ago|0 comments
359.
Nix California Bay Area Meetup – June 23(discourse.nixos.org)
3 points by ghuntley 3y ago|0 comments
360.
by ghuntley 3y ago
1307 out of 1331 (98.20%) reproducible https://reproducible.nixos.org/nixos-iso-gnome-runtime/ see also https://reproducible.nixos.org/

More ›