banger intro to @TigerBeetleDB from matklad. parametrized io for testing, logical time ticks for deterministic replay, all allocs at init, they got it all
1
6
71
6,323
just rawdog the spec like a real man
webassembly.github.io/spec/c…
2
18
806
next time he tweets about a topic that piques your interest, try doing a deep dive for an hour or two. you'll find that (often) these topics are not as scary as the jargon makes them look
1
15
456
a family has two children. you knock on their door and a boy opens it. you kidnap the boy and put him in your trunk
what's the probability both children are boys
7
13
766
given that he's developing a debugger (in the screenshot), the criticism is somewhat warranted
1
9
2,682
sorry guys i'm switching sides
毛泽东思想是马克思列宁主义在中国的运用和发展，是被实践证明了的关于中国革命的正确的理论原则和经验总结，是中国共产党集体智慧的结晶。
4
13
931
in high school, i read these cover to cover for a project, not realizing textbooks were just for reference (i had no friends)
1
11
779
> quicktime doesn't support .mkv
> finder hides /tmp
> preview can't open .epub
> safari decades behind
> spotlight ignores symlinks
> xcode-select exists
> window management is garbage
how do you use macos and not go insane
1
10
912
learning with llms is ideal, but for explaining code like here^ it's quicker to use the hover to skim the docs and have a keybind to open rustdoc to see full context
also consider using tools that are quicker to access than a browser (e.g. cursor, claude code, chatgpt desktop)
1
8
863
"worst version i've had" is semantically sparse imo, only you know what you've had. "i did not like it, other versions had XYZ" is more actionable
my mom goes further gets down to ingredients, though that's not for everyone lol
7
219
do you have an alternative for this workflow:
i run a tmux session per project, each with several panes. sometimes i'll ssh into my desktop to continue where i left off. i have a keybind to open a temporary session with btop to quickly check processes
3
7
1,256
As data bandwidth is our primary limitation as an optimistic rollup, we're constantly looking for ways to minimize bandwidth usage for higher throughput. 1/n
1
3
8
2,123
for anyone taking this seriously, here's what's being benchmarked
Over the past 8 days, I received over 100 PRs on the languages repo with additions and improvements.
- A bunch of languages were added
- Some implementations got tweaks to modify performance
- The run script now uses hyperfine for timing
Thanks to all the contributors.
1
9
612
> a case of a smart person who can rationalise themselves into any hole
many, many, many such cases
5
56
you threaten the boy. with tears streaming down his cheeks, he informs you his name is tim
what's the probability both children are boys
1
7
159
using google, you learn the prevalence of the name tim in the local population is 1/10
what's the probability both children are boys
2
7
163
content with this information, you return tim to his family. they call the police on you, but you're already far away, scheming your next math problem
2
7
247
refs
megaeth.com/research
eprint.iacr.org/2023/397.pdf
usenix.org/system/files/atc1…
vitalik.eth.limo/general/202…
vitalik.eth.limo/general/202…
docs.anza.xyz/consensus/turb…
paradigm.xyz/2024/04/reth-pe…
helius.dev/blog/consensus-on…
ethereum.org/en/developers/d…
rob.tech/blog/introducing-no…
1
8
443
tim, now softly crying for his mother, is visibly heterochromatic, a trait prevalent in 1% of the local population
what's the probability both children are boys
2
7
163
can you elaborate on what intermediate means here? intermediate sounds about right for 1-2 years of active study ime
7
9,917
compilers, high-level languages, package managers etc. have all 10x'd developer productivity. ai tools aren't any different. keep up.
2
1
7
430
tim pleads you not to hurt his younger brother, giving you new information
what's the probability both children are boys
1
7
111
it's pretty good
not as good as cursor at leveraging context, but makes interacting w claude super smooth
6
343
there's one at mcgill, went a few years ago was a blast
mcgill-physics-hackathon-202…
6
376
it's pretty clear we already have "some" agi. bottom quartile would struggle with many arc-agi puzzles and most folk would get smoked by frontiermath
the missing component is reliability. agents need more stable _worst case_ perf to replace a human in the loop
6
213
opsec and bugs, especially given llms have bad tail perf. but i noticed the server seems to be sandboxed and requires explicit whitelisting for directories, so not as bad as i'd assumed
2
5
242
"content" is just a type and there are functions that consume content to produce content, so you have natural composition of primitives like figure(grid(image(...), image(...))). overall syntax is nicer too and closer to org/markdown
2
4
325
there's a huge divide in software due to language. the chinese have been cooking and we occasionally get a glimpse when projects like tikv and paddleocr leak into the anglosphere
TIL Chinese has their own Nextjs/Remix called "Ice"
They even have a plugin to add a Vue-like directive syntax to React
And they have like 18k stars 😭😭
6
270
last time i tried zellij it immediately took up >200MiB of memory 🙃 maybe they've improved it i'll check
macos fullscreen adds too much latency for switching windows compared to tiling wms (tbh i'm probably just going back to asahi)
6
331
same, im convinced it's either premature opt or not knowing how to to tune the system. a hashmap also works fine lol
4
1,017
fun fact voting machine software in the us is not open source and tallys are transported on usb drives :D
1
4
309