whitequark_

8 ms·

1.
by whitequark_ 10mo ago
Original author of smoltcp here! I couldn't have imagined how much of a cornerstone of the Rust ecosystem it would become. Very excited to see it get used like this, and yeah, #![no_std] use cases were the original and primary motivati
2.
by whitequark_ 10mo ago
Yup, you can use something like: $ curl http://yourdomain.org -X PUT --data https://tangled.org/@yourname.tangled.sh/site from a CI pipeline, or just upload an archive from the same (if you use "Method
3.
by whitequark_ 10mo ago
It uses completely different software (that I wrote together with a small team of volunteers: https://codeberg.org/git-pages/git-pages ) which scales very well horizontally and works more like GitHub Pages than Codeberg
4.
by whitequark_ 11mo ago
122 MB of it is Wasm machine code of a MinSizeRel LTO build of LLVM; it is compressed to 23 MB by Zstandard when your HTTP client supports that. That is about as small as you can get an LLVM/Clang/LLD bundle to be, and I put a lot
5.
by whitequark_ 11mo ago
If your browser has Zstandard support, it downloads only 100MB. But yes, this is a proof-of-concept that needs some fixes.
6.
by whitequark_ 5y ago
A few things: > he was a large contributing factor to the previous SolveSpace lead maintainer quitting If you look at https://github.com/solvespace/solvespace/issues/714 , it refers to "a few people [w
7.
by whitequark_ 7y ago
process_vm_read and its equivalents allow you to read data whose layout you already know. unfork allows you to read data whose layout you don't know or that is partially generated by calling the accessors that the application already h
8.
by whitequark_ 7y ago
Also I got pinged by like a dozen different HN bots, because each time any of them tweets a link, Twitter thinks it's a quote-tweet and sends a notification. Annoying.
9.
by whitequark_ 7y ago
At the time when I started working on smoltcp, there were a few Rust libraries for working with TCP/IP on the wire level, and they heavily used metaprogramming. Unfortunately, the task of implementing a generic binary protocol serializ
10.
by whitequark_ 7y ago
It doesn't use any C library functions by itself. (In fact in all of its applications at M-Labs, there is no C code running on the same chip.) The only uses of libc are in the TUN/TAP driver, which is necessary if you want to bind
11.
by whitequark_ 7y ago
I designed smoltcp (and wrote most of the code currently in it). The original TCP/IP RFC (RFC 793) contains several ambiguous requirements, and as a result they do not specify a well-defined system. There are also some outright incorre
12.
by whitequark_ 8y ago
The "smol" in "smoltcp" is mostly talking about the internal architecture and exposed API. For example, it will never support true zero-copy sockets, because the API burden due to restricting itself to safe Rust is too h
13.
by whitequark_ 8y ago
> But it's not like you can build a solid TCP stack these days either simply by reading the original late 70s RFCs. I literally did this. It's called smoltcp ( https://github.com/m-labs/smoltcp ) and we use
14.
by whitequark_ 10y ago
> MSVC compiler doesn't do SROA, as far as I know. In the future, consider verifying your extraordinary claims. Of course it does, and it took me about two minutes to demonstrate that: https://godbolt.org/g/9kT1
15.
by whitequark_ 10y ago
Zoxc has repeatedly refused reasonable requests to alter the patch to fit the standards of upstream. Because of this (and because I am rather tired of not having stack probes, with my embedded system not having functional guard pages), I&#x
16.
by whitequark_ 10y ago
SolveSpace is indeed similar to FreeCAD's Part Design module. One major difference is that SolveSpace uses the same solver for constraints in 2D and 3D, as well as for sketches and assemblies, whereas in FreeCAD the Assembly module is
17.
by whitequark_ 10y ago
There are vague plans for integrating Lua in a way that lets people implement new constraints without touching the C++ code, but the current architecture makes it very hard. We're refactoring it but it will take a while until such scri
18.
by whitequark_ 10y ago
I care a lot about reliability! In fact, FreeCAD's incessant crashing (and the fact that it corrupted the savefile when doing that) was the single biggest reason I put so much time into improving SolveSpace, although working assembly s
19.
by whitequark_ 10y ago
I've been planning to integrate libarea (of HeeksCNC fame), which can generate HSM toolpaths.
20.
by whitequark_ 10y ago
In the current solver, the constraints are linearized. It's not especially complex (just 500 LOC, not counting the symbolic algebra system that feeds it) or clever, but it does the job: https://github.com/solvespace&#x2
21.
by whitequark_ 10y ago
The bug report is not wrong. Rather, whether the current behavior is correct depends on the platform. For example, Darwin's libc offers this contract for memcpy and clang is perfectly within its rights to generate such code (note that
22.
by whitequark_ 13y ago
How it works: http://www.google.com/patents/US8125620
23.
by whitequark_ 13y ago
I'm very interested in this technology (and somewhat skeptical about it). The website is very opaque on how it actually works, and "signature correlation" doesn't appear to be a well-known term ( http://scholar
24.
LIDAR-Lite: A New Benchmark for Optical Distance Measurement Sensors(dragoninnovation.com)
2 points by whitequark_ 13y ago|2 comments
25.
by whitequark_ 14y ago
Reference counting comes with a huge toll on interoperability. Forget one Py_INCREF(Py_None) in a tight loop, and you're up to a segfault in a place very, very far away.
26.
by whitequark_ 14y ago
See this: http://whitequark.org/blog/2012/12/06/a-language-for-embedde...