Keiran

14.6K posts

Keiran banner
Keiran

Keiran

@drenerbas

travelling and mathing, some AI

Pale Blue Dot Sumali Ocak 2008
3.2K Sinusundan1.1K Mga Tagasunod
Keiran nag-retweet
Insónias em Carvão
Insónias em Carvão@insoniascarvao·
The Vatican when Trump attacks the Pope
English
74
1.4K
7.8K
200.6K
Keiran nag-retweet
Iran in Ghana
Iran in Ghana@IRAN_GHANA·
Dear Italy, Your PM just defended Pope and lost an ally in Washington — the Commander in Grief, yet the most 'powerfool'man on earth. We'd like to apply for the vacancy. Our qualifications: 7,000 years of civilization, a shared love of poetry, architecture, and food that takes longer to prepare than Trump's attention span. The only thing Iran and Italy have ever fought over is who invented ice cream. Faloodeh came first. Gelato came louder. We've been in a 'cold' war over this for 2,000 years.
English
610
5.1K
28K
539K
Keiran nag-retweet
Klara
Klara@klara_sjo·
The Iran war is being orchestrated behind the scenes by Denmark to distract Trump from seizing Greenland, and increase the price of petroleum and thus plastic to make Lego more expensive and siphon America's wealth via manchildren buying toys. Why do you think Iranians are using Lego in their propaganda? It's a dogwhistle.
English
136
160
1.2K
36.4K
Keiran
Keiran@drenerbas·
@stylewarning @arivero And should we talk about the low level implementation of log and exp as power series with a finite number of terms?
English
0
0
1
46
'(Robert Smith)
'(Robert Smith)@stylewarning·
@drenerbas @arivero the whole thing has performance and numerical stability issues if we should talk about computer implementation :)
English
1
0
3
330
'(Robert Smith)
'(Robert Smith)@stylewarning·
My thoughts on this hit "universal gate of continuous functions" (as some have suggested). TL;DR to save you a click: For a more conventional definition of "elementary function", if my math is right, it doesn't do what the tin says. 👇
'(Robert Smith) tweet media
English
12
10
111
17.4K
Keiran
Keiran@drenerbas·
@stylewarning That is a very elegant piece of maths. Best blog post I’ve read in a long while. Bit too pure for an ML takedown though :) I reckon learning over EML structures will turn out to be quite useful.
English
0
0
1
396
Keiran nag-retweet
Lukasz Olejnik
Lukasz Olejnik@lukOlejnik·
Physicist has written a fascinating big beautiful paper.Let’s not be afraid to call it what it is - groundbreaking. For hundreds of years, mathematics had dozens of “basic” functions: sine, cosine, logarithm, square root, exponential. You know these from school. Everyone does. Now it turns out that all of it is one single operator: E(x, y) = exp(x) - ln(y), and the constant 1. Sin, cos, π - everything follows from this neatly , just nest it properly. Nature hid the simplest possible description of reality. And it was just been found. The whole thing is beautiful and remarkable, here the word “groundbreaking” is not a marketing buzzword. For instance, instead of writing π or 3.14, one can now elegantly write E(E(E(1,E(E(1,E(1,E(E(1,E(E(1,E(E(1,E(1,E(E(1,1),1))),1)),E(E(E(E(E(1,E(E(1,E(1,E(E(1,E(E(E(1,E(E(1,E(1,E(E(1,1),1))),1)),E(E(1,E(E(1,E(E(1,E(E(1,1),1)),E(E(E(1,E(E(1,E(1,E(E(1,1),1))),1)),E(1,1)),1))),1)),1)),1)),1))),1)),E(E(E(1,E(E(1,E(1,E(E(1,1),1))),1)),E(E(1,E(E(1,E(1,E(E(1,E(E(1,E(E(1,E(1,E(E(1,1),1))),1)),E(1,1))),1))),1)),1)),1)),1),1),1))),1))),1)),E(E(E(1,E(E(1,E(1,E(E(1,1),1))),1)),E(E(1,E(E(1,E(1,E(E(1,E(E(1,E(E(1,E(1,E(E(1,1),1))),1)),E(1,1))),1))),1)),1)),1)),1) arxiv.org/abs/2603.21852
Lukasz Olejnik tweet mediaLukasz Olejnik tweet media
English
151
506
3.8K
985.1K
Keiran nag-retweet
Clue Heywood
Clue Heywood@ClueHeywood·
The king is angry with the Pope and the citizenry is spreading easily preventable diseases, what year is it
English
96
3.1K
27.9K
877.9K
Keiran
Keiran@drenerbas·
@bennpeifert There was this bar in Melbourne I had to stop frequenting…
English
0
0
1
41
Keiran nag-retweet
Oliver Alexander
Oliver Alexander@OAlexanderDK·
Has Péter Magyar said thank you to JD Vance even once for helping him win the election with a likely supermajority?
Oliver Alexander tweet media
English
59
546
4.9K
88.3K
Keiran
Keiran@drenerbas·
@pfau You left out the 40 Tesla magnetic field
English
0
0
2
75
David Pfau
David Pfau@pfau·
Everyone's chasing crazy AI-discovered super complicated quaternary compounds, but there's still stuff to be discovered just from picking two squares on the periodic table and mixing it together the right way.
Martin Bauer@martinmbauer

