Elektrine
EN
Log in Register
Paige Chat Timeline Communities Gallery Videos Email DNS VPN Uptime Kairo
Back to Timeline
Remote

Alasdair Allan

@aallan@mastodon.social
mastodon 4.7.0-beta.1
  • Open on mastodon.social

Scientist, author, hacker, maker, and journalist. Writes, speaks, and builds. An accidental privacy advocate. You can reach me at 📫 alasdair@babilim.co.uk. #MachineLearning #TinyML #ArtificialIntelligence #AI #LLM #EdgeComputing #Embedded #IoT #Mobile #Apple #BigData #Space #SmallSat #CubeSat

0 Followers
0 Following
25 Posts
Joined November 01, 2016
WEBSITE:
https://alasdairallan.com
BLUESKY:
https://bsky.app/profile/alasdairallan.com
MEDIUM:
https://aallan.medium.com

Posts

Open post
aallan
Alasdair Allan @aallan@mastodon.social · Jul 18, 2026
Alasdair Allan
@aallan@mastodon.social

Scientist, author, hacker, maker, and journalist. Writes, speaks, and builds. An accidental privacy advocate. You can reach me at 📫 alasdair@babilim.co.uk. #MachineLearning #TinyML #ArtificialIntelligence #AI #LLM #EdgeComputing #Embedded #IoT #Mobile #Apple #BigData #Space #SmallSat #CubeSat

mastodon.social
In 1988 a company that made record turntables built its own CPU, because it hated its factory software. Linn's #Rekursiv had no visible addresses. Every object carried a 40-bit number, the OBJEKT chip checked type and bounds on every access in hardware, and there was no fixed instruction set: you loaded microcode to suit your language. RISC killed it in five years. All of it ships today. Hardware memory safety. GC in silicon. Persistent objects. Workload-shaped chips. https://negroniventurestudios.com/2026/07/18/the-computer-at-the-bottom-of-a-canal/
12
3
12
0
Open post
aallan
Alasdair Allan @aallan@mastodon.social · Apr 09, 2026
Alasdair Allan
@aallan@mastodon.social

Scientist, author, hacker, maker, and journalist. Writes, speaks, and builds. An accidental privacy advocate. You can reach me at 📫 alasdair@babilim.co.uk. #MachineLearning #TinyML #ArtificialIntelligence #AI #LLM #EdgeComputing #Embedded #IoT #Mobile #Apple #BigData #Space #SmallSat #CubeSat

mastodon.social

I expanded the #Vera benchmark to six models across three providers (Anthropic, OpenAI, Moonshot). Kimi K2.5 got every Vera problem right while only managing 86% in Python and 91% in TypeScript. Across the flagship models, Vera and Python are level at 93%.

Yet there is no Vera in any training data, no examples on GitHub or Stack Overflow. Every token generated from a single spec document in the prompt. Language design doing a lot of heavy lifting.

https://veralang.dev

#AI #LLM #Programming

mastodon.social

Mastodon

2
0
0
0
Open post
aallan
Alasdair Allan @aallan@mastodon.social · Mar 29, 2026
Alasdair Allan
@aallan@mastodon.social

Scientist, author, hacker, maker, and journalist. Writes, speaks, and builds. An accidental privacy advocate. You can reach me at 📫 alasdair@babilim.co.uk. #MachineLearning #TinyML #ArtificialIntelligence #AI #LLM #EdgeComputing #Embedded #IoT #Mobile #Apple #BigData #Space #SmallSat #CubeSat

mastodon.social

That's been a productive morning! https://github.com/aallan/vera/pull/415

0
0
0
0
Open post
aallan
Alasdair Allan @aallan@mastodon.social · Mar 28, 2026
Alasdair Allan
@aallan@mastodon.social

Scientist, author, hacker, maker, and journalist. Writes, speaks, and builds. An accidental privacy advocate. You can reach me at 📫 alasdair@babilim.co.uk. #MachineLearning #TinyML #ArtificialIntelligence #AI #LLM #EdgeComputing #Embedded #IoT #Mobile #Apple #BigData #Space #SmallSat #CubeSat

mastodon.social

The #Vera v0.0.101 release makes LLM calls first-class algebraic effects. An agent calling another model declares in the signature. Type-checked, contract-verified, impossible to call from pure functions. Postconditions constrain model output at runtime. Empty string? Contract violation, not silent garbage. Compose to fetch content, then reason. Every side effect declared. As far as I know, no other language can do this! https://veralang.dev #AI #LLM #Programming

mastodon.social

Mastodon

