yablak

9 ms·

61.
by yablak 1y ago
Which is weird because he used the formalism of principia to actually state the theorem, or at least part of it
62.
Show HN: IfThisThenThat Linter (IFTTT-Lint)(github.com)
2 points by yablak 1y ago|0 comments
63.
by yablak 1y ago
Get a good teacher. They make it fun, or interesting.
64.
by yablak 1y ago
That's the model speed :)
65.
by yablak 1y ago
Federal grants are relevant to the interests of many HNers. Why the attack? Chill.
66.
by yablak 2y ago
It already has a package manager. Emacs.
67.
by yablak 2y ago
Loads fine for me. Maybe because I'm logged in?
68.
by yablak 2y ago
But...but..but... J hole!
69.
by yablak 2y ago
How does this compare to https://github.com/svenkreiss/pysparkling ?
70.
by yablak 2y ago
-- "If you liked reading this post, please follow me on X and check out some of my other posts!" lol the irony
71.
by yablak 2y ago
I'm also interested in the answer to this question. Can one separate the cracking of the password and the key?
72.
by yablak 2y ago
Best way to use tensorflow is by writing models in Jax.
73.
China leads world in 57 of 64 critical technologies; up from 3 just 20 years ago(aspi.org.au)
29 points by yablak 2y ago|20 comments
74.
by yablak 2y ago
Sourcegraph search is amazing. I can point to any hash in our repo and search by regex/path regex. Results are instant and in json format. I hacked together a 'cs' script in bash using the sg cli client and some git calls, a
75.
by yablak 2y ago
I use Kagi also, but the reason that it's at least as good as Google is that they use the Google search API as a major source of search results.
76.
by yablak 2y ago
She
77.
by yablak 2y ago
I pay for Kagi.com
78.
by yablak 3y ago
Still amazed there's no "git cp". the workarounds involve rebases and aren't practical.
79.
Time, Structure and Fluctuations: Nobel Lecture, 8 December, 1977 [pdf](nobelprize.org)
3 points by yablak 3y ago|1 comments
80.
Katawa Shoujo: Re-Engineered. Fan-made modernization of the classic visual novel(fhs.sh)
3 points by yablak 3y ago|1 comments
81.
by yablak 3y ago
Katawa Shoujo (translated "Disability Girls") is a bishōjo-style visual novel by Four Leaf Studios that tells the story of a young man and five young women living with varying disabilities. The game uses a traditional text and spr
82.
by yablak 3y ago
"The Martyr" by Poul Anderson
83.
by yablak 3y ago
https://github.com/NightscoutFoundation/xDrip xDrip+ is an unofficial and independent Android app which works as data hub and processor between many different devices. It supports wireless connections to G4, G5, G6, G7
84.
by yablak 3y ago
Well, that scifi book aged poorly.
85.
by yablak 3y ago
Sadly afaict GitHub offers no viewer for MP4 content.
86.
Google's winning submission to IWLS2023 Programming Contest(raw.githubusercontent.com)
1 points by yablak 3y ago|3 comments
87.
by yablak 3y ago
Google's winning submission to IWLS2023 Programming Contest The goal of the contest was to synthesize AIGs[1] with the minimal number of two-input and-nodes (AIGs) and two-input xor-and-nodes (XAIGs), for a set of completely-specified
88.
Elon Musk Sues OpenAI and Sam Altman for Violating the Company's Principles(nytimes.com)
15 points by yablak 3y ago|3 comments
89.
Score by Neon Money Club: The dating app for people with good credit(joinneon.com)
1 points by yablak 3y ago|0 comments
90.
by yablak 3y ago
Call them Americans. As in "My fellow Americans.".

More ›