amenghra

6 ms·

91.
by amenghra 1y ago
https://graphite.dev/ provides a way to stack PRs, it's been discussed on HN in the past (e.g. https://news.ycombinator.com/item?id=30681308 ).
92.
by amenghra 1y ago
Starlink mini has a monthly cost, right? So it wouldn't be just ~250€ but more like 250€ + 50€/mo.
93.
by amenghra 1y ago
I remember "SSL and TLS: Designing and Building Secure Systems" by Eric Rescorla being really useful to understand the history behind TLS and how we got here. The book was written in 2001 and warned about some issues which turned
94.
by amenghra 1y ago
Sharing this video by Mark Rober related to their space selfie project which was posted 2 weeks ago. Briefly discussed here: https://news.ycombinator.com/item?id=44084892
95.
I Spent $5M So You Can Go to Space for Free [video](youtube.com)
2 points by amenghra 1y ago|1 comments
96.
by amenghra 1y ago
This link might interest you: https://cms.cern/interact-with-cms/on-site-visits If the timing works out for you, you'll be able to visit both, the visitor center and CMS!
97.
by amenghra 1y ago
Per https://cms.cern/interact-with-cms/on-site-visits , you can visit CMS if you book ~1 week out.
98.
by amenghra 1y ago
The presentations/videos talk extensively about CMS' detector (if I remember right). I'm not sure about visiting the control center, you would need to inquire if/when they do that.
99.
by amenghra 1y ago
If you want to visit Atlas (control room) or CERN’s first accelerator (a synchrocyclotron) just show up in the morning when the visitor center opens. The tour guides are often passionate scientists. The museum is worth visiting, you’ll get
100.
by amenghra 1y ago
Yes, how neighborhood-level connections are setup in Switzerland is changing next year. See eg https://www.swissolar.ch/fr/connaissances/nouvelle-loi-sur-l... (post written in French)
101.
by amenghra 1y ago
FYI: Neighborhood-level connections are changing starting next January (look up RCP and CEL).
102.
by amenghra 1y ago
Originally, more like 99.999995%
103.
by amenghra 1y ago
There is a great quora answer for this one: https://www.quora.com/How-do-you-find-the-positive-integer-s...
104.
by amenghra 1y ago
Various css files for retro-theming. Each of these have been discussed here previously. - Windows 98: https://github.com/jdan/98.css - Windows XP: https://github.com/botoxparty/XP.css - Nes: h
105.
by amenghra 1y ago
If it’s updated daily, maybe host it on GitHub pages (public repo) and have a job push an update on a daily basis? If you want to be more fancy, you could do private GitHub repo+ Cloudflare pages enabling you to prepare puzzles in advance.
106.
by amenghra 1y ago
"I think we can increase the TLC model checker throughput to 1 billion states per minute (1000x speedup) by writing a bytecode interpreter. C" I never used TLC with a large model, but I bet making the tool faster would make it mor
107.
by amenghra 1y ago
Couple dozen => it’s actually 50-ish, with a mix of private and government entities located all over the world. The fact that the Spanish mint can mint (pun!) certificates for any domain is unfortunate. Hopefully, any abuse would be noti
108.
by amenghra 1y ago
IMHO, if something isn’t part of the contract, it should be randomized. Eg if iteration order of maps isn’t guaranteed in your language, then your language should go out of its way to randomize it. Otherwise, you end up with brittle code: c
109.
by amenghra 2y ago
This is where an opinionated linter comes in handy. Ensures people gradually move to the “better” version while not breaking backwards compatibility. It does suck for beginners who end up having to know about all variations until their usag
110.
by amenghra 2y ago
The moon is huge compared to a single thing we can currently send there. Comparatively, we are “littering” our own atmosphere a ton more during liftoff.
111.
by amenghra 2y ago
For anyone interested, the wifi QR code format is described here: https://www.wi-fi.org/system/files/WPA3%20Specification%20v3... These QR codes usually work with your device's default camera app -- point at
112.
Functional Tests as a Tree of Continuations (2010)(evanmiller.org)
69 points by amenghra 2y ago|32 comments
113.
by amenghra 2y ago
In part 1, I build an emulator to run the code. In part 2 I verify that the punchcard data matches the source code I found online ( https://www.quaxio.com/kaleidoscope_part2/ ). I performed this "reading from the ta
114.
by amenghra 2y ago
If you are into punchcards, I wrote a multipart blog post about recovering and running some 40-years old code which was originally on punch tape. See https://www.quaxio.com/kaleidoscope_part1/
115.
by amenghra 2y ago
When you have double (or more) stars and gases involved, you can end up with a green-ish tint. Obviously, different people will describe the color in a different way due to everyone's own seeing conditions, instruments, and color sensi
116.
by amenghra 2y ago
Back in 2001, Robin Southgate's toaster ran Java ( https://www.oreilly.com/library/view/just-javatm-2/013148211... ) and could probably have been able to run doom, one frame per slice!
117.
by amenghra 2y ago
Some stars, eg Lambda B, do appear green when looking thru amateur telescopes.
118.
by amenghra 2y ago
I see the buggy text too (You caught 0 coins out of 0 in 0 seconds (+1 upgrade and choice). You missed 0 times .). Usually on the 2nd+ item selection screen.
119.
by amenghra 2y ago
This would require both grids to be exactly synchronized.
120.
by amenghra 2y ago
This is a fun read if you want to automate the RC car. It's from a couple years ago, there might be easier/better way to achieve similar results today: https://hackaday.com/2021/10/25/fast-indoor-rob

More ›