sunday_serif

5 ms·

1.
by sunday_serif 3mo ago
For me, proof by contradiction only clicked (recently!) once I understood that logical consequence and unsatisfiability are equivalent. Once I understood that and reframed the contradiction as a statement about unsatisfiability… I could the
2.
by sunday_serif 7mo ago
I feel like the article “c is not a low level language” is worth linking here. Once you start to dig into how computer hardware really works, you start to realize that nothing is really O(1). If you’ve never looked into computer hardware, y
3.
Marble Blast(marbleblast.vaniverse.io)
151 points by sunday_serif 1y ago|35 comments
4.
by sunday_serif 2y ago
I use google search only for the most trivial searches now. Something where I know almost precisely what information I want. I use LLMs for most info now, any slightly ambiguous query really. Often times I use the LLM to figure out what sou
5.
by sunday_serif 2y ago
Completely agree! The hard parts seems to be figuring out (1) how to cut red tape for only certain projects and (2) figuring out what red tape to keep. Chesterton's fence and all that.
6.
by sunday_serif 2y ago
True enough, but having designed a “fantasy cpu” gives you a better frame of reference for understanding the more complex features of a cpu (privilege levels, memory segmentation, virtual addresses, cache hierarchy, etc.) I often feel like
7.
by sunday_serif 2y ago
Writing blog posts and being ok with them not being perfect. I often have an idea for a post that would be interesting, but then as a learn more about the topic in order to write, I start to realize how much I don’t know. At this point, the
8.
by sunday_serif 2y ago
I particularly like the mit 6.S081 operating systems course [1]. The course has you make useful extensions to a reimplementation of the XV6 kernel in RISC-V. This course really helped me start to understand how an OS works and what the hard
9.
by sunday_serif 2y ago
I’m working through this book now and really enjoying it! Each chapter of the book includes a test suite to run against the code you’ve written. In some ways, the tests in this book feel very similar to the labs in the book Computer Systems
10.
by sunday_serif 2y ago
My favorite part of this book is that guides you through writing two separate interpreters for the same language. I think it really allows you to grasp some of the more intricate and nuanced parts about building a programming language. You
11.
by sunday_serif 2y ago
Tell that to the lap swimmers.
12.
Ask HN: Resources for learning about file system implementations?
2 points by sunday_serif 2y ago|1 comments
13.
by sunday_serif 2y ago
I was so pleased when I finally discovered the QEMU Monitor. It is an excellent tool that covers a lot of the gaps in the QEMU documentation. Curious which devices are memory mapped to which regions on your virtual board and the docs aren’t
14.
Line Rider(linerider.com)
3 points by sunday_serif 2y ago|1 comments
15.
by sunday_serif 2y ago
A childhood favorite for many of us Gen-Z HN readers.
16.
by sunday_serif 2y ago
For me, this took me back to Marble Blast Gold. An early 2000s game with essentially the same concept. Great fun :-)
17.
by sunday_serif 2y ago
I love this! I think it also emphasizes the complexity and capability of software that underlies the systems most people think about. I think it is a common misconception that your OS is the "lowest level" of the software stack, b
18.
by sunday_serif 2y ago
I am always surprised when I find others don't just assume that undersea mining is more impactful. To me this fact feels like a given considering that is such a complex operation and the sea is such a delicate environment. Of course it
19.
by sunday_serif 3y ago
Once I started thinking of LLMs as a form of lossy compressed storage for their training information… I started having more reasonable expectations for these tools.
20.
by sunday_serif 3y ago
Fitness I think. The top tier of fitness across a number of activities has never been more competitive. I get the impression that in previous centuries (and maybe even previous decades) individuals who were particularly coordinated and fit
21.
by sunday_serif 3y ago
I am all for more open marketplaces for software, and I agree that Apple doesn’t seem to be respecting the intent of this legislation… But these complaints, from these specific companies, read a bit like: Apple’s walled garden is problemati
22.
by sunday_serif 3y ago
I try to be an optimist, but the constant stream of record breaking abnormal weather really steers me toward climate doomerism. Do others here feel similarly? Do you think these trends are reversible? Is technology the solution? Something e
23.
by sunday_serif 3y ago
Can’t recommend Ezra Klien’s episodes on Israel and Palestine enough. There is no specific episode that stands out more than the rest. But any of the content since 10/7 is really great. I find his coverage to be very nuanced and he’s b
24.
by sunday_serif 3y ago
Yes! Ben eater’s content accompanies nand to Tetris so well. I did the 6502 project in which you assemble a computer system on bread boards (wiring together the clock, cpu, ram, etc). It helped solidify many of the concepts from nand2tetris
25.
by sunday_serif 3y ago
I don’t have any numbers on hand, but I have to imagine this would also reduce a lot of waste. I didn’t realize until recently that almost all billboards are made of a thick plastic vinyl material. I recently saw one of these billboards fol
26.
by sunday_serif 3y ago
Not so long ago, I was traveling around Switzerland. During my time in the country, there was always something just a little off, and I couldn’t place what it was. Was it cleaner? Was the architecture just very modernist? Did it have someth
27.
by sunday_serif 3y ago
Happened at around unix time -15 trillion
28.
by sunday_serif 3y ago
Everything is political. Anything you do will be considered political to someone somewhere :shrug: Being on the platform is considered political to some and leaving the platform is considered political to others. All things considered, I th
29.
by sunday_serif 3y ago
Interesting read! Thanks for sharing. For others who are curious, the article says the global cooling effect is on the geological timescale (millions of years).
30.
by sunday_serif 3y ago
Over the holidays, my family and I were discussing something like this… one of my family members had an interesting hypothesis. He suggested dissatisfaction is probably at about the same level that it always has been, but people on average

More ›