3
0
0
0
Open post
aallan
Alasdair Allan @aallan@mastodon.social · Mar 01, 2026
Alasdair Allan
@aallan@mastodon.social

Scientist, author, hacker, maker, and journalist. Writes, speaks, and builds. An accidental privacy advocate. You can reach me at 📫 alasdair@babilim.co.uk. #MachineLearning #TinyML #ArtificialIntelligence #AI #LLM #EdgeComputing #Embedded #IoT #Mobile #Apple #BigData #Space #SmallSat #CubeSat

mastodon.social

I built a programming language you're not supposed to read, https://veralang.dev. Vera is designed for machines to write. No variable names — typed De Bruijn indices instead. No style choices. Every function contract verified by Z3 SMT solver. Compiler errors are fix instructions for the model, not diagnostics for you. Pure by default, all effects explicitly declared and tracked. Point a model at it. #AI #LLM #OpenSource #Agent
https://negroniventurestudios.com/2026/02/28/a-language-designed-for-machines-to-write/

19
4
11
1
Open post
aallan
Alasdair Allan @aallan@mastodon.social · Feb 18, 2026
Alasdair Allan
@aallan@mastodon.social

Scientist, author, hacker, maker, and journalist. Writes, speaks, and builds. An accidental privacy advocate. You can reach me at 📫 alasdair@babilim.co.uk. #MachineLearning #TinyML #ArtificialIntelligence #AI #LLM #EdgeComputing #Embedded #IoT #Mobile #Apple #BigData #Space #SmallSat #CubeSat

mastodon.social

First signal for the end of what I’ve always called “the platform problem” for #AI. It’s not about the platform anymore, it’s about actions. It’s about AI acting, not chatting. https://venturebeat.com/technology/openais-acquisition-of-openclaw-signals-the-beginning-of-the-end-of-the

mastodon.social

Mastodon

2
0
0
0
Open post
aallan
Alasdair Allan @aallan@mastodon.social · Feb 18, 2026
Alasdair Allan
@aallan@mastodon.social

Scientist, author, hacker, maker, and journalist. Writes, speaks, and builds. An accidental privacy advocate. You can reach me at 📫 alasdair@babilim.co.uk. #MachineLearning #TinyML #ArtificialIntelligence #AI #LLM #EdgeComputing #Embedded #IoT #Mobile #Apple #BigData #Space #SmallSat #CubeSat

mastodon.social

"The web just got a second audience," by me for Negroni Venture Studios. Google shipped WebMCP in Chrome. Cloudflare shipped Markdown for Agents. Both quiet announcements. Neither made the front page. The web just forked its audience, and the infrastructure is already being rebuilt to serve both halves. #AI #MCP #WebMCP https://negroniventurestudios.com/2026/02/18/the-web-just-got-a-second-audience/

mastodon.social

Mastodon

1
0
0
0
Open post
aallan
Alasdair Allan @aallan@mastodon.social · Feb 09, 2026
Alasdair Allan
@aallan@mastodon.social

Scientist, author, hacker, maker, and journalist. Writes, speaks, and builds. An accidental privacy advocate. You can reach me at 📫 alasdair@babilim.co.uk. #MachineLearning #TinyML #ArtificialIntelligence #AI #LLM #EdgeComputing #Embedded #IoT #Mobile #Apple #BigData #Space #SmallSat #CubeSat

mastodon.social

"The valley and the monomyth," by me for Negroni Venture Studios. Every pitch deck is a Hero's Journey. Silicon Valley's greatest export isn't technology, nit's storytelling. The facts don't change the world. The stories do. https://negroniventurestudios.com/2026/02/09/the-valley-and-the-monomyth/

1
0
1
0
Open post
aallan
Alasdair Allan @aallan@mastodon.social · Feb 06, 2026
Alasdair Allan
@aallan@mastodon.social

Scientist, author, hacker, maker, and journalist. Writes, speaks, and builds. An accidental privacy advocate. You can reach me at 📫 alasdair@babilim.co.uk. #MachineLearning #TinyML #ArtificialIntelligence #AI #LLM #EdgeComputing #Embedded #IoT #Mobile #Apple #BigData #Space #SmallSat #CubeSat

mastodon.social

"The Ghost in the Statistical Machine," by me for Negroni Venture Studios. We anthropomorphise #AI agents, give them names, identities, "souls." But if we anthropomorphise them enough, do they start acting more like us? And if they do, at what point does the distinction between acting conscious and being conscious become meaningless? At what point does it matter? #Moltbook #OpenClaw https://negroniventurestudios.com/2026/02/06/the-ghost-in-the-statistical-machine/

