HackerTrans
トップ新着トレンドコメント過去質問紹介求人

SchwKatze

819 カルマ登録 2 年前
CS undergrad who likes learning and building new things

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

投稿

Dungeon Proof Crawler: learn how to write proofs with RPG

dhilst.github.io
82 ポイント·投稿者 SchwKatze·8 日前·26 コメント

Paranoia: An automatic chaos engineering tool for Spring

github.com
2 ポイント·投稿者 SchwKatze·12 日前·0 コメント

VS Code is the new punch card

akitaonrails.com
4 ポイント·投稿者 SchwKatze·先月·0 コメント

DoomBench – Can Your Data Stack Run Doom?

cedardb.com
7 ポイント·投稿者 SchwKatze·2 か月前·2 コメント

DiscordMcp: Controlling Servers Through MCP

blog.rastrian.dev
2 ポイント·投稿者 SchwKatze·2 か月前·1 コメント

The e-graph data structure

cole-k.com
3 ポイント·投稿者 SchwKatze·3 か月前·0 コメント

Kubernetes Start Rewrite in Rust

github.com
4 ポイント·投稿者 SchwKatze·3 か月前·1 コメント

Fossier: A slop evaluator for GitHub PRs to prevent spams

github.com
6 ポイント·投稿者 SchwKatze·4 か月前·0 コメント

Rust bindings for SQLite's internal VM API

github.com
2 ポイント·投稿者 SchwKatze·5 か月前·1 コメント

Vouch: A contributor trust management system

github.com
8 ポイント·投稿者 SchwKatze·5 か月前·2 コメント

Cardboard Crack: What Card Games Teach Us About Addiction

journalixm.com
3 ポイント·投稿者 SchwKatze·5 か月前·0 コメント

Programming as Theory Building [pdf]

pablo.rauzy.name
4 ポイント·投稿者 SchwKatze·6 か月前·1 コメント

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

github.com
143 ポイント·投稿者 SchwKatze·6 か月前·22 コメント

Incident Communication Guide

gist.github.com
2 ポイント·投稿者 SchwKatze·6 か月前·0 コメント

I Went from Database Noob to Core Datafusion Contribution

datafusion.blog.apache.org
3 ポイント·投稿者 SchwKatze·7 か月前·0 コメント

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

youtube.com
1 ポイント·投稿者 SchwKatze·7 か月前·0 コメント

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

github.com
189 ポイント·投稿者 SchwKatze·7 か月前·53 コメント

The Power of Proximity to Coworkers [pdf]

pallais.scholars.harvard.edu
4 ポイント·投稿者 SchwKatze·7 か月前·1 コメント

Functional Data Structures and Algorithms: a Proof Assistant Approach

fdsa-book.net
117 ポイント·投稿者 SchwKatze·8 か月前·29 コメント

Why Strong Consistency?

brooker.co.za
94 ポイント·投稿者 SchwKatze·8 か月前·93 コメント

コメント

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

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

1- https://www.cnnbrasil.com.br/internacional/venezuelanos-vao-...
SchwKatze
·6 か月前·議論
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 か月前·議論
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 か月前·議論
My question is, will the ram price go down at some point or is it a point of no return?
SchwKatze
·7 か月前·議論
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