HackerTrans
TopNewTrendsCommentsPastAskShowJobs

SchwKatze

819 karmajoined 2 jaar geleden
CS undergrad who likes learning and building new things

https://github.com/el-yawd/

Submissions

Dungeon Proof Crawler: learn how to write proofs with RPG

dhilst.github.io
82 points·by SchwKatze·8 dagen geleden·26 comments

Paranoia: An automatic chaos engineering tool for Spring

github.com
2 points·by SchwKatze·12 dagen geleden·0 comments

VS Code is the new punch card

akitaonrails.com
4 points·by SchwKatze·vorige maand·0 comments

DoomBench – Can Your Data Stack Run Doom?

cedardb.com
7 points·by SchwKatze·2 maanden geleden·2 comments

DiscordMcp: Controlling Servers Through MCP

blog.rastrian.dev
2 points·by SchwKatze·2 maanden geleden·1 comments

The e-graph data structure

cole-k.com
3 points·by SchwKatze·3 maanden geleden·0 comments

Kubernetes Start Rewrite in Rust

github.com
4 points·by SchwKatze·3 maanden geleden·1 comments

Fossier: A slop evaluator for GitHub PRs to prevent spams

github.com
6 points·by SchwKatze·4 maanden geleden·0 comments

Rust bindings for SQLite's internal VM API

github.com
2 points·by SchwKatze·5 maanden geleden·1 comments

Vouch: A contributor trust management system

github.com
8 points·by SchwKatze·5 maanden geleden·2 comments

Cardboard Crack: What Card Games Teach Us About Addiction

journalixm.com
3 points·by SchwKatze·5 maanden geleden·0 comments

Programming as Theory Building [pdf]

pablo.rauzy.name
4 points·by SchwKatze·6 maanden geleden·1 comments

Bf-Tree: modern read-write-optimized concurrent larger-than-memory range index

github.com
143 points·by SchwKatze·6 maanden geleden·22 comments

Incident Communication Guide

gist.github.com
2 points·by SchwKatze·6 maanden geleden·0 comments

I Went from Database Noob to Core Datafusion Contribution

datafusion.blog.apache.org
3 points·by SchwKatze·7 maanden geleden·0 comments

I Downgraded a Safety Bug to an Availability Bug Using Assertions [video]

youtube.com
1 points·by SchwKatze·7 maanden geleden·0 comments

Flow: Actor-based language for C++, used by FoundationDB

github.com
189 points·by SchwKatze·7 maanden geleden·53 comments

The Power of Proximity to Coworkers [pdf]

pallais.scholars.harvard.edu
4 points·by SchwKatze·7 maanden geleden·1 comments

Functional Data Structures and Algorithms: a Proof Assistant Approach

fdsa-book.net
117 points·by SchwKatze·8 maanden geleden·29 comments

Why Strong Consistency?

brooker.co.za
94 points·by SchwKatze·8 maanden geleden·93 comments

comments

SchwKatze
·8 dagen geleden·discuss
Sorry, I didn't even know RPG is a language, it's too late to edit tho
SchwKatze
·26 dagen geleden·discuss
Does it means that any device that supports android 17 will support graphene as well?
SchwKatze
·vorige maand·discuss
https://github.com/PThorpe92/fossier
SchwKatze
·3 maanden geleden·discuss
Obviously April fools, lol
SchwKatze
·4 maanden geleden·discuss
Hey! Great work, really glad to see a Brazilian fella doing such an amazing work.

Greetings from Minas Gerais
SchwKatze
·5 maanden geleden·discuss
Yeah, as a SWE I just got sufficient money to pay my expenses AND have some to invest quite recently (about 2/1 months ago), but I basically froze the money instead of investing because everything seems overvalued and about to fall (even silver and gold).
SchwKatze
·5 maanden geleden·discuss
I saw the graphs of some silver mining stocks and it seems to just follow silver price, why don't just buy silver then?
SchwKatze
·5 maanden geleden·discuss
I'm kinda new into economy crashes, was a kid in 2008, is there a way to protect of it?
SchwKatze
·6 maanden geleden·discuss
That's on me, I thought it would receive the attention it deserves if people jump straight into the code (and see the "written in Rust btw").
SchwKatze
·6 maanden geleden·discuss
I think a better candidate to prototype would be SQLite, at least to have a better sense of how would bf-tree behave on real world
SchwKatze
·6 maanden geleden·discuss
> You managed to clone the repo an run your test by yourself, whatever the outcome is this is a plus against the standard model for scientific research.

That's so true, which is kinda funny since one of the cornerstone of scientific thinking is reproducibility.

IMHO they're using the best tool for this, nix.
SchwKatze
·6 maanden geleden·discuss
I think you could build an ETL-ish workflow where you use SQLite for OLTP and DuckDB for OLAP, but I suppose it's very workload dependent, there are several tradeoffs here.
SchwKatze
·6 maanden geleden·discuss
Can we even say that Anyblox is a file format? By my understanding of the project it's "just" a decoder for other file formats to solve the MxN problem.
SchwKatze
·6 maanden geleden·discuss
There is also Dioxus
SchwKatze
·6 maanden geleden·discuss
Wow! Now I got interested on reading the paper, thanks
SchwKatze
·6 maanden geleden·discuss
Yeah, they are [1]

1- https://www.cnnbrasil.com.br/internacional/venezuelanos-vao-...
SchwKatze
·6 maanden geleden·discuss
Yeah, totally agree. Like anything that matters this is a complex topic with multiple reasons to each move in this game, my positive position towards what happened is pretty much related to the reactions of my Venezuelans friends and my personal perception of how people has suffered with Maduro's regime.
SchwKatze
·6 maanden geleden·discuss
As a Latino and friend of several people that scaped from Maduro's regime I can easily say that people in South America are happy as ever.

Also, some people seems to miss the fact that South America military power is very weak, and we, culturally, are way less proned to fight and die than people in middle east.

Yeah, we know this is all about oil, and I'm interested to know what kind of democracy will emerge. But the fact is we don't have a, undeniable, dictator as neighbor, and my friends can see their families again.
SchwKatze
·7 maanden geleden·discuss
My question is, will the ram price go down at some point or is it a point of no return?
SchwKatze
·7 maanden geleden·discuss
I just gathered enough money to build my new PC. I'll even go to another country to pay less taxes, and this spike hit me hard. I'll buy anyway because I don't believe it will slow down so soon. But yeah, for me is a lot of money