drmajormccheese

5 ms·

1.
by drmajormccheese 1mo ago
There is a body of knowledge in unit testing, integration testing, static analysis, model checking, formal methods, fuzz testing, … (what other techniques for building assurance in our code have I forgotten). And LLMs can be put to use towa
2.
by drmajormccheese 2mo ago
And there’s the smoking gun.
3.
by drmajormccheese 4mo ago
I “vibe coded” an iOS app that lets you guess the next number from a curated list of OEIS sequences. The app is called Infinite Numbers. It’s free. No ads. No tracking.
4.
by drmajormccheese 4mo ago
What if you gave the AIs a subscription to Suno to generate the content for their shows.
5.
by drmajormccheese 4mo ago
There are techniques for improving our confidence in our software: unit testing, integration testing, fuzz testing, property-based testing, static analysis, model checking, theorem proving, formal methods, etc. The LLM is not only a tool fo
6.
by drmajormccheese 8mo ago
This is not a database of bunnies
7.
by drmajormccheese 9mo ago
2%. https://gs.statcounter.com/browser-market-share
8.
by drmajormccheese 1y ago
Yes
9.
by drmajormccheese 5y ago
Fortress didn’t have a total order of operators. Also IIRC operators could be tightly bound or loosely bound based on whitespace.
10.
by drmajormccheese 6y ago
https://mspiegel.github.io/canon
11.
by drmajormccheese 8y ago
Yeah. Recently (past half year) GitHub enabled a feature where duplicate comments are automatically edited to be hidden comments. I think it's a continuation of the GitHub feature that allows repository owners to hide a comment. Two ca
12.
Show HN: Always Be Closing – Pull Request Management Service(thoughtdealership.com)
16 points by drmajormccheese 8y ago|2 comments
13.
by drmajormccheese 11y ago
Type checked state is known as "typestate". A Google search will bring up the typestate paper.
14.
by drmajormccheese 15y ago
There have been some GPU implementations of the Barnes-Hut algorithm [O(nlogn) n-body problem].