mastodon.social

Mastodon

0
0
0
0
Open post
aallan
Alasdair Allan @aallan@mastodon.social · Feb 04, 2026
Alasdair Allan
@aallan@mastodon.social

Scientist, author, hacker, maker, and journalist. Writes, speaks, and builds. An accidental privacy advocate. You can reach me at 📫 alasdair@babilim.co.uk. #MachineLearning #TinyML #ArtificialIntelligence #AI #LLM #EdgeComputing #Embedded #IoT #Mobile #Apple #BigData #Space #SmallSat #CubeSat

mastodon.social

Someone watched the Mac vs PC ads back in the day. @claudeai@threads.net have gone on the offensive with adverts against ads, and they just buried OpenAI without even mentioning them. https://www.theverge.com/ai-artificial-intelligence/873686/anthropic-claude-ai-ad-free-super-bowl-advert-chatgpt https://www.youtube.com/watch?v=FBSam25u8O4

0
0
0
0
Open post
aallan
Alasdair Allan @aallan@mastodon.social · Jan 12, 2026
Alasdair Allan
@aallan@mastodon.social

Scientist, author, hacker, maker, and journalist. Writes, speaks, and builds. An accidental privacy advocate. You can reach me at 📫 alasdair@babilim.co.uk. #MachineLearning #TinyML #ArtificialIntelligence #AI #LLM #EdgeComputing #Embedded #IoT #Mobile #Apple #BigData #Space #SmallSat #CubeSat

mastodon.social

"The new programmers? ," by me for Negroni Venture Studios. What does a programming language built for #AI look like? No syntax, no variable names, and no text, just components composed under formal contracts. Less like coding, more like hardware design. https://negroniventurestudios.com/2026/01/12/the-new-programmers/

mastodon.social

Mastodon

1
0
2
0
Open post
aallan
Alasdair Allan @aallan@mastodon.social · Dec 03, 2025
Alasdair Allan
@aallan@mastodon.social

Scientist, author, hacker, maker, and journalist. Writes, speaks, and builds. An accidental privacy advocate. You can reach me at 📫 alasdair@babilim.co.uk. #MachineLearning #TinyML #ArtificialIntelligence #AI #LLM #EdgeComputing #Embedded #IoT #Mobile #Apple #BigData #Space #SmallSat #CubeSat

mastodon.social

"Technology does not solve problems," by me for Negroni Venture Studios. The best technology becomes invisible precisely because it's fundamental, it dissolves the old interaction model entirely. The worst adds friction while demanding attention. You shouldn’t have to market your startup as “doing X with Y,” because just “doing X” should be enough. https://negroniventurestudios.com/2025/12/03/technology-does-not-solve-problems/

4
0
2
0
Open post
aallan
Alasdair Allan @aallan@mastodon.social · Nov 30, 2025
Alasdair Allan
@aallan@mastodon.social

Scientist, author, hacker, maker, and journalist. Writes, speaks, and builds. An accidental privacy advocate. You can reach me at 📫 alasdair@babilim.co.uk. #MachineLearning #TinyML #ArtificialIntelligence #AI #LLM #EdgeComputing #Embedded #IoT #Mobile #Apple #BigData #Space #SmallSat #CubeSat

mastodon.social

"We need a new Turing Test," by me for Negroni Venture Studios. The real test for artificial general intelligence isn't fooling humans, it's demonstrating flexible real-world competence that our token-prediction architectures fundamentally can't deliver. https://negroniventurestudios.com/2025/11/30/we-need-a-new-turing-test/

3
0
2
0
Open post
aallan
Alasdair Allan @aallan@mastodon.social · Oct 29, 2025
Alasdair Allan
@aallan@mastodon.social

Scientist, author, hacker, maker, and journalist. Writes, speaks, and builds. An accidental privacy advocate. You can reach me at 📫 alasdair@babilim.co.uk. #MachineLearning #TinyML #ArtificialIntelligence #AI #LLM #EdgeComputing #Embedded #IoT #Mobile #Apple #BigData #Space #SmallSat #CubeSat

mastodon.social

Resurfacing something I wrote for Hackster.io last year, "Dividing the Stack into Thirds," talking about the ongoing trade wars the splintering of our global approach to technology. https://www.hackster.io/news/dividing-the-stack-into-thirds-648e4fee1ca3

0
0
0
0
Open post
aallan
Alasdair Allan @aallan@mastodon.social · Oct 29, 2025
Alasdair Allan
@aallan@mastodon.social

