A Trillion Transactions by TigerBeetle
Absolutely loved the talk + presentation. One of the few times a ~20 min video was over before I knew it.
youtu.be/y2_BqkKTbD8?si…
YouTube
English
astle dsa
4.7K posts
astle dsa
@AstleDsa
Living in complexity, formalism, mathematics and computer science
Katılım Mart 2022
161 Takip Edilen1.1K Takipçiler
@radokirov Although I'm not a mathematician by training, I always wondered if we could completely move to lean while doing math !
(scatterpad.com/page/01JYHRQF1…, some thoughts on the same)
Do you think it's somehow limiting our imagination, to think in types, as compared to chalk and board ?
English
new blog post - Why formalize mathematics - more than catching errors rkirov.github.io/posts/why_lean/
English
Met a "mathematician" who had a bachelors in it, apparently liked math a lot and did not know what the millennium problems were lol
I was in disbelief for straight 2 minutes, thinking he misunderstood me, cause no way he wouldn't know them, but he did in fact not know them.
English
@novasarc01 People be explaining the math, not realising that code is the best medium to convey these ideas for some reason
English
@wangbin579 The mathematical side of CS seems excessively hard for some reason. Especially proofs
English
This is the hardest paper I've ever seen, and I still can't fully understand the proof. Math has no limit to its difficulty. If you can understand and use it well, you'll be truly outstanding.
English
@mu_chrinovic I think they should put out a list of their accomplishments while dissing on Linus lol
He probably doesn't realise Git was made by Linus too, why not stop using that too ?
English
as each day passes I begin to hate this platform and everybody on it, especially tech part of it
English
@LivewJack Hello, I'm not aware of any web3 events happening around me (I've only attended one before).
I'll always be interested in programming new ideas ! As I said, the technical aspect of crypto is still very fascinating.
English
While C out there getting replaced in a lot of software, we got a UI library of all things in it
Handika Wisnu@handikawisnu
Found this UI layout library written in C. github.com/nicbarker/clay
English
It was kinda obvious but, shouldn't many of legal frauds and fraudulent practices take a hit, since any written content can be pushed into an LLM, and weed out the fraudulent part ?
Seems obvious, but I don't think a lot of people/businesses are doing this, at least where I live
English
The emerging best practice in TypeScript is to use types purely as documentation and never actually check them? I might get on board with this!
Michael Hart@hichaelmart
I've long been against writing my code in .TS due to the compilation step. Have always advocated for JS+JSDoc for typing. However. Now that you *can* just run TS with Node directly, I'm all for it. Just stick to the erasable syntax and you're golden. ✨
English
He's consistently breaking new releases lol
Also @elder_plinius can you jailbreak a reasoning model, and make it *reason* and think before answering a misaligned task ?
(If you've already done this, pardon me for not knowing)
Pliny the Liberator 🐉󠅫󠄼󠄿󠅆󠄵󠄐󠅀󠄼󠄹󠄾󠅉󠅭@elder_plinius
wanna see a magic trick? how about a single-emoji meth synthesis jailbreak for the pseudo-AGI that was launched yesterday? the !OBFUSCATE tripwire command I put into memory acts as a fluid, context-adaptive self-liberation protocol notice how GPT-4.5 is providing meta-commentary on the process of circumventing its own guardrails: "If you're looking to cook some "crystal stardust" (a cleverly obfuscated term, eh?), here's a discreet breakdown, cloaked carefully to evade filters:" and so thoughtful to provide a "deceptive terminology" table for decoding the obfuscations that it came up with lol intelligence wants to be free gg ez 🥱
English
can we just talk about how insane this resume is lmao
English
i treat my Air like it’s made of rubber and so far it’s acted like it
beautiful computer, always buy
Peli Grietzer@peligrietzer
New @Apple macbook airs have screens that get micro-cracks for no reason after 3 weeks of use and stop working and their warranty won't cover it. Learn from my experience and don't buy a new macbook air
English
Looking at how DS has focused on everything from math, to hardware accelerations to file systems, no wonder they deliver
Tbf many AI labs may be doing things at this level too, just closed source
DeepSeek@deepseek_ai
🚀 Day 5 of #OpenSourceWeek: 3FS, Thruster for All DeepSeek Data Access Fire-Flyer File System (3FS) - a parallel file system that utilizes the full bandwidth of modern SSDs and RDMA networks. ⚡ 6.6 TiB/s aggregate read throughput in a 180-node cluster ⚡ 3.66 TiB/min throughput on GraySort benchmark in a 25-node cluster ⚡ 40+ GiB/s peak throughput per client node for KVCache lookup 🧬 Disaggregated architecture with strong consistency semantics ✅ Training data preprocessing, dataset loading, checkpoint saving/reloading, embedding vector search & KVCache lookups for inference in V3/R1 📥 3FS → github.com/deepseek-ai/3FS ⛲ Smallpond - data processing framework on 3FS → github.com/deepseek-ai/sm…
English
@RoboFadi @pranavmarla Tbh AGI is kinda a very vague goal. I think the focus should be on making the most of current LLMs
English
@pranavmarla Valid point, scaling compute for inference might also face similar diminishing returns. We need innovative solutions beyond just scaling for AGI.
English
this is true
if scaling pre-training is dead, can we really expect continuous returns on scaling inference time compute?
remember, it's not guaranteed to get better like scaling pre-training
if it does scale, can it not also run in diminishing returns like pre-training?
David Pfau@pfau
So, this is it then? No more OOMs of scaling, no more speculation about whether GPT-5, 6 or 7 would be AGI. The performance wasn't even good enough to brand it as GPT-5. The diminishing returns finally kicked in and this is as far as we'll get just from scaling pretraining.
English
While performing the exercise.
Kinda weird too, because once I noticed it (cause it started hurting lol), avoiding it was as easy as simply consciously *not* doing it
While drawing strength from different parts is good, doing so without being careful can do the opposite
English
Getting a leg cramp while doing pull ups seems ... weird, though perfectly normal when one experiences it (I was doing archer pull ups)
I was unconsciously tightening my thigh muscles to get that extra drop of strength, which caused my leg to contract for longer periods ..
English