#idris — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #idris, aggregated by home.social.
-
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 -
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
-
I want to be your next #FediHire !
I've been a programmer since 1985 (as a child), I've been an IT professional since 1995 (pulling wires and swapping cards and configuring MS Windows). I graduated from University of Arkansas Fayetteville with a BS in CS in December of 2003. A full resume is available.
I am currently splitting my time between Fayetteville, Arkansas and Cove, Arkansas but I am open to relocation for the right position. My last two positions were 100% remote so I work well on asynchronous teams.
I prefer something where I can be a high-performing individual contributor: reading, writing and improving source text the majority of my day, with some time spent knowledge-sharing with other developers -- learning and teaching. I'd like to work with #Haskell, #Purescript, or #Idris as the primary source language, but I can be productive in almost any language (no PHP, please; I promised myself never again).
I would prefer W-2 employment with a base salary of at least 130k USD/yr, plus some sort of retirement offering (401k or similar) and healthcare benefits (HDCP + HSA or similar). But, I will certainly give due consideration to other compensation packages.
(Boosts appreciated.)
-
fibs = Data.Function.fix $ (0 :) . scanl (+) 1
Actually, that's for my old favorite. I don't have a idealized one-liner for #Idris or #PureScript yet.
-
I want to be your next #FediHire ! I've been a programmer since 1985 (as a child), I've been an IT professional since 1995 (pulling wires and swapping cards and configuring MS Windows). I graduated from University of Arkansas Fayetteville with a BS in CS in December of 2003. A full resume is available.
I currently require a 100% remote position. I cannot relocate from Cove, #Arkansas. I would prefer W-2 employment with a base salary of at least 130k USD/yr, plus some sort of retirement offering (401k or similar) and healthcare benefits (HDCP + HSA or similar).
I prefer something where I can be a high-performing individual contributor: reading, writing and improving source text the majority of my day, with some time spent knowledge-sharing with other developers -- learning and teaching. I'd like to work with #Haskell, #Purescript, or #Idris as the primary source language. I've previously delivered value in Haskell, #Javascript, #SQL, #Python, #Scala, #Java, #C, and #Cxx among others. I can be productive in almost any language (no PHP, please; I promised myself never again).
-
Damson Idris dice que estaba horrorizado mientras filmaba esta decorado 'F1' con Brad Pitt #Brad #con #Damson #dice #escena #está #estaba #filmaba #horrorizado #Idris #mientras #Pitt #ButterWord #Spanish_News Comenta tu opinión 👇
https://butterword.com/damson-idris-dice-que-estaba-horrorizado-mientras-filmaba-esta-decorado-f1-con-brad-pitt/?feed_id=27443&_unique_id=6854577c73526 -
Just put in another application via #LinkedIn so I also wanted to try to get #FediHired again.
I've been a programmer since 1985 (as a child), I've been an IT professional since 1995 (pulling wires and swapping cards and configuring MS Windows). I graduated from University of Arkansas Fayetteville with a BS in CS in December of 2003. A full resume is available.
I currently require a 100% remote position. I cannot relocate from Cove, #Arkansas.
I prefer something where I can be a high-performing individual contributor: reading, writing and improving source text the majority of my day, with some time spent knowledge-sharing with other developers -- learning and teaching. I'd like to work with #Haskell, #Purescript, or #Idris as the primary source language, but I can be productive in almost any language (no PHP, please; I promised myself never again).
I would prefer W-2 employment with a base salary of at least 130k USD/yr, plus some sort of retirement offering (401k or similar) and healthcare benefits (HDCP + HSA or similar).
(Boosts appreciated.)
-
Whelp. Just got let go. They actually disabled my account while I was in the exit interview. Corporate IT is _cold_.
Anyway, I guess I'm looking for a new position maybe even be #FediHired ?
I have to live in Cove, AR with my disabled family, so it will probably need to be 100% remote.
I'd prefer to keep doing #Haskell or try out #PureScript in production, or even something more exotic like #Agda or #Idris
-
L' #IDRIS, centre de calcul du #CNRS héberge une émission sur les progrès de l' #IA (pas seulement générative) appelée Panoram'IA. Le prochain numéro sera enregistré en direct de l'IDRIS et reviendra entre autre sur le pretraining de #lucie: https://www.youtube.com/@idriscnrs
Ça sera le vendredi 28 février à 10h00.
Seront aussi discutés l' #ia Summit de #Saclay et l'actualité de la recherche en IA, bien évidemment.
Malheureusement je ne pourrai pas probablement pas en être, mais si il y en a que cela intéresse ici...
-
Sean Haas of @adventofcomputing has a fascinating episode out about #IDRIS, a reimplementation of #UNIX for a variety of early personal computers with #Intel8086, #Motorola68000 CPUs as well as #DEC #PDP11. Bizarrely, the OS seems mostly lost.
adventofcomputing: Episode 149 - IDRIS is Not UNIX
https://www.patreon.com/posts/episode-149-is-119316624
https://en.m.wikipedia.org/wiki/Idris_(operating_system)
A version of IDRIS that starts from #DOS is available on GitHub, though!
https://github.com/hansake/Whitesmiths-Idris-OS/tree/main/co-idris_setup
-
I think I owe @edwinb an apology. I was deeply sceptical about the utility of his funky types in #Idris a few years ago, but having now listened to the interview he did with the #CoRecursive podcast, and also after exposure to #Rust's magnificent error messages, I'm now convinced. https://corecursive.com/006-type-driven-development-and-idris-with-edwin-brady/
-
Idris Elba returns to Defected Records for the single Go Deeper alongside South African talent Una Rams. #music #IdrisElba #idris #unarams #GoDeeper #defected #DefectedRecords
-
Top 3 problems of languages
1) Null, undefined, etc. Nulls are a horrible concept. It is a million ways how to avoid nulls. Maybe monads, Either monads, dependent types
2) Exceptions and throwing async operations.. We could handle exceptions, async operations,s and even more with algebraic results and continuations. #Ocaml, #Idris, #Eff, and #Koka already do it.
3) Classes / Object dualism. The problem of the fragile base class. Languages like #rust and #go prove that you don't need them. -
following intro up with some hashtags
Things I do actively!
Programming: #csharp #fsharp #functionalprogramming #idris #clojure #typescript
Gamedev: #bitsy #twine #interactivefiction #pico8 #roguelike #rotjs
Music: #guitar #lute #earlymusic #mbira #livecoding #sonicpi #dungeonsynthInterests!
Math: #categorytheory #logic #tessellations #theoreticalcomputerscience #polyhedra #abstractalgebra
Nature #ferns #fungi #slimemold #lichen #invertebrates
Other: #bicycling #swordandsorcery -
Scheme Workshop Keynote: Edwin Brady - https://www.youtube.com/watch?v=h9YAOaBWuIk&list=PLyrlk8Xaylp4pcRhsuZ0gEOmggCOd8GBz&index=10&t=0s
#idris #idris2 #blodwen #functionalProgramming #fp #chezScheme #scheme
