conradev

58 ms·

721.
by conradev 3y ago
This is a “read the article” situation: “Many analysts are confident the high-tech greenhouses can be operated profitably in the U.S. because they have been run successfully in Europe and Canada. Vertical farms are another story. No company
722.
by conradev 3y ago
Yeah, I would rather have Peritext inside of SQLite itself: https://github.com/vlcn-io/cr-sqlite
723.
by conradev 3y ago
I made some edits, does that satisfy your constraints? Humans are the agent, LLMs the tool
724.
by conradev 3y ago
I don’t think formal languages are going anywhere because we need the guarantees that they can provide. From Dijkstra: https://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/E... You need to be able
725.
by conradev 3y ago
JSC is a multi-tier JIT with the last stage ultimately being LLVM, so if you want to be pedantic, Bun relies on LLVM’s optimizer which is written in C++. The transpiling itself is written in Zig, which is the part that has the performance i
726.
by conradev 3y ago
This is a fantastic talk on some of the optimizations that Zig makes easy to implement: https://vimeo.com/649009599 Bun is written in Zig, but it takes the same approach that esbuild took to make things fast: a linear, sync
727.
by conradev 3y ago
Virtually any sequence is not the same as adopting a specification five years after it’s been published and adopted by industry: https://spec.json5.org/ I appreciate that SQLite can’t write the format, because those changes
728.
by conradev 3y ago
Not quite warm blooded: > It is known for its ability to maintain stomach temperature (homeothermy), which is unusual among fish. This shark has not been demonstrated to maintain a constant body temperature. https://en.wikiped
729.
by conradev 3y ago
Yeah, it is puzzling that the key was able to be leaked in the first place. The key should have been in an HSM.
730.
by conradev 3y ago
> you create a new circuit and pick an entirely new path through the network very often It is every 10 minutes: https://support.torproject.org/about/change-paths/ > This seems like a straw man. There's
731.
by conradev 3y ago
The graph seems to be in nominal dollars, but I feel like real dollars is the only way to get an accurate comparison of magnitudes
732.
by conradev 3y ago
If you think your traffic is not being monitored over Tor, then you have thought incorrectly. It can be monitored at the exit node no problem, and is likely monitored _more_ closely than other endpoints. Your only hope is either not using e
733.
by conradev 3y ago
This is how HomePod pairing works, too!
734.
by conradev 3y ago
> To my mind it can just as equally be a disadvantage - I'd usually consider the core more trusted and less exposed. If a bad actor takes a little sneak peek at your database, they can brute-force hashed passwords or cookies and imp
735.
by conradev 3y ago
Lobbyists lobby for causes, for money, that is their point. If you run a small solar company, it is in your best interest to support SEIA, the member association (lobbyist) for the solar industry. You might think the system is dumb, and it
736.
by conradev 4y ago
Releasing code to use undocumented APIs is speech, and is regulated as such You have to run the code to violate the terms of use, which is primarily used to bar you from the service for misusing it.
737.
by conradev 4y ago
I would imagine that the FBI can get the logs of that entire Discord, no?
738.
by conradev 4y ago
John Deere signed a memorandum of understanding in January: https://www.fb.org/news-release/afbf-signs-right-to-repair-m...
739.
by conradev 4y ago
Yes! It's the similar with Norway. One of the largest exporters of oil, but entirely hydroelectric for electricity generation. It's the fjords!
740.
by conradev 4y ago
This is how Iceland exports the bulk of its hydroelectric energy, but they use aluminum
741.
by conradev 4y ago
Very cool! Are you testing after a reboot / with an empty page cache?
742.
by conradev 4y ago
> But we don't have a compelling enough theory yet to explain the RAM usage miracle. My guess would be that the model is faulted into memory lazily page by page (4K or 16K chunks) as the model is used, so only the actual parts that
743.
by conradev 4y ago
It did happen eventually: https://github.com/ruffle-rs/ruffle
744.
by conradev 4y ago
Even further, the big names in software engineering will likely figure out how to use these models far more effectively than any old engineer. Fabrice Bellard is utilizing transformer models for lossless compression, for example: https:&#x
745.
by conradev 4y ago
You are looking at the wrong top-line number as the “constraint”. My understanding is that the power (and die area) involved in moving the data around is a far greater bottleneck than the actual matmuls themselves. Your iPhone won’t analyze
746.
by conradev 4y ago
It’s used for a variety of things: - Biometrics (Face ID and Touch ID) - Image analysis (face matching, aesthetic evaluations, etc) - Text to speech and speech to text (smaller models on device, used for privacy/latency/reliabilit
747.
by conradev 4y ago
I enjoy reading pieces like this because I try to imagine myself as the antagonist – the evil designer who is intentionally trying to remove depth and make color contrast worse The antagonist doesn't exist. What this post is lacking is
748.
by conradev 4y ago
> The sky-high potential of AGI means that a few very rich people/companies will be willing to pay an enormous amount of money to have a monopoly on the technology. Companies regularly pool resources to share the cost of building te
749.
by conradev 4y ago
it is one of the build modes: https://ziglang.org/documentation/master/#Build-Mode
750.
by conradev 4y ago
It does save money, but it saves everyone money. Every part that moves is a part that has a fixed lifetime. Replacing the home button was exceedingly common back when it was a button, and people had to either get a new phone or pay to have

More ›