frog

@coproduto De longe compiladores. Queria tentar fazer um projeto que tivesse MLIR de target. SIMD em CPUs tbm

O que vocês têm curiosidade sobre programação de baixo nível?

@pu5epx @coproduto um dos campos de software mais interessantes no geral. Depende do nível de abstração e área que tu vai, mas é uma interseção absurda entre ML, compiladores, drivers, sistemas distribuídos, e pesquisa mesmo. É muita tentativa e erro

@coproduto Programação de GPU

What are these mfs shipping ? Sure 500 commits a day yadayadayada. What is being produced ?

@chrislakin Question: what are people supposed to do instead ? Learn how to administer long-term results ? How can any progress be made if you can't rely on yourself and random experiments ?

@jdosndownfkwo literalmente maior elogio que um homem pode receber

@ptrToLiam What is it about ?

Decided to try writing a blog post and realized it's been quite a while since I've written any sizable text.

@eachraban @LukasHozda I dont understand how people on rooms with white walls and sunlight can use dark mode tbh

Anyone who complains about ‘being flashbanged’ needs to turn down their screen brightness, or better yet open their curtains for once in a while.

@CarinaLHong Incredibly fast progress!! Super excited to see what is coming

Excited to announce Axiom’s Series A. We raised $200 million fresh capital at a $1.6 billion+ valuation in a round led by Menlo Ventures to accelerate our strong execution momentum — extending our lead in formal math into Verified AI. Mathematicians and theoretical scientists dream up theories, formulate hypotheses. They then come up with proofs, a two-step process of discovery. We created Axiom to turn the sparks of curiosity into known truths - and to compress the timeline of breakthroughs. The Verified AI dream is a generalization of this dream. It is more than providing safeguards for mission-critical systems. This same gap between expert intuitions and the machinery needed for grounding exists today in any domain where the generation-verification iteration loop can be tighter. And yes, software eats the world, recursive self-improvement is a near sight. Verified AI is not about hallucinations, what’s lousy; instead, it’s about superintelligence, the brilliant. We work on Verified AI not due to a distrust in technology, but rather, we think the rapid advances of AI compels it. I’m grateful to work with and learn from the best team in the world. It’s not an easy journey, but climbing with you is what makes it worth it. And can’t wait to build with a more accelerated speed - nod to @shubho for grounding an ambitious vision in relentless execution everyday. This round was led by @mkraning with @CCgong. Thanks also to existing investors who doubled down for your conviction since the start (@jturow, @mattmcilwain of @MadronaVentures; @marcievu of @greycroftvc; @yanda, @IdaGirma, @nickgiometti of @BCapitalGroup; @ChrisAbshire_ of @Toyota_Ventures; @xtzhou, @jhuber of @TriatomicCap) and the new firms who we got to meet through the process.

@Ferdepre Muito bom ver meu goat meyern ai

A 9Z SIMPLESMENTE VENCEU A MOUZ POR 2:1!!

@fiBonatto Qual livro meu bom

Hoje o dia foi curioso. - fiz uma entrevista pra staff numa empresa no Reino Unido - um cara deu em cima de mim - uma mulher deu em cima de mim - fiz um desafio da volvo - malhei 3h sozinho na academia - jantei carne ao molho madeira - ganhei um livro - vou jogar minecraft

@HyperKakashi @lumatechdev Eu acho q quase smp foi assim. Se não fosse videogame eu jamais teria entrado em CC.

@lumatechdev Faço Eng de Comp e numa aula a professora perguntou oq trouxe a gente ao curso e un 28/30 disseram que é por causa de videogame

A UNICAMP sobre Eng da comp e Ciencia da Comp kkkkkkkkkkkkkk

@chrislakin @jbillinson I admire your insistence on follow ups on people giving advice lol

@jbillinson nice! would you follow-up in 3–12 months?

Deeply humiliating to realize how much this overpriced chunk of plastic has improved my quality of life in just a week.

@wink1emon Liking every tweet calling you old and I'm the exact same age as you

don’t ever give oomf ur phone number bruh

@sailaunderscore Why so ?

So-called ‘normal people’ frequently say things that cause me to visualize their life as some sort of Sisyphean Purgatory.

@crypto9MD @jogicodes @levelsio Nothing is as permanent as a temporary tax

@jogicodes @levelsio In Portugal, we also pay Imposto do Selo, created as a temporary tax in 1660 under King Afonso VI to finance the dowry of Catarina de Bragança for her marriage to Charles II of England and urgent state needs after the 1640 Restoration.

/r/mildlyinteresting In Portugal you pay up to €7.50 when you buy a laptop called a "copyright levy" You pay €4/TB of storage in the computer, so for a MacBook Neo 13" with 512GB that's €2.05 It's regulation made in 1998 to compensate artists for you illegally sharing MP3 files which nowadays of course doesn't make sense anymore since we have Spotify and YouTube Much of the money doesn't even arrive with artists btw, 30% is taken by the organization collecting the tax and lot of it remains unclaimed and some of that goes again to the organization collecting the tax as "operational costs" 🤡

I thanked the authors of a marine life documentary in my master thesis about Computational Fluid Dynamics

@nicolasmelo @ViUmaVaga Psé, num eventual aumento de preço acho que vamos começar a ver modelos muito menores e mais "burros" em geral, só que mais especialistas. Talvez vários passes de modelos pequenos com RL ou finetune pra tasks específicas funcione bem o suficiente pra cobrir um grande.

@ViUmaVaga Se ficar caro vamos usar models ainda na nuvem, mas de outros providers Acho que uma IA mais "lenta" e "burrinha" não é tão "burrinha" quanto vc acha e como era a 1 ano atras. As IAs burras de hoje são mais inteligentes que as IAs potentes de 1 ano atras Então 0 problema

Vai dar muito ruim se o token encarecer. Geral se acostumando com IA potente. E se, isso vindo a acontecer, a saída ser dar 10 passos pra trás tendo que usar LLM local, mais lenta e “burrinha”? Deixo claro que não torço pra isso, mas me pego pensando direto na hipótese. Sei lá, estejam preparados.

@VictorTaelin Tbf even in the age of AIs I want to have stdlibs. From what I understand we could have AIs vibecode these things and they would be formally verifiable, but the codebase would be huge.

Bend2's standard library is now racing from having ~10 functions to being larger than Haskell's Prelude, except better organized and formally verified. All these functions are trivial to modern AI's. But then, this raises the question: why do we even need libs anymore?

@tritlo Recession indicator unfortunately

Somehow the Rust crustacean has now become "OpenClaw". Sad day for PL mascots

@goof @0xmer_ Time to retire unc We will all meet on facebook one day

@0xmer_ we MADE this platform lil bro.

It's real deal people over 30 posting on ts platform that's crazy