Boyd Stephen Smith Jr.
Michael EngelRE: https://hachyderm.io/@BoydStephenSmithJr/116072082621033639
It's been about a year since my last position ended. Please let me know anywhere to apply for #Haskell, #Idris, or #Purescript employment.
Yes! This is X10 running under Idris, booted from a 44MB Syquest removable hard disk on a Mega ST 4. Come see it live at VCFe in Munich next weekend and listen to my talk about Idris!
N-gated Hacker News🔥 Ah, yes, the classic "let's throw neural networks and #types in a blender and see what mess comes out" approach. 🤖✨ The article rambles on about separating training and typechecking like it's some groundbreaking revelation, when really, it's just playing code Jenga with fancy names like #Idris, #Lean, and #Agda. 🧩🔍
https://www.brunogavranovic.com/posts/2026-04-20-types-and-neural-networks.html #neuralnetworks #codeJenga #HackerNews #ngated
https://www.brunogavranovic.com/posts/2026-04-20-types-and-neural-networks.html #neuralnetworks #codeJenga #HackerNews #ngated
Update Computer ClubLecture: Idris – Reviving an Early Unix Clone
by Michael Engel @me_
https://wiki.dfupdate.se/projekt:updateringar#upcoming
When: 2026-04-11, 19:00 CEST
Where: Svartbäcksgatan 65, 75333 Uppsala
Stream: https://bbb.cryptoparty.se/rooms/upd-0mo-m2u-aq8/join
The ideas behind #Unix have significant impact on the design of a large number of #operatingsystems. In addition to more recent systems modelled after Unix, such as Minix or Linux, early operating systems inspired by Unix, such as Coherent, Venix, and also the #Idris OS developed by the company Whitesmiths, existed already in the 1970s. For many years, almost the only information available about Idris was a short Wikipedia page. This has changed in 2025 when a #PD68 computer, an Idris-based Motorola 68000 system developed as a project of computer hobbyists in Sweden and Norway, was donated to the computer museum in Dalby. Subsequently, an international cooperation also managed to get hold of and run the #Atari ST port of Idris, which extends the regular Idris system by providing a version of the X10 window system. In this talk, we give details about the recovery of Idris using emulation on different abstraction layers. In addition, we give an introduction to the structure of Idris for Motorola 68k-based systems with a focus on enabling Unix to run on computers lacking virtual memory management.
See you there!
Qiita - 人気の記事Idrisでビジネスロジックを書く場合どのように証明を書けるのか気になった
https://qiita.com/ssc-dninomiya/items/b47ae268846675dc3f4f?utm_campaign=popular_items&utm_medium=feed&utm_source=popular_items
BirkenhackIn #Birkenhead on Monday? Join us from 6pm every Monday at our new event!
Monday :: Programming -> Fun -> IO () is a close-knit group of programmers looking to improve their skills alongside others. Each session, we decide what language or concepts we're going to focus on as a group, returning at the end to discuss what we've built or learned.
Focus on improving your programming skills in good company!
#programming #rust #python #perl #c #cpp #rust #zig #go #assembly #fortran #haskell #idris
