Luc Tielen
@luctielen.bsky.social
I talk about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.
Reposted by Luc Tielen
Extremely educational thread that shows the Achilles Heel of many vibe-coding apps (and how customers churn).
A founder got super excited and was on track to spend ~$100K/yr with the tool ($8,000/mo)
And then… BOOM
Agent deleted prod DB (!!). Gives up!
Churned - for good?
A founder got super excited and was on track to spend ~$100K/yr with the tool ($8,000/mo)
And then… BOOM
Agent deleted prod DB (!!). Gives up!
Churned - for good?
July 20, 2025 at 4:09 AM
Extremely educational thread that shows the Achilles Heel of many vibe-coding apps (and how customers churn).
A founder got super excited and was on track to spend ~$100K/yr with the tool ($8,000/mo)
And then… BOOM
Agent deleted prod DB (!!). Gives up!
Churned - for good?
A founder got super excited and was on track to spend ~$100K/yr with the tool ($8,000/mo)
And then… BOOM
Agent deleted prod DB (!!). Gives up!
Churned - for good?
Great blogpost about partial evaluation / futamura projections applied to WASM: cfallin.org/blog/2024/08...
Compilation of JavaScript to Wasm, Part 3: Partial Evaluation
cfallin.org
July 15, 2025 at 2:55 PM
Great blogpost about partial evaluation / futamura projections applied to WASM: cfallin.org/blog/2024/08...
Reposted by Luc Tielen
The LLM-for-software Yo-yo tratt.net/laurie/blog/...
July 14, 2025 at 9:39 AM
The LLM-for-software Yo-yo tratt.net/laurie/blog/...
2024 is nearing to its end, and we finally found a use case for long java class names 🤘:
youtu.be/yup8gIXxWDU?...
youtu.be/yup8gIXxWDU?...
NANOWAR OF STEEL - HelloWorld.java (Source Code Video) | Napalm Records
YouTube video by Napalm Records
youtu.be
December 14, 2024 at 11:18 AM
2024 is nearing to its end, and we finally found a use case for long java class names 🤘:
youtu.be/yup8gIXxWDU?...
youtu.be/yup8gIXxWDU?...
Reposted by Luc Tielen
First draft of a Prolog languages list. Sections on Lambda Prolog, Datalog, and other logic programming languages.
Feedback, PRs, etc., most welcome!
github.com/llaisdy/Prol...
Feedback, PRs, etc., most welcome!
github.com/llaisdy/Prol...
GitHub - llaisdy/PrologInfo: Prolog, Datalog, languages, resources, and beyond!
Prolog, Datalog, languages, resources, and beyond! - llaisdy/PrologInfo
github.com
November 16, 2024 at 6:31 PM
First draft of a Prolog languages list. Sections on Lambda Prolog, Datalog, and other logic programming languages.
Feedback, PRs, etc., most welcome!
github.com/llaisdy/Prol...
Feedback, PRs, etc., most welcome!
github.com/llaisdy/Prol...
I've been writing a lot of terraform the past week, and I wonder if a similar approach could be used in other languages to structure things.
E.g. what if you have a DSL that takes template vars separately, and spits out code with everything interpolated. Simple alternative to C++ templates?
E.g. what if you have a DSL that takes template vars separately, and spits out code with everything interpolated. Simple alternative to C++ templates?
December 8, 2024 at 4:39 PM
I've been writing a lot of terraform the past week, and I wonder if a similar approach could be used in other languages to structure things.
E.g. what if you have a DSL that takes template vars separately, and spits out code with everything interpolated. Simple alternative to C++ templates?
E.g. what if you have a DSL that takes template vars separately, and spits out code with everything interpolated. Simple alternative to C++ templates?
Good reminder that I should write more Erlang/Elixir code again.
"You have built an Erlang": vereis.com/posts/you_bu...
November 28, 2024 at 5:31 PM
Good reminder that I should write more Erlang/Elixir code again.
I have been stuck debugging the eclair runtime for quite some time now.
Maybe I need to try C reduce to shrink the 22k LLVM IR instructions? 🤔
Based on: bernsteinbear.com/blog/creduce/
Maybe I need to try C reduce to shrink the 22k LLVM IR instructions? 🤔
Based on: bernsteinbear.com/blog/creduce/
You can use C-Reduce for any language
C-Reduce is a tool by Regehr and friends for minimizing C compiler bug reproducers. Imagine if you had a 10,000 line long C file that triggered a Clang bug. You don’t want to send a massive blob to th...
bernsteinbear.com
November 27, 2024 at 8:25 PM
I have been stuck debugging the eclair runtime for quite some time now.
Maybe I need to try C reduce to shrink the 22k LLVM IR instructions? 🤔
Based on: bernsteinbear.com/blog/creduce/
Maybe I need to try C reduce to shrink the 22k LLVM IR instructions? 🤔
Based on: bernsteinbear.com/blog/creduce/
Reposted by Luc Tielen
if you have a @github.com profile, can i ask you to update it with your @bsky.app handle? 🙏
👉 it enables some very cool integrations, like auto curated feeds and starter packs for contributors and tech
👉 it enables some very cool integrations, like auto curated feeds and starter packs for contributors and tech
November 23, 2024 at 1:53 PM
if you have a @github.com profile, can i ask you to update it with your @bsky.app handle? 🙏
👉 it enables some very cool integrations, like auto curated feeds and starter packs for contributors and tech
👉 it enables some very cool integrations, like auto curated feeds and starter packs for contributors and tech
Mfw I see friends moving over to bsky:
November 23, 2024 at 7:27 AM
Mfw I see friends moving over to bsky:
Writing out the python bindings for eclair has made me realize how bad I've become nowadays at working with objects and methods. 😅
It feels so limiting.
Functions need to be free!
It feels so limiting.
Functions need to be free!
November 18, 2024 at 9:06 PM
Writing out the python bindings for eclair has made me realize how bad I've become nowadays at working with objects and methods. 😅
It feels so limiting.
Functions need to be free!
It feels so limiting.
Functions need to be free!
Reposted by Luc Tielen
I'll be looking for work soon! Starting early next year, remote from SE. Autonomous testing, distsyst, web, data eng, PL, and probably more areas are of interest.
(Reposts are highly appreciated. 🙌)
(Reposts are highly appreciated. 🙌)
November 8, 2024 at 9:41 PM
I'll be looking for work soon! Starting early next year, remote from SE. Autonomous testing, distsyst, web, data eng, PL, and probably more areas are of interest.
(Reposts are highly appreciated. 🙌)
(Reposts are highly appreciated. 🙌)
Counter back at 0.
2 mini-DSLs in 10 days! 🚀
Post coming soon (when I find the time.. 😬)
2 mini-DSLs in 10 days! 🚀
Post coming soon (when I find the time.. 😬)
Days since I invented a DSL at work: 0.
Now need to check if I can write a blogpost about it.. 😁
Now need to check if I can write a blogpost about it.. 😁
November 8, 2024 at 1:15 PM
Counter back at 0.
2 mini-DSLs in 10 days! 🚀
Post coming soon (when I find the time.. 😬)
2 mini-DSLs in 10 days! 🚀
Post coming soon (when I find the time.. 😬)
Reposted by Luc Tielen
October 31, 2024 at 5:41 PM
Plan for today: work on Python bindings for Eclair 😄
November 1, 2024 at 9:16 AM
Plan for today: work on Python bindings for Eclair 😄
Days since I invented a DSL at work: 0.
Now need to check if I can write a blogpost about it.. 😁
Now need to check if I can write a blogpost about it.. 😁
October 29, 2024 at 8:10 AM
Days since I invented a DSL at work: 0.
Now need to check if I can write a blogpost about it.. 😁
Now need to check if I can write a blogpost about it.. 😁
First time in 10 years working in a mostly windows-using company.
Kind of shocking how many blue screens happened in the few weeks I have been here so far.
... People put up with this? 👀
Kind of shocking how many blue screens happened in the few weeks I have been here so far.
... People put up with this? 👀
October 28, 2024 at 6:08 PM
First time in 10 years working in a mostly windows-using company.
Kind of shocking how many blue screens happened in the few weeks I have been here so far.
... People put up with this? 👀
Kind of shocking how many blue screens happened in the few weeks I have been here so far.
... People put up with this? 👀
I think the time is here to fully switch over.
Going to try and start posting here more often. 🙂
Going to try and start posting here more often. 🙂
October 28, 2024 at 6:20 AM
I think the time is here to fully switch over.
Going to try and start posting here more often. 🙂
Going to try and start posting here more often. 🙂
Looks like there's a noticeable increase of tech people the last few days.
Are people finally moving off twitter? 👀
Are people finally moving off twitter? 👀
October 23, 2024 at 3:38 PM
Looks like there's a noticeable increase of tech people the last few days.
Are people finally moving off twitter? 👀
Are people finally moving off twitter? 👀
I finished the MVP website for the eclair language: https://eclair-lang.org/
Eclair
eclair-lang.org
July 2, 2023 at 6:14 PM
I finished the MVP website for the eclair language: https://eclair-lang.org/
Well, guess it's time to start using this app more seriously!
July 2, 2023 at 7:11 AM
Well, guess it's time to start using this app more seriously!
Making good progress writing out the eclair language docs.
Still need to write out how variables and rules work, and then I can start to focus on more detailed topics and guides. 😃
Still need to write out how variables and rules work, and then I can start to focus on more detailed topics and guides. 😃
May 7, 2023 at 10:44 AM
Making good progress writing out the eclair language docs.
Still need to write out how variables and rules work, and then I can start to focus on more detailed topics and guides. 😃
Still need to write out how variables and rules work, and then I can start to focus on more detailed topics and guides. 😃
These are the kind of posts that make me both terrified and excited about implementing custom allocators for eclair:
https://www.linkedin.com/pulse/testing-alternative-c-memory-allocators-pt-2-musl-mystery-gomes
Memory layout and allocation are so critical for good performance!
https://www.linkedin.com/pulse/testing-alternative-c-memory-allocators-pt-2-musl-mystery-gomes
Memory layout and allocation are so critical for good performance!
Testing Alternative C Memory Allocators Pt 2: The MUSL mystery
A few months ago I have wrote an article comparing the performance from different memory allocators on Linux. However, one popular component missing from my previous testing was musl, the libc used as a replacement of Glibc in some distros, more notably in the Alpine Linux, the rock star distro for
www.linkedin.com
May 4, 2023 at 1:00 PM
These are the kind of posts that make me both terrified and excited about implementing custom allocators for eclair:
https://www.linkedin.com/pulse/testing-alternative-c-memory-allocators-pt-2-musl-mystery-gomes
Memory layout and allocation are so critical for good performance!
https://www.linkedin.com/pulse/testing-alternative-c-memory-allocators-pt-2-musl-mystery-gomes
Memory layout and allocation are so critical for good performance!
Finished a few more frontend components for the eclair website.
I think I have the most important things, now just a matter of writing lots of documentation. 🙂
I think I have the most important things, now just a matter of writing lots of documentation. 🙂
May 1, 2023 at 9:18 AM
Finished a few more frontend components for the eclair website.
I think I have the most important things, now just a matter of writing lots of documentation. 🙂
I think I have the most important things, now just a matter of writing lots of documentation. 🙂