daniel_rh

5 ms·

1.
by daniel_rh 3y ago
I've been looking for a really engaging solid intro to number theory course on youtube, including rings, Abelian groups, etc for early teens. Does anyone have a recommendation here?
2.
by daniel_rh 3y ago
Or go for one of these gamified math tutorials. For instance: this one teaches geometric proofs without mentioning the formalism, just letting you "unlock" the tools from a few "axiom" starter tools. https://w
3.
by daniel_rh 4y ago
This is similar to the solution we used in Vega Strike https://www.vega-strike.org/ detailed here https://graphics.stanford.edu/~danielh//classes/VegaStrikeBl...
4.
by daniel_rh 4y ago
This article mentions the woes of circular imports. I thought MyPy let you work around that by doing if False: around your imports eg a.py: import c if False: import b class X: def x(self): #type: () -> b.Y
5.
by daniel_rh 4y ago
I think the newer version of this is https://github.com/bazelbuild/rules_rust which lets you either vendor the dependencies or pull them from your Cargo.toml directly every time. Per the article: bazel + rules_rust sho
6.
by daniel_rh 5y ago
Does anyone have experience with eBPF on aarch64? How well is it supported? On what kernel revisions was it phased in and well tested there?
7.
by daniel_rh 5y ago
I was just experimenting with eBPF and ran into a limitation: Is there a way to load the source IP into a register when working in userspace? When I SO_ATTACH_BPF to a SOCK_DGRAM it only makes the udp header accessible, per https:/&#x
8.
by daniel_rh 5y ago
Highly recommend http://privateer.sourceforge.net/ Gemini gold
9.
by daniel_rh 5y ago
Hi! Just noticed this post :-) I started the game in the late 90’s and open sourced it in 2001 The previous versions were win Mac Linux but the current dev team has been focusing on Linux right now. At the time there were some mod communiti
10.
A Statement on the Walled Metaverse(github.com)
5 points by daniel_rh 5y ago|1 comments
11.
by daniel_rh 5y ago
Ya we briefly corresponded in a mailing list some time back... he liked the multiplayer version, but wasn't interested in opening the source code yet. Maybe one of these years he will--I should reach out again... until them I have some
12.
by daniel_rh 5y ago
Wow you played begin too! I added multiplayer through DOSbox-- it was interesting that the AI craft were just like player craft but had a different controller. It was possible to splice in keyboard input for that. Then I wrote some screen s
13.
by daniel_rh 6y ago
the way you run it is... run a retail copy of WC.EXE with the branch of dosbox3d then do wcnet startserver <port> on one machine and wcnet connect <ip addr> <port> then both machines just run wing commander as normal. and
14.
by daniel_rh 6y ago
the clock rate isn't quite enough--because more enemies do cause it to advance the program counter more... really you do want to measure how long the frame took and sleep the interim
15.
by daniel_rh 6y ago
It was WC1 and I disassembled the code and added in a time-dependent limiter in dosbox. I also added multiplayer--it's not quite documented and ready for consumption, but if you're interested in how it works, the code is right now
16.
by daniel_rh 6y ago
There's the family plan which offers up to 6 members an account for a great monthly price. https://help.dropbox.com/accounts-billing/plans-upgrades/dro... With Dropbox Family, each member of the plan has thei
17.
by daniel_rh 6y ago
For long term storage of blocks, we compress at much higher compression levels like you mention. These densely compressed blocks are, in turn, served directly to customers when they download their own files. For uploads you're right: w
18.
by daniel_rh 6y ago
We heavily investigated zstd and met with the brilliant inventor, Yann, who provided amazing insights into the design and rationale behind zstd and why it is so fast and such an amazing technology. I also recompiled zstd into rust using ht
19.
by daniel_rh 6y ago
Great question! We developed and deployed Lepton to losslessly encode JPEG image files. Lepton continues to deliver substantial storage and cost savings every year. You can read more about it here https://dropbox.tech/infras
20.
by daniel_rh 6y ago
if a user has uploaded a file in the past and their desktop client can prove they have access, then they can avoid uploading it again
21.
by daniel_rh 6y ago
Savory with a touch of sweetness, Broccoli Bread cooks up like cornbread but offers fiber and calcium. The original name was Brot-cat-li (since files could be concatenated and compressed in parallel), but when we said it fast it sounded lik
22.
by daniel_rh 6y ago
Dropbox uses a similar toolbox as https://chromium.googlesource.com/chromiumos/docs/+/master/s... And yes, much of the overhead stems from the RPC server that needs to be implemented. For lepton we used
23.
by daniel_rh 6y ago
Hi folks, I'm Daniel from Dropbox, and I am happy to answer any questions about this tech.
24.
Broccoli: Syncing Faster by Syncing Less(dropbox.tech)
229 points by daniel_rh 6y ago|53 comments
25.
by daniel_rh 7y ago
2 words: bash reduce (eg using cut, sort, split -l, nohup, ssh to orchestrate a massive job with only bare unix tools available)
26.
by daniel_rh 7y ago
I can't find any information on linux support with KSP2. Does anyone have a link with more linux information? One of the many reasons I loved KSP was robust linux support.
27.
by daniel_rh 7y ago
or written in a secure language without undefined behavior and without any "unsafe" code like Rust or Safe Haskell. IoT probably should be shipping code that uses static compiler checks as the first line of security defense rather
28.
by daniel_rh 8y ago
Optometrists and Ophthalmologists both have training to check for disease in the eyes. In fact a dilated eye exam is a non-invasive way to get an actual look into your circulatory system to check for things like diabetes. So even people w
29.
by daniel_rh 8y ago
Does this abstraction target WebGL as well? I could imagine it being a nice portability layer for web-aware apps since rust can easily target wasm with a few compiler flags.
30.
by daniel_rh 8y ago
I love that the relooper can be disabled! I think that option will be really useful while the heuristics are being tuned, since many codebases avoid goto as a matter of style and can probably be translated without it, or with minor tweaks.

More ›