Twilight Dragon Services Writing safe Verilog Troll? That's how people write Verilog 1 . At my old company, we had a team of formal methods PhD's who wrote a linter that typechecked our code, based on our naming convention. For our chip (which wa... 2 jan 2025
Twilight Dragon Services Verilog is weird Verilog is the most commonly used language for hardware design in America (VHDL is more common in Europe). Too bad it's so baroque. If you ever browse the Verilog questions on Stack Overflow , you'll ... 2 jan 2025
Twilight Dragon Services About danluu.com About The Blog This started out as a way to jot down thoughts on areas that seem interesting but underappreciated. Since then, this site has grown to the point where it gets millions of hits a month a... 2 jan 2025
Twilight Dragon Services Latency mitigation strategies (by John Carmack) this is an archive of an old article by John Carmack which seems to have disappeared off of the internet Abstract Virtual reality (VR) is one of the most demanding human-in-the-loop applications from ... 2 jan 2025
Twilight Dragon Services Kara Swisher interview of Jack Dorsey This is a transcript of the Kara Swisher / Jack Dorsey interview from 2/12/2019, made by parsing the original Tweets because I wanted to be able to read this linearly. There's a "moment" that tries to... 2 jan 2025
Twilight Dragon Services Jonathan Shapiro's Retrospective Thoughts on BitC This is an archive of the Jonathan Shapiro's "Retrospective Thoughts on BitC" that seems to have disappeared from the internet; at the time, BitC was aimed at the same niche as Rust Jonathan S. Shapir... 2 jan 2025
Twilight Dragon Services Are closed social networks inevitable? This is an archive of an old Google Buzz conversation (circa 2010?) on a variety of topics, including whether or not it's inevetible that a closed platform will dominate social. Piaw : Social networks... 2 jan 2025
Twilight Dragon Services How does Boston compare to SV and what do MIT and Stanford have to do with it? This is an archive of an old Google Buzz conversation on MIT vs. Stanford and Silicon Valley vs. Boston There's no reason why the Boston area shouldn't be as much a hotbed of startups as Silicon Valle... 2 jan 2025
Twilight Dragon Services Work-life balance at Bioware This is an archive of some posts in a forum thread titled "Beware of Bioware" in a now defunct forum, with comments from that forum as well as blog comments from a now defunct blog that archived that ... 2 jan 2025
Twilight Dragon Services History of Symbolics lisp machines This is an archive of Dan Weinreb's comments on Symbolics and Lisp machines. Rebuttal to Stallman’s Story About The Formation of Symbolics and LMI Richard Stallman has been telling a story about the o... 2 jan 2025
Twilight Dragon Services Subspace / Continuum History Archived from an unknown source. Possibly Gravitron? In regards for history: Chapter #1 (Around) December 1995 is when it all started. Rod Humble wished to create something like Air Warrior but online... 2 jan 2025
Twilight Dragon Services Bootstrap 5.3.3 Bootstrap v5.3.3 is here with bug fixes, documentation improvements, and more follow-up enhancements for color modes. Keep reading for the highlights! Highlights Fixed a breaking change introduced wit... 2 jan 2025