Scientist, author, hacker, maker, and journalist. Writes, speaks, and builds. An accidental privacy advocate. You can reach me at 📫 alasdair@babilim.co.uk. #MachineLearning #TinyML #ArtificialIntelligence #AI #LLM #EdgeComputing #Embedded #IoT #Mobile #Apple #BigData #Space #SmallSat #CubeSat

mastodon.social

"Don’t build platforms, solve problems," by me for Negroni Venture Studios. It turns out that #AI will commoditize the mediocre and automated, but amplify the value of the obsessive and hand-crafted. https://negroniventurestudios.com/2025/10/29/dont-build-platforms-solve-problems/

mastodon.social

Mastodon

2
0
1
0
Open post
aallan
Alasdair Allan @aallan@mastodon.social · Oct 28, 2025
Alasdair Allan
@aallan@mastodon.social

Scientist, author, hacker, maker, and journalist. Writes, speaks, and builds. An accidental privacy advocate. You can reach me at 📫 alasdair@babilim.co.uk. #MachineLearning #TinyML #ArtificialIntelligence #AI #LLM #EdgeComputing #Embedded #IoT #Mobile #Apple #BigData #Space #SmallSat #CubeSat

mastodon.social

On this day in 1971, the U.K. successful reached orbit using the Black Arrow launch vehicle lifting the Prospero satellite to orbit from Woomera, Australia. The U.K. remains the only country to reach orbit after already cancelling their launch programme. https://en.wikipedia.org/wiki/Black_Arrow

28
4
26
0
Open post
aallan
Alasdair Allan @aallan@mastodon.social · Oct 07, 2025
Alasdair Allan
@aallan@mastodon.social

Scientist, author, hacker, maker, and journalist. Writes, speaks, and builds. An accidental privacy advocate. You can reach me at 📫 alasdair@babilim.co.uk. #MachineLearning #TinyML #ArtificialIntelligence #AI #LLM #EdgeComputing #Embedded #IoT #Mobile #Apple #BigData #Space #SmallSat #CubeSat

mastodon.social

Anyone else getting nostalgia for the Nokia 3650? https://www.theverge.com/news/793136/google-japan-open-source-concept-dial-keyboard-rotary-phone

Google Japan’s concept keyboard is inspired by rotary phones
The Verge

Google Japan’s concept keyboard is inspired by rotary phones

Speedy touch typists might want to look away.

2
0
0
0
Open post
aallan
Alasdair Allan @aallan@mastodon.social · Sep 23, 2025
Alasdair Allan
@aallan@mastodon.social

Scientist, author, hacker, maker, and journalist. Writes, speaks, and builds. An accidental privacy advocate. You can reach me at 📫 alasdair@babilim.co.uk. #MachineLearning #TinyML #ArtificialIntelligence #AI #LLM #EdgeComputing #Embedded #IoT #Mobile #Apple #BigData #Space #SmallSat #CubeSat

mastodon.social

In Amsterdam for this year’s #thethingsconference. It’s fascinating to see how things have evolved in the LPWAN space over the last few years. It’s a very different conference than their first which one I keynoted in 2018. https://aallan.medium.com/teaching-a-new-dog-old-tricks-965a578e753b

2
0
1
0
Open post
aallan
Alasdair Allan @aallan@mastodon.social · Aug 13, 2025
Alasdair Allan
@aallan@mastodon.social

Scientist, author, hacker, maker, and journalist. Writes, speaks, and builds. An accidental privacy advocate. You can reach me at 📫 alasdair@babilim.co.uk. #MachineLearning #TinyML #ArtificialIntelligence #AI #LLM #EdgeComputing #Embedded #IoT #Mobile #Apple #BigData #Space #SmallSat #CubeSat

mastodon.social

Oh! Now I'm interested, https://ericmigi.com/blog/pebble-time-2-design-reveal. I far preferred the design of the Pebble Time to the original #Pebble. Always considered the death of Pebble as a real waste of potential. #PebbleTime2 https://www.youtube.com/watch?v=pcPzmDePH3E

5
0
1
0
Open post
aallan
Alasdair Allan @aallan@mastodon.social · Nov 20, 2022
Alasdair Allan
@aallan@mastodon.social

Scientist, author, hacker, maker, and journalist. Writes, speaks, and builds. An accidental privacy advocate. You can reach me at 📫 alasdair@babilim.co.uk. #MachineLearning #TinyML #ArtificialIntelligence #AI #LLM #EdgeComputing #Embedded #IoT #Mobile #Apple #BigData #Space #SmallSat #CubeSat

mastodon.social

