HackerTrans
TopNewTrendsCommentsPastAskShowJobs

SchwKatze

819 karmajoined 2 वर्ष पहले
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·7 दिन पहले·26 comments

Paranoia: An automatic chaos engineering tool for Spring

github.com
2 points·by SchwKatze·11 दिन पहले·0 comments

VS Code is the new punch card

akitaonrails.com
4 points·by SchwKatze·पिछला माह·0 comments

DoomBench – Can Your Data Stack Run Doom?

cedardb.com
7 points·by SchwKatze·2 माह पहले·2 comments

DiscordMcp: Controlling Servers Through MCP

blog.rastrian.dev
2 points·by SchwKatze·2 माह पहले·1 comments

The e-graph data structure

cole-k.com
3 points·by SchwKatze·3 माह पहले·0 comments

Kubernetes Start Rewrite in Rust

github.com
4 points·by SchwKatze·3 माह पहले·1 comments

Fossier: A slop evaluator for GitHub PRs to prevent spams

github.com
6 points·by SchwKatze·3 माह पहले·0 comments

Rust bindings for SQLite's internal VM API

github.com
2 points·by SchwKatze·5 माह पहले·1 comments

Vouch: A contributor trust management system

github.com
8 points·by SchwKatze·5 माह पहले·2 comments

Cardboard Crack: What Card Games Teach Us About Addiction

journalixm.com
3 points·by SchwKatze·5 माह पहले·0 comments

Programming as Theory Building [pdf]

pablo.rauzy.name
4 points·by SchwKatze·5 माह पहले·1 comments

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

github.com
143 points·by SchwKatze·5 माह पहले·22 comments

Incident Communication Guide

gist.github.com
2 points·by SchwKatze·6 माह पहले·0 comments

I Went from Database Noob to Core Datafusion Contribution

datafusion.blog.apache.org
3 points·by SchwKatze·7 माह पहले·0 comments

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

youtube.com
1 points·by SchwKatze·7 माह पहले·0 comments

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

github.com
189 points·by SchwKatze·7 माह पहले·53 comments

The Power of Proximity to Coworkers [pdf]

pallais.scholars.harvard.edu
4 points·by SchwKatze·7 माह पहले·1 comments

Functional Data Structures and Algorithms: a Proof Assistant Approach

fdsa-book.net
117 points·by SchwKatze·8 माह पहले·29 comments

Why Strong Consistency?

brooker.co.za
94 points·by SchwKatze·8 माह पहले·93 comments

comments

SchwKatze
·7 दिन पहले·discuss
Sorry, I didn't even know RPG is a language, it's too late to edit tho
SchwKatze
·25 दिन पहले·discuss
Does it means that any device that supports android 17 will support graphene as well?
SchwKatze
·पिछला माह·discuss
https://github.com/PThorpe92/fossier
SchwKatze
·3 माह पहले·discuss
Obviously April fools, lol
SchwKatze
·4 माह पहले·discuss
Hey! Great work, really glad to see a Brazilian fella doing such an amazing work.

Greetings from Minas Gerais
SchwKatze
·5 माह पहले·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 माह पहले·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 माह पहले·discuss
I'm kinda new into economy crashes, was a kid in 2008, is there a way to protect of it?
SchwKatze
·5 माह पहले·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
·5 माह पहले·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
·5 माह पहले·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 माह पहले·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 माह पहले·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 माह पहले·discuss
There is also Dioxus
SchwKatze
·6 माह पहले·discuss
Wow! Now I got interested on reading the paper, thanks
SchwKatze
·6 माह पहले·discuss
Yeah, they are [1]

1- https://www.cnnbrasil.com.br/internacional/venezuelanos-vao-...
SchwKatze
·6 माह पहले·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 माह पहले·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 माह पहले·discuss
My question is, will the ram price go down at some point or is it a point of no return?
SchwKatze
·7 माह पहले·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