petrosagg

6 ms·

1.
Diagnosing a Double-Free Concurrency Bug in Rust's Unbounded Channels(materialize.com)
13 points by petrosagg 1y ago|0 comments
2.
by petrosagg 2y ago
Materialize | Staff Software Engineer (Sources/Sinks) | NYC or Remote (US/Canada/EMEA) | https://job-boards.greenhouse.io/materialize/jobs/5357900004 Materialize is a cloud operational data store (O
3.
by petrosagg 2y ago
Materialize | Staff Software Engineer (Sources/Sinks) | NYC or Remote (US/Canada/EMEA) | https://job-boards.greenhouse.io/materialize/jobs/5357900004 Materialize is a cloud operational data store (O
4.
by petrosagg 2y ago
Materialize | Staff Software Engineer (Sources/Sinks) | NYC or Remote (US/Canada/EMEA) | https://job-boards.greenhouse.io/materialize/jobs/5357900004 Materialize is a cloud operational data store (O
5.
by petrosagg 3y ago
Thank you for the detailed response! > However, while checksums can be used under the “Crash Consistency Model” to solve consistency through power loss, PAR showed that checksums are not sufficient to be able to distinguish between a tor
6.
by petrosagg 3y ago
> Sure, we’re not yet injecting storage faults, but then formal proofs for protocols like Raft and Paxos assume that disks are perfect, and depend on this for correctness? After all, you can always run your database over RAID, right? Ri
7.
by petrosagg 4y ago
The feature you're referring to is const generics which is different than generic associated types (GATs) which is the feature being stabilized. min_const_generics have been on stable for while
8.
by petrosagg 5y ago
I must be missing something. The paper describes the algorithm of the CRDT and mentions that "timestamps ’t need to be globally unique and totally ordered". Then it mentions multiple times that Lamport clocks/timestamp can be
9.
by petrosagg 5y ago
Here you go https://www.youtube.com/watch?v=WJj_NMhYwf0
10.
Real-time microphone noise suppression on Linux(github.com)
3 points by petrosagg 5y ago|0 comments
11.
Rust Support(git.kernel.org)
8 points by petrosagg 6y ago|0 comments
12.
by petrosagg 6y ago
The OP link is over https, which appears to work fine but only for redirecting you back to http
13.
by petrosagg 7y ago
transcript: https://www.infoq.com/presentations/netflix-five-level-owner...
14.
Mistakes and Discoveries While Cultivating Ownership(youtube.com)
2 points by petrosagg 7y ago|1 comments
15.
Data and Code Are the Same Thing(wiki.c2.com)
2 points by petrosagg 7y ago|0 comments
16.
by petrosagg 7y ago
Thanks for explaining this
17.
by petrosagg 7y ago
Thanks for explaining this, I have a much better idea about those systems now
18.
by petrosagg 7y ago
Yes, and this problem is exacerbated by the raspberrypi's microUSB power input. We've seen countless number of cases where a Pi exhibiting SD card corruption was also experiencing undervoltage. If you're using raspberrypis in
19.
by petrosagg 7y ago
I'd be interested to hear about the failure modes of I2C that you've observed. Unfortunately I'm not familiar with CAN or SPI. Do these alternatives provide error correction as part of the protocol? Do they offer superior rel
20.
by petrosagg 7y ago
balena founder here. balenaOS does use the hardware watchdog available on the raspberry pi to detect CPU lock ups and automatically reset the board. On top of that we're also running software watchdogs that check the health of key syst
21.
by petrosagg 7y ago
balena founder here. balenaOS comes with all the infrastructure needed for robust host OS updates. We expose this functionality to our users via a button in the web dashboard. We don't yet have an automated, rolling upgrade style mecha
22.
Announcing balenaFin, a carrier board for the Raspberry Pi Compute Module 3 & 3+(balena.io)
2 points by petrosagg 8y ago|0 comments
23.
by petrosagg 8y ago
Resin.io | Fullstack, frontend, security, golang engineer, Etcher maintainer, software engineer, technical sales lead | remote | full-time | salary + equity Resin.io provides a software platform that helps developers build, deploy and manag
24.
by petrosagg 10y ago
The problem is that when a user refreshes the page using the reload button the browser will revalidate even cached resources. This results in a lot of requests that get carry the `If-Modified-Since` header and 304 responses. Cache-Control:
25.
A collection of weird filename edge cases(github.com)
2 points by petrosagg 10y ago|0 comments
26.
Destination dispatch(en.wikipedia.org)
1 points by petrosagg 10y ago|0 comments
27.
Docker HTTP Server in 436 bytes(github.com)
3 points by petrosagg 10y ago|0 comments
28.
by petrosagg 10y ago
>No more jQuery from Google CDN, no more analytics/exception tracking/fonts from your favoured provider and no more advertising conversion tracking You don't have to trust the CDN for any static resource you load as long a
29.
ZFS Administration(pthree.org)
4 points by petrosagg 10y ago|0 comments
30.
Democratizing Webcam Eye Tracking on the Browser(webgazer.cs.brown.edu)
2 points by petrosagg 10y ago|0 comments

More ›