ghuntley

28 ms·

361.
by ghuntley 3y ago
i agree with some of your points but differ as follows: getting an entire team or project up and running in less than 5 mins with devenv is a fanstastic introduction for folks who do not have experience with nix. devenv solves the “onboardi
362.
by ghuntley 3y ago
easiest way to get up and running w/value in the nix ecosystem is https://devenv.sh and as time goes on use escape hatches to utilise more of nix ala https://nix.dev
363.
DevPod Provider for Hetzner(github.com)
4 points by ghuntley 3y ago|0 comments
364.
Extensible Metatheory Mechanization via Family Polymorphism(dl.acm.org)
1 points by ghuntley 3y ago|0 comments
365.
by ghuntley 3y ago
See https://ghuntley.com/death
366.
by ghuntley 3y ago
for devshells use https://devenv.sh
367.
by ghuntley 3y ago
I work from libraries all the time. Love them.
368.
Proving and Disproving Equivalence of Functional Programming Assignments(dl.acm.org)
3 points by ghuntley 3y ago|1 comments
369.
by ghuntley 3y ago
Visual Studio Code (and ecosystem) isn’t opensource and closed by design not because of copilot. It’s to enable a wider plan involving GitHub codespaces aka Visual Studio Online (do a nslookup of the cname on a codespaces workspace btw) -
370.
Building a platform that open sources itself(zed.dev)
5 points by ghuntley 3y ago|0 comments
371.
Covering All the Bases: Type-Based Verification of Test Input Generators(dl.acm.org)
2 points by ghuntley 3y ago|0 comments
372.
The Best Parts of Visual Studio Code Are Proprietary(underjord.io)
4 points by ghuntley 3y ago|1 comments
373.
Manage Certificates on NixOS Using Acme and Google Domains(sagikazarmark.hu)
3 points by ghuntley 3y ago|0 comments
374.
The Elasticsearch Rant(xeiaso.net)
8 points by ghuntley 3y ago|5 comments
375.
.NET C# Debugger will remain proprietary and closed source in new VSCode tooling(twitter.com)
1 points by ghuntley 3y ago|0 comments
376.
by ghuntley 3y ago
the cache also stores the source code used to create the build. there’s been numerous cases where upstream code has been deleted on GitHub or elsewhere then rescued from nixcache.
377.
Nix/NixOS S3 Update and Recap of Community Call(discourse.nixos.org)
107 points by ghuntley 3y ago|83 comments
378.
Melbourne and Sydney ‘ground zero’ of Australia’s rental crisis(macrobusiness.com.au)
1 points by ghuntley 3y ago|0 comments
379.
SPDX: Add Prosperity-3.0.0 Software License(github.com)
1 points by ghuntley 3y ago|0 comments
380.
Apple's game porting toolkit is fantastic. Cyberpunk 2077 at Ultra on an M1 MBP(twitter.com)
354 points by ghuntley 3y ago|368 comments
381.
NixOS 23.05 Released(discourse.nixos.org)
5 points by ghuntley 3y ago|0 comments
382.
by ghuntley 3y ago
opensource was created as a financial weapon against proprietary software (and businesses). whilst it is possible with opensource to make a company that generates revenue it is significantly harder. don’t. proceed with caution and consider
383.
The NixOS Foundation’s Call to Action: S3 Costs Require Community Support(discourse.nixos.org)
304 points by ghuntley 3y ago|310 comments
384.
Programming Requires Breadth of Knowledge(typeclasses.substack.com)
36 points by ghuntley 3y ago|3 comments
385.
by ghuntley 3y ago
comedy mine dodge coin option
386.
Journal of Functional Programming – Special Issue on Program Calculation(cambridge.org)
3 points by ghuntley 3y ago|0 comments
387.
ChatGPT's Brain: Large Language Models(serokell.io)
1 points by ghuntley 3y ago|0 comments
388.
by ghuntley 3y ago
correct. adding support for new language is a matter of opening up a pull-request with the appropriate gluecode. https://github.com/github/semantic/blob/793a876ae45d38a6bd17...
389.
by ghuntley 3y ago
ah, easy. it's because support has not been added into https://github.com/github/semantic which is the tech that powers the GitHub UI. Adding support is pretty easy/mainly glue code [1] that imports the tree
390.
Haskell Optimization Handbook(github.com)
61 points by ghuntley 3y ago|13 comments

More ›