Physicists find material with almost 3 times the thermal conductivity of copper that could improve heat management of electronics significantly “Our result breaks the historic ceiling for heat transport in metallic materials” scientificamerican.com/article/new-me…

English
9
15
195
22.3K
Keiran
Keiran@drenerbas·
What the hell @X where is all the news? AI and finance, fine, but world events?? Hungarian election is absent from my feed
English
0
0
0
24
Keiran nag-retweet
Cameron Harwick 👾🏛
Borges Pokemon story where each of us is a Pokemon whose name consists in all the words we speak over our lifetime
English
32
451
3.6K
108.3K
Andrew Jefferson
Andrew Jefferson@EastlondonDev·
Presenting Meridian: a line to connect deterministic compute and language model AI. From Neural Turing Machines and Differentiable Transformers to The Neural Computer, there’s a rich history of trying to combine traditional deterministic computation with the wildly different architecture of Artificial Intelligence. I’ve spent the last 4 weeks creating a single neural network that has the combined capabilities of a 4B param language model and a deterministic computation engine based on Web Assembly. It allows the AI deterministic integer computations up to 2^32, control flow (while loops and if statements) and a basic filesystem - all implemented as part of the transformer neural network, no external tool calls. With this architecture adding fewer than 1 million parameters to an existing 4B param language model I can take it from <20% accuracy on arithmetic with 4-digit numbers to 100% accuracy on 4 digit numbers and 99% accuracy on arithmetic up to 2^32 without adversely affecting the language model’s performance on non-mathematical tasks. The combined model can precisely execute a range of algorithms including checking number for primeness, finding the GCD of two integers and sorting arrays.
Andrew Jefferson tweet media
English
15
42
182
33.3K
Keiran nag-retweet
Jon Lovett
Jon Lovett@jonlovett·
In a surprise twist, the Epstein files released the attorney general.
English
374
12.6K
96.1K
1.9M
Keiran nag-retweet
Mary L Trump
Mary L Trump@MaryLTrump·
My grandfather was an anchor baby. It turns out the best case against birthright citizenship is Donald.
English
1.3K
5.2K
30.2K
746.9K
Keiran nag-retweet
Peter McCrory
Peter McCrory@PeterMcCrory·
Australia is among the leading adopters of Claude globally, accounting for 1.6% of all Claude.ai traffic. Per capita, Australians' use of Claude is more than four times higher than you'd expect for the size of its population.
Peter McCrory tweet media
English
6
9
133
13.8K