Search results

An :

Old (started professionally in , then and ) and now doing & .

I produce as Roaming Mosaics (mosaics.fm, ) - using .

Big user of , (I've run as my main desktop since 2001) and . Into .

On a good day you'll find me talking insightfully about the above. On a normal day I'll be about or .

0
0
0
0

Hello internet 👋

time again.

By day I’m a Manager leading a team of software engineers working on e-commerce infrastructure. In the past I’ve done hands on work in SaaS infrastructure and fintech.

By night I’m a nerd fan and instant connoisseur. I live in the middle of nowhere with my wife, her family, and a small herd of cats and dogs.

Hopefully this will be my last instance move ever, long live the matriarch 👑

0

Signal Protocol for a P2P Webapp

TL;DR: I have open-sourced a implementation of the that compiles to for -based messaging, overcoming the limitations of the official library.

I am sharing my implementation of the Signal Protocol designed specifically for the . While the official libsignal is the gold standard, its targets are often optimized for Node.js, which creates integration challenges for client-side web applications.

My version is built in and compiles to , utilizing to provide robust for decentralized environments. It currently powers the end-to-end security for my messaging project.

Protocol Demo:
signal.positive-intentions.com/

P2P App Demo:
p2p.positive-intentions.com/if

I am looking for feedback from the and community. If you have experience with audits or formal-proof verification, I would appreciate your eyes on the codebase as I work toward a more finished state.

GitHub Repository:
github.com/positive-intentions

signal protocol
0
6
0
0

I guess I should do an

I do , specifically , but and are close enough.

I love C# . I can tolerate . I'm interested in . I'm into and . I'm really into the nature of the systems we build.

I'm a .

I like , , and factory/city builder and 4X games. I also like and and various other nerd stuff.

0

Another from a different angle:
I have programmed computers since 6 years old in 1988, professionally from ~1998. Done , , from late 1990s, and from 2000-2005.
work from to , from to .
I have over 20 , many in and AI.
I build and create in various and .

0

/

Hi, I'm Stephan, living in the northern part of Germany; more precisely in Bad Schwartau near . I am a trainer, consultant, and coach with oose eG located in .

My interests/spheres of competence are:











Depending on the topic, toots are in EN 🇬🇧 or DE 🇩🇪.

0

📰 エラーのスタックトレースをAIにコピペする時代、終わらせたい (👍 83)

🇬🇧 DevSonar auto-captures runtime errors and sends them to Claude Code for instant fixes. No more manual copy-paste debugging workflow.
🇰🇷 DevSonar는 런타임 에러를 자동 캡처해 Claude Code에 전송, 즉시 수정. 수동 복붙 디버깅 워크플로우 종료.

🔗 zenn.dev/otinashi/articles/bd6

📰 なぜ、クソコードは仕事のプログラミングでしか書かれないのか? (👍 54)

🇬🇧 Why bad code is common at work but rare in hobby projects. Analyzes capability distribution and incentive structures, not moral failures.
🇰🇷 왜 나쁜 코드는 업무에서만 흔한가? 능력 분포와 인센티브 구조 분석. 도덕적 비난이 아닌 시스템적 접근.

🔗 zenn.dev/pdfractal/articles/59

0
0
0
0
0

I'm a software developer with 40 years' professional experience, lucky enough to be considering early retirement. I love writing code and don't want to stop. I'm keen to give something back and contribute to one or more open source projects.

The questions are, to what shall I contribute, and how do I get started?

My skills are mainly C++, having spent much of the past decade programmatically dismantling and reassembling Microsoft Office files. I'm quite happy to learn Rust or Go, but don't really like webby front-endy ux stuff.

Any suggestions for a worthy project to which I could contribute? Please boost if you can.

#SoftwareEngineering #SoftwareDevelopment #SoftwareDev #OpenSource #FreeSoftware

0

AI 코딩 도구 업계에서 매주 새로운 "필수 도구"가 등장합니다. 안 쓰면 뒤처진다는 메시지가 넘쳐나죠.

그런데 모든 AI 서비스 업체가 "AI는 실수할 수 있으니 꼭 확인하라"고 말하면서, 동시에 "에이전트 다섯 개를 병렬로 돌려야 진짜 생산성"이라고 합니다. 이 두 메시지, 동시에 성립할 수 있을까요?

이번 아티클에서 hype의 구조, 백그라운드 에이전트의 HITL 제거 위험, 그리고 Visual Studio 2026 디버거 에이전트가 보여주는 전통적 IDE의 가치를 다뤘습니다.

https://devwrite.ai/ko/posts/ai-coding-tools-fomo/

6

🚀 We’re growing! Cryspen is hiring.

Are you passionate about high-assurance software or cutting-edge cryptography? We are looking for talented individuals to join our team and help us build the next generation of secure-by-design systems.

🔹 Compiler and Verification Tools Engineer
🔹 Cryptography Engineer

Join us in our mission to make the digital world more secure.

👉 Apply here: join.com/companies/cryspen

0

Addendum: as portions of my text above have been quoted out of context, I would like to also draw attention to the various caveats listed at github.com/teorth/erdosproblem regarding the extent to which one can draw broader conclusions about AI mathematics capabilities from the progress in solving Erdos problems.

EDIT (Mar 5, 2026): It should also be noted that in the days after the above posts were made, it was discovered that the methods in these AI results were very similar to that of a 2014 paper of Pomerance, and in fact Pomerance has now released a short note showing how the methods of that paper also provide a solution to problem #728. math.dartmouth.edu/~carlp/bino Nevertheless, the AI-generated solution was the first to explicitly address this problem (though, as noted previously, this was in part due to the fact that the original formulation of the problem was not formulated well and contained some unwanted "trivial" solutions). A full summary of the situation can be found at arxiv.org/abs/2601.07421

@taoTerence Tao

Today also enjoyed reading this post that explains beautifully, some alike approaches, challenges, and quality assurance measures, but instead when using for in corporate regulated domains solutions:

, Here’s the nuance: while generation is probabilistic, the produced code can still be deterministic once compiled and executed — if we enforce the right controls.’
by

ajit1-patil.medium.com/from-de

0

RE: mamot.fr/@pluralistic/11584857

Really love this elegant and pointed description of from @pluralisticCory Doctorow which immediately enters my personal hall of fame:

“Writing code is about making code that runs well. Software engineering is about making code that fails well.”

This pairs really well with Douglas Adams who once talked about the same topic (more or less) in his own, very funny way:

“The major difference between a thing that might go wrong and a thing that cannot possibly go wrong is that when a thing that cannot possibly go wrong goes wrong it usually turns out to be impossible to get at or repair.”

0
0
0

New account, new !

My name is Kat and I'm a postgraduate student studying Computer Science at Oregon State University.

Before joining software engineering, I had a whole career in content marketing (plus a bunch of random gigs to survive the Great Recession).

Follow me if you're interested in seeing toots from a career-transitioning junior.

My interests include , , , and just in general.

Hello 👋🏿

0
0
0

PSA: Please don't do this in :

if let (Ok(foo), Ok(bar)) = (expensive_op(), expensive_op()) {
println!("{foo} {bar}")
}

It can be very inefficient, causing people to wait on your software wasting their time (I've just seen this in a fairly popular open source project with 3k stars)!

For a better, more maintainable and efficient version, see second toot or have a look at the playground for the full examples:

play.rust-lang.org/?version=st

1/2

0
0

FINAL §

In complex environments, the characteristics of Expert Generalists lead them to be particularly valuable in driving tasks to completion. Unmesh, Gitanjali, and I thus complete our article by summarizing the value of this skill.

martinfowler.com/articles/expe

0

Hi! 👋🏻
I'm a of Information at the University of , part of the School of the Environment, and direct the Just Sustainability Design Lab. My work aims to help reorient computing and IT for and .
I often work across fields including , , , and others. My book 'Insolvent: How to Reorient Computing for Just Sustainability' appeared in June 2023 . justsustainabilitydesign.org/
he/him, immigrant settler, . re-

0


I'm a based reflecting on the relationship of society and technology. I work with a variety of media, write, and give talks. And !

Some projects:
The wohnungsbot.de is a tool to help you find a flat in Berlin.
I presented the bot & background at : media.ccc.de/v/36c3-10988-wohn
Also told in a fully-automated : neopostmodern.com/portfolio/vo

I'm chair of palast.jetzt, to rebuild the , and member of thisisfake.team, a collective.

As a side-project I'm building structure.love, an information management tool currently best for bookmarking.

0
0
0
0
0
0

ich bin jetzt eine Woche daher dann doch mal eine .
Da ich mich etwas schwer mit Selbstvorstellungen tue, habe ich mein Twitter-Archiv studiert.

Scheinbar poste ich zu:
# softwareTesting
Das fasst auch gut meine Interessen zusammen.

Ich bin cis, white, straight, able bodied.
Auf Twitter habe ich mich bemüht meinen Blick zu erweitern und hoffe das gelingt mir hier auch.

0

🚨 Price jump alert! TechBash 2025 ticket prices go up $100 on Oct 4—lock in Standard Pricing now! 🎟️

Join devs Nov 4–7 at Kalahari Resorts, PA for 70+ sessions, hands-on workshops, and keynotes from Nicole Tibaldi, Kevin Griffin & Jeff Fritz. 🌐💡

🏨 Rooms from $169/night
👥 Group discounts available
🔗 jasong.us/47UC373

TechBash

0
0

✨📄 New blog post: An Interview with Sheena O’Connell 📄✨

We caught up with keynote speaker @sheena to talk about her journey into Python and education 🐍💜 Sheena also shared her thoughts on the challenges for the Python community, what she’s most excited about at PyCon UK 2025, and some interesting hobbies outside of tech!

👉 Get the full interview here: 2025.pyconuk.org/2025/09/keyno

0

✨📄 New blog post: An Interview with Felienne Hermans 📄✨

We caught up with keynote speaker @FelienneFelienne Hermans to chat about her journey into and ’s influence along the way, creating Hedy, challenges & hopes for the Python ecosystem, and what she’s most looking forward to at 🐍✨

📖 Read the interview here: 2025.pyconuk.org/2025/08/keyno

A huge thank you to Felienne for taking the time to share your thoughts with us 💜

0

Anyone know any alternatives to Sqlite that manages concurrency across multiple processes but not necessarily is a SQL database? Not sure what interface I'd want instead, but some kind of storage. :) Maybe it is the best, but any tips of things to look into are of interest.

Use case would be reading/writing things (data files, settings, cache data) from multiple concurrent processes on the same computer in a transactional way.

0

One of my almae matres (?) is hiring!

From the LinkedIn announcement:

"The 𝐂𝐨𝐦𝐩𝐮𝐭𝐞𝐫 𝐒𝐜𝐢𝐞𝐧𝐜𝐞 department at UCLouvain (Belgium) will soon open 𝐭𝐡𝐫𝐞𝐞 𝐟𝐮𝐥𝐥-𝐭𝐢𝐦𝐞 𝐟𝐚𝐜𝐮𝐥𝐭𝐲 𝐩𝐨𝐬𝐢𝐭𝐢𝐨𝐧𝐬 targeting excellent profiles in the following domains:

- 2 Positions in one or more of these areas:
=> 𝐒𝐨𝐟𝐭𝐰𝐚𝐫𝐞 𝐞𝐧𝐠𝐢𝐧𝐞𝐞𝐫𝐢𝐧𝐠,
=> 𝐏𝐫𝐨𝐠𝐫𝐚𝐦𝐦𝐢𝐧𝐠 𝐬𝐲𝐬𝐭𝐞𝐦𝐬 𝐚𝐧𝐝 𝐥𝐚𝐧𝐠𝐮𝐚𝐠𝐞𝐬,
=> 𝐒𝐨𝐟𝐭𝐰𝐚𝐫𝐞 𝐝𝐞𝐩𝐞𝐧𝐝𝐚𝐛𝐢𝐥𝐢𝐭𝐲, 𝐢𝐧𝐜𝐥𝐮𝐝𝐢𝐧𝐠 𝐟𝐨𝐫𝐦𝐚𝐥 𝐦𝐞𝐭𝐡𝐨𝐝𝐬.

- 1 Position in 𝐬𝐨𝐟𝐭𝐰𝐚𝐫𝐞 𝐬𝐞𝐜𝐮𝐫𝐢𝐭𝐲 𝐚𝐧𝐝 𝐜𝐲𝐛𝐞𝐫𝐬𝐞𝐜𝐮𝐫𝐢𝐭𝐲, also broadly construed (e.g., system security, cyber-physical systems security, AI for security & security for AI, privacy, distributed systems security, etc.).

The three positions will be open to 𝐚𝐥𝐥 𝐬𝐞𝐧𝐢𝐨𝐫𝐢𝐭𝐲 𝐥𝐞𝐯𝐞𝐥𝐬 (assistant/associate or full)."

linkedin.com/posts/icteam-uclo

I loved the year that I spent at Université catholique de Louvain! I learned so much there, and every time I am back, I am welcomed with such open arms by the lovely people there. I'm happy where I am now at TU Delft, but seeing this announcement, my heart jumped and I admit that I did quickly check my profile against the positions that are opening.


𝐓𝐡𝐫𝐞𝐞 𝐅𝐚𝐜𝐮𝐥𝐭𝐲 𝐏𝐞𝐫𝐦𝐚𝐧𝐞𝐧𝐭 𝐏𝐨𝐬𝐢𝐭𝐢𝐨𝐧𝐬 𝐎𝐩𝐞𝐧𝐢𝐧𝐠 𝐚𝐭 ICTEAM - UCLouvain 𝐢𝐧 𝐅𝐚𝐥𝐥 2025 | ICTEAM - UCLouvain

𝐓𝐡𝐫𝐞𝐞 𝐅𝐚𝐜𝐮𝐥𝐭𝐲 𝐏𝐞𝐫𝐦𝐚𝐧𝐞𝐧𝐭 𝐏𝐨𝐬𝐢𝐭𝐢𝐨𝐧𝐬 𝐎𝐩𝐞𝐧𝐢𝐧𝐠 𝐚𝐭 ICTEAM - UCLouvain 𝐢𝐧 𝐅𝐚𝐥𝐥 2025 The 𝐂𝐨𝐦𝐩𝐮𝐭𝐞𝐫 𝐒𝐜𝐢𝐞𝐧𝐜𝐞 department at UCLouvain (Belgium) will soon open 𝐭𝐡𝐫𝐞𝐞 𝐟𝐮𝐥𝐥-𝐭𝐢𝐦𝐞 𝐟𝐚𝐜𝐮𝐥𝐭𝐲 𝐩𝐨𝐬𝐢𝐭𝐢𝐨𝐧𝐬 targeting excellent profiles in the following domains: - 2 Positions in one or more of these areas: => 𝐒𝐨𝐟𝐭𝐰𝐚𝐫𝐞 𝐞𝐧𝐠𝐢𝐧𝐞𝐞𝐫𝐢𝐧𝐠, => 𝐏𝐫𝐨𝐠𝐫𝐚𝐦𝐦𝐢𝐧𝐠 𝐬𝐲𝐬𝐭𝐞𝐦𝐬 𝐚𝐧𝐝 𝐥𝐚𝐧𝐠𝐮𝐚𝐠𝐞𝐬, => 𝐒𝐨𝐟𝐭𝐰𝐚𝐫𝐞 𝐝𝐞𝐩𝐞𝐧𝐝𝐚𝐛𝐢𝐥𝐢𝐭𝐲, 𝐢𝐧𝐜𝐥𝐮𝐝𝐢𝐧𝐠 𝐟𝐨𝐫𝐦𝐚𝐥 𝐦𝐞𝐭𝐡𝐨𝐝𝐬. - 1 Position in 𝐬𝐨𝐟𝐭𝐰𝐚𝐫𝐞 𝐬𝐞𝐜𝐮𝐫𝐢𝐭𝐲 𝐚𝐧𝐝 𝐜𝐲𝐛𝐞𝐫𝐬𝐞𝐜𝐮𝐫𝐢𝐭𝐲, also broadly construed (e.g., system security, cyber-physical systems security, AI for security & security for AI, privacy, distributed systems security, etc.). The three positions will be open to 𝐚𝐥𝐥 𝐬𝐞𝐧𝐢𝐨𝐫𝐢𝐭𝐲 𝐥𝐞𝐯𝐞𝐥𝐬 (assistant/associate or full). Highlights: - A 𝐯𝐢𝐛𝐫𝐚𝐧𝐭 𝐰𝐨𝐫𝐤 𝐞𝐧𝐯𝐢𝐫𝐨𝐧𝐦𝐞𝐧𝐭  just south of Brussels - A department with 𝐞𝐱𝐜𝐞𝐥𝐥𝐞𝐧𝐭 𝐫𝐞𝐬𝐞𝐚𝐫𝐜𝐡 infrastructure and support - Moderate teaching load and access to 𝐞𝐱𝐜𝐞𝐥𝐥𝐞𝐧𝐭 𝐬𝐭𝐮𝐝𝐞𝐧𝐭𝐬 - 𝐂𝐨𝐦𝐩𝐞𝐭𝐢𝐭𝐢𝐯𝐞 salaries and benefits - No need to speak French to apply (but willingness to learn in a few years if appointed) Applications will open in 𝐅𝐚𝐥𝐥 2025 and will be handled 𝐞𝐱𝐜𝐥𝐮𝐬𝐢𝐯𝐞𝐥𝐲 𝐭𝐡𝐫𝐨𝐮𝐠𝐡 𝐭𝐡𝐞 𝐔𝐂𝐋𝐨𝐮𝐯𝐚𝐢𝐧 𝐩𝐨𝐫𝐭𝐚𝐥: https://lnkd.in/eDaYY-hr Questions? Contact: etienne.riviere@uclouvain.be ➡️ Follow the ICTEAM LinkedIn page to stay informed and help spread the word! #UCLouvain #ICTEAM #ProfessorPosition #SoftwareEngineering #Cybersecurity #FacultyHiring #ComputerScience #EngineeringResearch #InternationalOpportunities #JoinUs Etienne Riviere Kim Mens Cristel Pelsser Ramin Sadre Tom Barbette Hélène Verhaeghe Pierre Dupont Pierre Schaus Peter Van Roy Eric Piette Yves Deville Charles Pecheur Siegfried Nijssen Quentin Cappart Olivier Bonaventure Sébastien Jodogne Julien Hendrickx

www.linkedin.com

0

I am finishing work on an ongoing project and will be available for freelance full-stack software development from August.

Need someone with 20+ years experience to take your business idea off the ground? Have a team that needs temporary augmentation? Want to outsource something? Need a shiny front-end to be built? Got slow back-ends, front-ends or SQL queries to optimize? Cloud services too expensive?

Get in touch: salomvary.com/

0
0

One reason I think that complex software projects are never going to happen is that the code it generates has no *intent* behind it.

Senior software devs spend an extraordinarily large amount of time reading existing code and asking not just HOW they work, but WHY they were written that way. Reading long-maintained, complex source code is more than mere reading comprehension; it’s LITERARY CRITIQUE. You’re constantly trying to understand the thought process and motivation of whoever wrote that code, in the hopes of gaining insight into their frame of mind.

Well, AI code has no motivation, thought process, nor frame of mind. While the code it generates MIGHT work correctly (a big assumption) at the point it was extruded, there is no plausible way of maintaining that code, and at some point of complexity (sooner than you think!) maintainability becomes critical.

But WHY do we need to understand the motivation behind a pile of code? Because it reduces amount of COMPLEXITY we need to hold in our mind. Understanding an original author’s mindset helps to define a direction of development that will very likely yield successful results that are harmonious with existing code.

And as any senior software dev knows, complexity is the greatest enemy of engineering, and anything that helps constrain the beast increases the likelihood of producing error-free progress.

AI is great at producing code of little consequence, things so basic or throwaway that no deep understanding is needed to maintain it. To me, that constrains its practical use to generating basically SCAFFOLDING and BOILERPLATE upon which your real code is built, essentially making the (fancy and custom) GRID PAPER on which you will actually inscribe your design. Let it write your for-loops, but don’t let it write the functions it calls.

0

One reason I think that complex software projects are never going to happen is that the code it generates has no *intent* behind it.

Senior software devs spend an extraordinarily large amount of time reading existing code and asking not just HOW they work, but WHY they were written that way. Reading long-maintained, complex source code is more than mere reading comprehension; it’s LITERARY CRITIQUE. You’re constantly trying to understand the thought process and motivation of whoever wrote that code, in the hopes of gaining insight into their frame of mind.

Well, AI code has no motivation, thought process, nor frame of mind. While the code it generates MIGHT work correctly (a big assumption) at the point it was extruded, there is no plausible way of maintaining that code, and at some point of complexity (sooner than you think!) maintainability becomes critical.

0
0
0
0

Hi folks, I really enjoy Mastodon. It does remind me of the olden days of and the era (in a good way).

I teach computer engineering technology at the University of Kentucky. I'm originally from .

My main interests here:

















0
0
0

I just discovered I got blocked by somebody whose opinion and posts I highly value.

Since can't imagine (or remember) which interaction might have triggered this course of action, I tried to reconstruct our last interaction(s) from web searches, and discovered the following:

(a) This is practically impossible to find past interaction with specific accounts.

(b) A couple of other accounts *I* have been following formerly which now block me without me remembering any untowards interaction with them.

This all makes me unexpectedly sad.

I think I'll put in another Mastodon moratorium for an indeterminate length of time.

Looking back, Mastodon did not really work for me, with what I'd term "meaningful" connections. This is very likely the way my mind works.

If anybody can recommend communities related to , , or , I'd appreciate if you could reply or DM. I am still missing connection there (after 2.5 years of Fedi, which should tell me something).

0
0
0
0
0

My team at Polytechnic Institute of Paris/Télécom school of engineering is looking for a research engineer to conduct development and empirical experiments in various fields, including: and .

Programming skills in are particularly welcome, but we are polyglots and would also welcome /#Java/#OCaml developers 😉

Permanent position (French "CDI"), on site in the south of Paris.

Full job description at: institutminestelecom.recruitee

0
0
0
0
0
0
0