TE
TechEcho
Home
24h Top
Newest
Best
Ask
Show
Jobs
English
GitHub
Twitter
Back to Profile
Submissions by jjgreen
1
A tool to verify estimates, II: a flexible proof assistant
2 points
by
jjgreen
3 days ago
no comments
2
C++20 concepts for nicer compiler errors
4 points
by
jjgreen
9 days ago
1 comment
3
A proof of concept tool to verify estimates
85 points
by
jjgreen
11 days ago
23 comments
4
DARPA to 'radically' rev up mathematics research. And yes, with AI
7 points
by
jjgreen
16 days ago
no comments
5
Show HN: CI-Hush
1 points
by
jjgreen
about 1 month ago
no comments
6
The Natural System of Colours
2 points
by
jjgreen
about 2 months ago
no comments
7
Scientific Colour Maps
2 points
by
jjgreen
2 months ago
no comments
8
The View from My Office
4 points
by
jjgreen
2 months ago
no comments
9
A Tale of Two Cities
2 points
by
jjgreen
2 months ago
no comments
10
NCSC, GCHQ, UK Gov't expunge advice to “use Apple encryption”
376 points
by
jjgreen
2 months ago
245 comments
11
Begrudgingly Choosing CBOR over MessagePack
55 points
by
jjgreen
2 months ago
78 comments
← Previous
Next →