gjvc

15,201 karmajoined March 2, 2010On HN

Yeah? Well, y'know, that's just like, ah, your "opinion" man...

Recent submissions

5BSD – Private Compute with Verifiable Integrity 5bsd.org
1gjvc15ddiscuss
Floci – Local Cloud Emulators floci.io
2gjvc15ddiscuss
Self – The Structured Executable and Linkable Format github.com/fzakaria
2gjvc18ddiscuss
TMOG – task manager for macOS, Windows, and Linux tmog.org
3gjvc19ddiscuss
Tidal Cycles – Live coding music with Algorithmic patterns tidalcycles.org
81gjvc22d16 comments
The yk meta-tracing system github.com/ykjit
2gjvc28d1 comment
kkrepo – an open-source artifact repository github.com/klboke
2gjvc1modiscuss
Live: NHK WORLD-Japan News (since Mar 10, 2022) [video]youtube.com
2gjvc1mo1 comment
cpp-tui – A lightweight, single-header C++ TUI (Text User Interface) library github.com/jonoton
5gjvc1modiscuss
Off-the-Record Messaging Protocol en.wikipedia.org
4gjvc1modiscuss
Lean – a proof assistant and a functional programming language lean-lang.org
2gjvc1modiscuss
Fast DDS – C++ implementation of DDS standard of the OMG github.com/eProsima
1gjvc1mo1 comment
peg-express is a parser generator for TypeScript github.com/katsumiok
1gjvc1modiscuss

All submissions and comments on Hacker News.