Functional / PL theory
387 blogs with 53,950 posts, plus 2,411 posts on this from other blogs, going by those posts' own labels or titles. OPML of these feeds
Elixir / Erlang 42Haskell 83Lisp / Clojure / Scheme 132OCaml / F# 55
Top picks 134
-
-
Send More Paramedics blog.fogus.me
-
Machine Logic lawrencecpaulson.github.io
Machine Logic is Lawrence Paulson's blog on Isabelle/HOL and related topics.
-
-
malisper.me malisper.me
-
Anil Madhavapeddy's feed anil.recoil.org
Anil Madhavapeddy's research combines computer science and environmental science at the University of Cambridge
-
Entropic Thoughts entropicthoughts.com
-
-
MMapped blog mmapped.blog
-
-
-
TurtleWare turtleware.eu
-
-
-
-
Richard Feldman's Writings rtfeldman.com
-
Jigger Wit jiggerwit.wordpress.com
-
Max Bernstein's Blog bernsteinbear.com
-
Futhark Developer Blog futhark-lang.org
High-performance purely functional data-parallel array programming on the GPU
-
-
-
-
-
-
jimmyhmiller.github.io jimmyhmiller.com
-
-
Stephen Diehl stephendiehl.com
Personal blog of Stephen Diehl - Software engineer writing about technology, programming, and the future
-
The Comonad Reader comonad.com
Writing, talks, live coding, and papers: types, (co)monads, substructural logic
-
-
Lambda Land lambdaland.org
Lambda: The Ultimate Blog Post—a blog mostly about programming languages, academia, and Emacs
-
KC Sivaramakrishnan kcsrk.info
-
osa1.net osa1.net
-
Dashbit Blog dashbit.co
Learn more about Elixir and the many projects the Dashbit team are involved with, such as Broadway, Ecto, Phoenix, Hex and more.
-
-
-
Tomas Petricek tomasp.net
Tomas Petricek's latest blog posts about programming languages and tools, working with data, philosophy of science and more.
-
-
ian erik varatalu iev.ee
-
Daniel's Blog danilafe.com
Daniel Fedorin's personal blog, covering topics such as functional programming, compiler development, and more!
-
-
eighty-twenty news eighty-twenty.org
-
Steno & PL blog.waleedkhan.name
This is a personal blog. Unless otherwise stated, the opinions expressed here are my own, and not those of my past or present employers.
-
-
-
-
Unnamed Website unnamed.website
minFac '⓫'.toNat|>λ_11↦(·+97)[0/0,_11,-(⟨1,0,2,4⟩:ℍ[ℤ])^2|>.re.toNat,defaultMaxRecDepth%101,catalan 4,_11,(φ∘φ∘φ∘φ∘φ∘φ.Group]
-
jfmengels' blog jfmengels.net
Articles by Jeroen Engels, mostly around Elm, static analysis and more generally programming
-
@typesanitizer's blog typesanitizer.com
Musings on compilers, programming languages and software engineering.
-
-
-
-
Oskar Wickström wickstrom.tech
Software design, testing, functional programming, and other delightful things.
-
-
in Code blog.jle.im
Weblog of Justin Le, covering various adventures in programming and explorations in the worlds of computation physics, and knowledge.
-
openmymind.net openmymind.net
Programming blog exploring Zig, Elixir, Go, Testing, Design and Performance
-
Roman Cheplyaka ro-che.info
Roman Cheplyaka — Ukrainian software developer and bioinformatician. Articles on Haskell, mathematics, programming and bioinformatics.
-
-
-
-
-
-
dissoc frenchy64.github.io
-
rntz's blog rntz.net
-
-
injuly / Blog injuly.in
-
The Brown PLT Blog blog.brownplt.org
-
Semantic Domain semantic-domain.blogspot.com
-
-
-
Irregularly Scheduled Programming jcarroll.com.au
-
-
-
Infinite Negative Utility journal.infinitenegativeutility.com
-
-
-
A Neighborhood of Infinity blog.sigfpe.com
-
Technomancy technomancy.us
-
ezyang's blog blog.ezyang.com
-
-
-
Considerations on Codecrafting blog.polybdenum.com
Programming, math, and other things gratuitously nerdy. Opinions are my own.
-
-
Russell O’Connor’s Blog r6.ca
-
Thomas Leonard's blog roscidus.com
I've been investigating how keyboards, mice, etc work in Linux. In this blog post we'll see how input events work, using libinput-ocaml, and then use …
-
-
Bluish Coder bluishcoder.co.nz
Programming Languages, Martials Arts and Computers. The Weblog of Chris Double.
-
Aditya Athalye's Eval/Apply Blog evalapply.org
Out here, I strive to "learn generously". My software specialties include "Full-systems" B2B SaaS development, and Functional Programming (especially Clojure). I also hel…
-
-
Ralf's Ramblings ralfj.de
-
-
gridbugs gridbugs.org
I post about game development, experiments with retro hardware, and DIY synthesizers.
-
-
-
Vladimir Keleshev keleshev.com
-
Thunderseethe's Devlog thunderseethe.dev
-
-
podsnap blog.podsnap.com
-
dosync swannodette.github.io
-
-
Subset Park blog.zdsmith.com
By which meanes, Mathematicall Thaumaturgies, Opticall magick, secrets of nature, and other Philosophicall mysteries, being esteemed to be rancke Witch-craft, they ruine …
-
Paul Khuong: some Lisp pvk.ca
Paul Khuong's personal blog. Some Lisp, some optimisation, mathematical or computer.
-
F# for Fun and Profit fsharpforfunandprofit.com
This site shows you ways that F# can help in day-to-day development of mainstream commercial business software
-
Blog of Christine @pithlessly pithlessly.github.io
-
-
Dragan Djuric dragan.rocks
Dragan Djuric's Clojure Blog, Artificial Intelligence, Deep Learning, Bayesian Data Analysis, CUDA, GPU, OpenCL, Functional Programming, Probabilistic Programming, Data S…
-
Chris Penner chrispenner.ca
The Personal blog and musings of Chris Penner, a designer, developer and future opsimath.
-
-
-
-
Parenthetically Speaking parentheticallyspeaking.org
Parenthetically Speaking: Articles by Shriram Krishnamurthi
-
-
-
-
-
-
Emacs Ninja emacsninja.com
-
-
Simon Marlow simonmar.github.io
-
pema.dev pema.dev
-
The Cliffs of Inanity tromey.com
-
BAM Weblog brianmckenna.org
-
-
Mariano Guerra's Log marianoguerra.org
-
-
Andrej Bauer andrej.com
-
raganwald.com raganwald.com
-
-
-
Maths, Stats & Functional Programming idontgetoutmuch.wordpress.com
Formerly known as Idontgetoutmuch's Weblog
-
-
Programming in the 21st Century prog21.dadgum.com
-
Peter Norvig norvig.com
-
Matt Might's blog matt.might.net
-
abhinavsarkar.net abhinavsarkar.net
Good 199
-
-
Zarar's blog zarar.dev
Zarar Siddiqi: engineering leader and consultant in Toronto. Building products with care, and helping teams do the same with AI in the loop.
-
Irreal irreal.org
The minds had long ago come up with a proper name for it; they called it the Irreal, but they thought of it as Infinite Fun. That was what they really knew it as. The Lan…
-
Meta Redux metaredux.com
Writings on programming and open-source by Bozhidar Batsov, creator of RuboCop, CIDER, and Prelude.
-
-
Building Nubank building.nu.com
Make the extraordinary happen. Discover our success stories and careers at Nu. The Future is Purple!
-
Bit Byte Bit bitbytebit.substack.com
Tech, Agile, Continuous Delivery. Click to read Bit Byte Bit, by Zarar Siddiqi, a Substack publication with hundreds of subscribers.
-
-
-
Tarides RSS Feed tarides.com
Dive into the latest trends in distributed systems, cloud infrastructure, functional programming, and more from the experts at Tarides.
-
-
typelevel.org typelevel.org
-
Anna Liberty gracefulliberty.com
-
-
Andrew Healey's Blog healeycodes.com
Andrew Healey's blog and personal website. Software engineer, writer, creator.
-
jointhefreeworld news jointhefreeworld.org
Free software, engineering writing, and the jointhefreeworld ecosystem, by Josep Bigorra.
-
-
the logic grimoire logicgrimoire.wordpress.com
-
-
Hypha Pub hypha.pub
Hypha's engineering blog: OCaml, systems and how software is put together, by the people who build Hypha Stack.
-
Serokell serokell.io
Learn about the latest technologies, functional programming, and mathematics on our blog
-
Alex Alejandre's Recent Posts alexalejandre.com
-
-
jola.dev jola.dev
Johanna Larsson is a software engineer, engineering leader, writer, and speaker with many years of experience building products and leading teams.
-
-
DNSimple Blog blog.dnsimple.com
-
galois.com galois.com
-
Chaotic Blog of Artyom Bologov aartaka.me
A blog of Artyom Bologov, programmer-poet, privacy freak, and eco-activist. Programming, art, F/L/OSS, and other random stuff.
-
Zach Daniel zachdaniel.dev
Kindling for thought. Click to read Zach Daniel, a Substack publication with thousands of subscribers.
-
-
-
Programming Zen programmingzen.com
Programming Zen is a blog about programming and emerging technologies, authored by Antonio Cangiano, a Software Development Manager and AI Evangelist at IBM.
-
-
Elia Scotto scotto.me
Articles on programming languages, software development, books, reading and everyday life.
-
-
Jon Sterling jonmsterling.com
Associate Professor in Logical Foundations and Formal Methods at University of Cambridge. Formerly a Marie Skłodowska-Curie Postdoctoral Fellow hosted at…
-
Pete Corey petecorey.com
Pete Corey is an independent consultant, web developer, and writer based out of Denver, Colorado. He writes weekly articles on software development and his eternal quest …
-
-
code · words · emotions: Daniel Janus’s blog blog.danieljanus.pl
-
(iterate think thoughts) yogthos.net
Dmitri's blog about programming, Clojure, and software development
-
-
-
Dreamsongs dreamsongs.com
-
Gleam gleam.run
Discover a friendly language for scalable, type-safe systems. Gleam comes with compiler, build tool, formatter, editor integrations, and package manager all built in.
-
Datomic Blog blog.datomic.com
The Datomic blog: feature releases, event announcements, and news from the team.
-
-
-
xlii.space xlii.space
-
-
-
Alperen Keles alperenkeles.com
-
-
-
Lucas Sifoni lucassifoni.info
Lucas Sifoni — independent Elixir and BEAM developer in Cahors, co-founder of Alzo and telescope maker.
-
Abstract Heresies funcall.blogspot.com
A blog about computers, functional languages, Lisp, and Scheme.
-
-
-
200ok 200ok.ch
200ok builds alephDAM for automated publishing workflows and organice, a free and open source Org mode web app.
-
-
Paul's Notes notes.pault.ag
-
-
Daniel Compton danielcompton.net
I’m Daniel Compton, a software developer living in New Zealand. I mostly write about Clojure, open source funding, and software development.
-
-
-
HookRace Blog hookrace.net
-
OCamlPro's Blog ocamlpro.com
OCamlPro tackles complex design challenges (Domain Specific Languages, Code Audit and Verification, Optimization) notably with the use of formal methods. For that purpose…
-
-
Wespiser Blog: Feed wespiser.com
Adam Wespiser writes about software engineering, systems, programming languages, machine learning, and statistics.
-
Peter Ullrich Blog peterullrich.com
Personal blog of Peter Ullrich, a Senior Elixir Engineer, Freelancer, Educator, and Entrepreneur from The Netherlands.
-
-
-
German Velasco germanvelasco.com
Software developer and consultant. Let's build great software together.
-
-
-
-
Paolo Amoroso's Journal journal.paoloamoroso.com
Tech projects, hobby programming, and geeky thoughts of Paolo Amoroso
-
-
Charlie's Blog chiply.dev
The annotated contents of chiply.dev: every post grouped by theme, with the author's commentary on each.
-
Adam Warski: programming articles & videos warski.org
-
-
Michael Chavinda mchav.github.io
A collection of my thoughts on the various topics I find myself interested in.
-
Gabriel Volpe gvolpe.com
-
Flo's Blog lasernoises.com
-
-
Jappie Journal jappie.me
Technical blog by Jappie Klooster. Haskell, Nix, functional programming, and software engineering.
-
Stories by Chris Smith on Medium medium.com
-
Gustavo gus-massa.blogspot.com
-
Martin Janiczek martin.janiczek.cz
-
blog dot information dash superhighway dot net blog.information-superhighway.net
-
-
Tom Moertel's Blog blog.moertel.com
-
blog.redplanetlabs.com blog.redplanetlabs.com
-
-
-
bensimms.moe bensimms.moe
-
JUXT Blog juxt.pro
A curated collection of in-depth technical articles where our experienced engineers share their insights, best practices, and lessons learned with the wider tech communit…
-
-
-
Functional programming debugs you nikita-volkov.github.io
A blog about Haskell and functional programming
-
jezenthomas.com jezenthomas.com
Co-founder and CTO of Supercede. Haskell, Yesod, Nix. Technical audits and due diligence.
-
jackkelly.name jackkelly.name
-
Curried Lambda wozniak.ca
-
-
Matt Hall's Ramblings mattjhall.co.uk
A list of blog posts on coding and software engineering by Matt Hall
-
Christian Hollinger chollinger.com
Software Engineering, GNU/Linux, Data, GIS, and other things I like.
-
-
-
CS SYD cs-syd.eu
CS SYD: Technical consulting in Leadership, Haskell, Nix, Rust; Self-management training, Sustainable Products, Speaking engagements and over 200 blog posts
-
Trapped inside a tölva edoput.it
Here I leave messages to the world, myself and our future robot overlords.EOF
-
-
-
-
Phoenix Blog phoenixframework.org
Phoenix is a web framework for the Elixir programming language that gives you peace of mind from development to production
-
-
Elixir Blog elixir-lang.org
Announcements, release notes, internals deep-dives, and stories from teams running Elixir in production. Updates from the Elixir core team and community.
-
GTF gtf.io
-
Rocky Jaiswal rockyj-blogs.web.app
Rocky Jaiswal. Christian developer living in Berlin. Blogs about programming & technology.
-
Up To Interpretation uptointerpretation.com
-
James Haydon jameshaydon.github.io
-
matthewsinclair.com matthewsinclair.com
-
Guowei Lv lvguowei.me
-
-
-
Walk N' Squawk walknsqualk.com
A Coding Blog, Zig, Elxiir, with some FPGA and Japanese content as well.
-
-
Romes' Blog RSS Feed alt-romes.github.io
-
-
-
Hashrocket hashrocket.com
Articles by Hashrocket about Ruby on Rails, Elixir, React and mobile development.
-
-
uLisp ulisp.com
-
jeremymikkola.com jeremymikkola.com
-
(:dev/notes vlaaad) vlaaad.github.io
-
-
Denny's Blog dennybritz.com
-
-
-
John Clements brinckerhoff.org
-
Howardism howardism.org
Technical notes and essays about Clojure, Emacs, Lisp and the odds and ends of web development.
-
Lisp journey lisp-journey.gitlab.io
Discovering the Common Lisp language and ecosystem… and being highly productive in it.
-
bytes.zone bytes.zone
-
Jonathan Channon's Blog blog.jonathanchannon.com
-
GFX::Monk gfxmonk.net
-
Dusty Phillips Codes dusty.phillips.codes
-
-
-
Interjected Future interjectedfuture.com
Interjected Future is an independent engineering blog focused on deep technical essays about programming languages, developer tooling, incremental computation, and the fu…
-
Samuel Mullen samuelmullen.com
Write an awesome description for your new site here. You can edit this line in _config.yml. It will appear in your document head meta (for Google search results) and in y…
-
Joel Grus joelgrus.com
Joel Grus - Software Engineer, Data Scientist & Best-Selling Author. Available for consulting on data science, machine learning, and software engineering projects.
-
-
Phronemophobic's Blog blog.phronemophobic.com
A programming blog mostly about doing fun things with Clojure.
-
-
-
-
myme.no tech blog myme.no
-
-
Not a Monad Tutorial notamonadtutorial.com
Lambdaclass's blog about distributed systems, machine learning, compilers, operating systems, security and cryptography.
-
Justin Meiners Site jmeiners.com
Welcome to my personal site about programming, math, and philosophy!
-
-
-
Notes to self nts.strzibny.name
Josef Strzibny’s publication on software engineering, technical leadership, business, and bootstrapping
-
Alex Yorke alexyorke.github.io
Personal website of Alex Yorke. Writing on CI/CD, testing, reliability, shell tooling, and functional programming.
-
-
-
-
Colin Woodbury fosskers.ca
-
-
-
-
Stranger Systems stranger.systems
-
-
Sequin blog blog.sequinstream.com
Read about how we're building Sequin, shipping features, and pushing Postgres.
-
-
jelv.is jelv.is
-
Darklang blog.darklang.com
-
mishadoff thoughts mishadoff.com
-
Terms and Truth-Conditions michaelpj.com
Michael Peyton Jones' blog - mathematics, computer science, philosophy.
-
:: (Bloggable a) => a -> IO () blog.omega-prime.co.uk
A programming and finance blog by Max Bolingbroke.
-
-
-
-
-
-
-
jamesob jameso.be
-
-
-
-
-
NextRoll tech.nextroll.com
Big Data, Real Time Bidding, 50TB+/day, 1 million+ qps, 100ms, Python, Java, Erlang, C, JavaScript, Cutting Edge WebDev, Machine Learning, Open Source Projects
-
The Clean Code Blog blog.cleancoder.com
-
copy's home copy.sh
-
-
-
-
Yevgeniy Brikman: Blog brikis98.blogspot.com
The home page of Yevgeniy (Jim) Brikman, co-founder of Gruntwork, author of "Hello, Startup" and "Terraform: Up & Running", and software engineer at LinkedIn, TripAdvisor…
-
0xAX weblog 0xax.blogspot.com
-
Programming 8dcc.github.io
-
Joe's Blog joearms.github.io
Also listed 16
-
The Scala Programming Language scala-lang.org
-
-
-
-
Cognitive Engineering Lab cel.cs.brown.edu
We research how to use computers to support complex cognitive tasks: programming, verification, communication, learning, and more.
-
Graham Hutton people.cs.nott.ac.uk
-
DockYard Blog dockyard.com
Read our thoughts on all things digital product strategy, user experience, design, engineering, and innovation authored by our own full-time digital product strategists, …
-
Lisp-Stat lisp-stat.dev
This is the blog section. It has two categories: News and Releases. Files in these directories will be listed in reverse chronological order.
-
Stack Builders stackbuilders.com
Stack Builders delivers custom AI software, legacy modernization, and technology consulting. 200+ projects. 2-week guarantee.
-
Adopting Erlang adoptingerlang.org
Adopting Erlang is an ongoing effort to gather all the resources that will help you use Erlang in a business. The booksite is divided in three sections focusing particula…
-
-
Thoughts In Free Time lion137.blogspot.com
-
-
AtnNn.com atnnn.com
-
Mailchimp tinyletter.com
Create beautiful emails, automate campaigns, and track performance. Try it now and see how our tools can drive your business.
-
medium.com medium.com
Microsoft blogs in Functional / PL theory 38
Top picks 9
-
Don Syme's WebLog on F# and Related Topics learn.microsoft.com
-
Code Monkey Have Fun learn.microsoft.com
-
-
Satnam Singh's MSDN Blog learn.microsoft.com
-
LukeH's WebLog learn.microsoft.com
-
Sharp Things learn.microsoft.com
-
Grammarware, Haskellware, XMLware learn.microsoft.com
-
Yet Another Language Geek learn.microsoft.com
-
Andrew Kennedy's Blog learn.microsoft.com
Good 25
-
Дмитрий Сошников, академический евангелист learn.microsoft.com
-
Guy Alster’s Blog learn.microsoft.com
-
-
-
Frontier at Work learn.microsoft.com
It's just another frontier where you seek out new technologies ...
-
gordonhogenson learn.microsoft.com
-
Reactive Extensions Team Blog learn.microsoft.com
News about Reactive Extensions for .NET & Silverlight
-
-
-
Dorian Corompt's Blog learn.microsoft.com
-
I am learn.microsoft.com
A blog on C.S. incorporating this and that from AI and adjacent fields - mostly as a blue print to document a personal learning process ...
-
Zandoná Mobile® learn.microsoft.com
-
-
Isolation, Agents, and Message-passing in .NET learn.microsoft.com
-
-
Chris Smith's completely unique view learn.microsoft.com
Algorithms, functional programming, CLR 4.0, and of course, F#!
-
Русский блог по разработке для HPC learn.microsoft.com
Технологии создания параллельных алгоритмов и распределенных систем. Новости из мира HPC.
-
Concurrently Speaking learn.microsoft.com
A blog by Niklas Gustafsson on topics loosely related to concurrency and manycore
-
-
Hani Tech learn.microsoft.com
-
mikechampion's weblog learn.microsoft.com
-
-
VB.Net and other things learn.microsoft.com
-
The Mellow Musings of Dr. T learn.microsoft.com
-
Sriram Krishnan learn.microsoft.com
Visual Studio for Devices.Virtual Machines. Search Engines. Blogging from the India Development Center
Also listed 4
-
A Developer's Experience learn.microsoft.com
Sometimes the developers are the user in UX. Let's make their life easier.
-
Jackhu's Blog learn.microsoft.com
-
Yet Another F# Blog learn.microsoft.com
-
Saeed's Simple Blog learn.microsoft.com