#idris — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #idris, aggregated by home.social.
-
#NORLIE #TAMAM #IDRIS advanced-search.aepiot.ro/advanced-sea... cabildoabierto.ar/perfil/globa... aePiot: Move your SEO to Web 4.0. Build nodes and win.
MultiSearch Tag Explorer -
#NORLIE #TAMAM #IDRIS advanced-search.aepiot.ro/advanced-sea... cabildoabierto.ar/perfil/globa... aePiot: Move your SEO to Web 4.0. Build nodes and win.
MultiSearch Tag Explorer -
-
-
-
-
-
RE: 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.
-
RE: 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.
-
RE: 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.
-
RE: 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.
-
RE: 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.
-
🔥 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 -
🔥 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 -
🔥 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 -
🔥 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 -
🔥 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 -
Lecture: Idris – Reviving an Early Unix Clone
by Michael Engel @me_
https://wiki.dfupdate.se/projekt:updateringar#upcomingWhen: 2026-04-11, 19:00 CEST
Where: Svartbäcksgatan 65, 75333 Uppsala
Stream: https://bbb.cryptoparty.se/rooms/upd-0mo-m2u-aq8/joinThe 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!
-
Lecture: Idris – Reviving an Early Unix Clone
by Michael Engel @me_
https://wiki.dfupdate.se/projekt:updateringar#upcomingWhen: 2026-04-11, 19:00 CEST
Where: Svartbäcksgatan 65, 75333 Uppsala
Stream: https://bbb.cryptoparty.se/rooms/upd-0mo-m2u-aq8/joinThe 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!
-
Lecture: Idris – Reviving an Early Unix Clone
by Michael Engel @me_
https://wiki.dfupdate.se/projekt:updateringar#upcomingWhen: 2026-04-11, 19:00 CEST
Where: Svartbäcksgatan 65, 75333 Uppsala
Stream: https://bbb.cryptoparty.se/rooms/upd-0mo-m2u-aq8/joinThe 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!
-
Lecture: Idris – Reviving an Early Unix Clone
by Michael Engel @me_
https://wiki.dfupdate.se/projekt:updateringar#upcomingWhen: 2026-04-11, 19:00 CEST
Where: Svartbäcksgatan 65, 75333 Uppsala
Stream: https://bbb.cryptoparty.se/rooms/upd-0mo-m2u-aq8/joinThe 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!
-
Lecture: Idris – Reviving an Early Unix Clone
by Michael Engel @me_
https://wiki.dfupdate.se/projekt:updateringar#upcomingWhen: 2026-04-11, 19:00 CEST
Where: Svartbäcksgatan 65, 75333 Uppsala
Stream: https://bbb.cryptoparty.se/rooms/upd-0mo-m2u-aq8/joinThe 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!
-
In #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
-
In #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
-
In #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
-
In #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
-
In #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
-
Okay, I'm declaring my #idris library https://gitlab.com/bss03/type-aligned done. I don't have any issues/tasks remaining. `pack-db` should automatically pick up the latest commit during the next update, within 24 hours.
I'm still open for all kinds of feedback, but until I get some, I think I'm going to switch to a PureScript project for a bit. I need to update to spago 1.x and figure out how to publish packages in that ecosystem. I need left Kan extensions to do the nseted (non-uniform) folds I was working on.
Plus, I feel like working with Halogen might make me more comfortable with React, or at least make me more interested in polishing those skills for a potential employer.
-
Okay, I'm declaring my #idris library https://gitlab.com/bss03/type-aligned done. I don't have any issues/tasks remaining. `pack-db` should automatically pick up the latest commit during the next update, within 24 hours.
I'm still open for all kinds of feedback, but until I get some, I think I'm going to switch to a PureScript project for a bit. I need to update to spago 1.x and figure out how to publish packages in that ecosystem. I need left Kan extensions to do the nseted (non-uniform) folds I was working on.
Plus, I feel like working with Halogen might make me more comfortable with React, or at least make me more interested in polishing those skills for a potential employer.
-
Okay, I'm declaring my #idris library https://gitlab.com/bss03/type-aligned done. I don't have any issues/tasks remaining. `pack-db` should automatically pick up the latest commit during the next update, within 24 hours.
I'm still open for all kinds of feedback, but until I get some, I think I'm going to switch to a PureScript project for a bit. I need to update to spago 1.x and figure out how to publish packages in that ecosystem. I need left Kan extensions to do the nseted (non-uniform) folds I was working on.
Plus, I feel like working with Halogen might make me more comfortable with React, or at least make me more interested in polishing those skills for a potential employer.
-
Okay, I'm declaring my #idris library https://gitlab.com/bss03/type-aligned done. I don't have any issues/tasks remaining. `pack-db` should automatically pick up the latest commit during the next update, within 24 hours.
I'm still open for all kinds of feedback, but until I get some, I think I'm going to switch to a PureScript project for a bit. I need to update to spago 1.x and figure out how to publish packages in that ecosystem. I need left Kan extensions to do the nseted (non-uniform) folds I was working on.
Plus, I feel like working with Halogen might make me more comfortable with React, or at least make me more interested in polishing those skills for a potential employer.
-
Okay, I'm declaring my #idris library https://gitlab.com/bss03/type-aligned done. I don't have any issues/tasks remaining. `pack-db` should automatically pick up the latest commit during the next update, within 24 hours.
I'm still open for all kinds of feedback, but until I get some, I think I'm going to switch to a PureScript project for a bit. I need to update to spago 1.x and figure out how to publish packages in that ecosystem. I need left Kan extensions to do the nseted (non-uniform) folds I was working on.
Plus, I feel like working with Halogen might make me more comfortable with React, or at least make me more interested in polishing those skills for a potential employer.
-
Worked through the first round of issues for #idris type-aligned, but I came up with a couple more today: https://gitlab.com/bss03/type-aligned/-/issues
As usual, any feedback is appreciated.