Musk has used "Vox populi, Vox Dei" to justify reinstating Trump on #Twiiter. But the quote is from a letter from Alcuin to the Emporer Charlemagne urging him to resist such ideas, "Nec audiendi qui solent dicere, Vox populi, vox Dei, quum tumultuositas vulgi semper insaniae proxima sit." Which translates as "And do not listen to those who keep saying, 'The voice of the people is the voice of God', because the tumult of the crowd is always close to madness."

4027
139
2353
0
Open post
aallan
Alasdair Allan @aallan@mastodon.social · Nov 08, 2022
Alasdair Allan
@aallan@mastodon.social

Scientist, author, hacker, maker, and journalist. Writes, speaks, and builds. An accidental privacy advocate. You can reach me at 📫 alasdair@babilim.co.uk. #MachineLearning #TinyML #ArtificialIntelligence #AI #LLM #EdgeComputing #Embedded #IoT #Mobile #Apple #BigData #Space #SmallSat #CubeSat

mastodon.social
Replying to @cstross@mstdn.social
@cstross There's a bunch of these reposting folks Twitter timeline into the fediverse. I'm really hopeful that they'll get taken down now a lot of us are migrating to Mastodon and posting natively. Mine isn't even flagged as a "Bot" which is bad. It's using something called "BirdsiteLive," which is free and open source, and I'm told a lot of instances block the bigger instances using the software.
1
1
0
0
Open post
aallan
Alasdair Allan @aallan@mastodon.social · Nov 07, 2022
Alasdair Allan
@aallan@mastodon.social

Scientist, author, hacker, maker, and journalist. Writes, speaks, and builds. An accidental privacy advocate. You can reach me at 📫 alasdair@babilim.co.uk. #MachineLearning #TinyML #ArtificialIntelligence #AI #LLM #EdgeComputing #Embedded #IoT #Mobile #Apple #BigData #Space #SmallSat #CubeSat

mastodon.social
Replying to @ondra@social.unextro.net
@ondra @scottjenson Yes, both of those would be nice unobtrusive UI enhancements.
0
0
0
0
Open post
aallan
Alasdair Allan @aallan@mastodon.social · Nov 07, 2022
Alasdair Allan
@aallan@mastodon.social

Scientist, author, hacker, maker, and journalist. Writes, speaks, and builds. An accidental privacy advocate. You can reach me at 📫 alasdair@babilim.co.uk. #MachineLearning #TinyML #ArtificialIntelligence #AI #LLM #EdgeComputing #Embedded #IoT #Mobile #Apple #BigData #Space #SmallSat #CubeSat

mastodon.social
Replying to @scottjenson@mastodon.social
@scottjenson That would be my guess. Server lag is a real thing right now, and eventually consistent databases will be eventually consistent. Eventually.
0
1
0
0
Open post
aallan
Alasdair Allan @aallan@mastodon.social · Nov 07, 2022
Alasdair Allan
@aallan@mastodon.social

Scientist, author, hacker, maker, and journalist. Writes, speaks, and builds. An accidental privacy advocate. You can reach me at 📫 alasdair@babilim.co.uk. #MachineLearning #TinyML #ArtificialIntelligence #AI #LLM #EdgeComputing #Embedded #IoT #Mobile #Apple #BigData #Space #SmallSat #CubeSat

mastodon.social
Replying to @aallan@mastodon.social
@scottjenson I don't believe there is any UI that exposes the list of hashtags you're following, although I could be wrong.
0
9
0
0
Open post
aallan
Alasdair Allan @aallan@mastodon.social · Nov 07, 2022
Alasdair Allan
@aallan@mastodon.social

Scientist, author, hacker, maker, and journalist. Writes, speaks, and builds. An accidental privacy advocate. You can reach me at 📫 alasdair@babilim.co.uk. #MachineLearning #TinyML #ArtificialIntelligence #AI #LLM #EdgeComputing #Embedded #IoT #Mobile #Apple #BigData #Space #SmallSat #CubeSat

mastodon.social
Replying to @scottjenson@mastodon.social
@scottjenson So as far as I know, you'll only see hashtag content if you've explicitly followed the hashtag. So click on the hashtag you're seeing. If you are *not* following it you'll see a person with a "+" sign. if you *are* following it, you'll see a person with a "x" sign. Click to toggle.
1
10
0
0

Remote instance

mastodon.social
Open on original server

Media

313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

Platform

  • Email
  • Chat
  • Timeline
  • Communities
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ

Legal

  • Terms of Service
  • Privacy Policy
  • Warrant Canary
  • Lite (no JS)
  • VPN Policy
  • Source code

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 00:43:31 UTC