Hackernews posts about Lemmy

Lemmy is an open-source, decentralized social network platform that enables users to create and manage their own instances of social media platforms, such as Mastodon and PeerTube.

1. Lemmy Needs Diversity (somethingwonderful.eu)
   3 points by speckx 10 days ago | 1 comments
2. A menu bar app that shows Lemmy posts
   2 points by tracyspacy 7 days ago | discuss
3. Lemmy Tray – Rust menu bar app that shows Lemmy posts without browser or account (lemmy.ml)
   1 points by tracyspacy 4 days ago | discuss
4. A Good Lemma Is Worth a Thousand Theorems (2007) (sites.math.rutgers.edu)
   91 points by susam 6 days ago | 20 comments
5. LemmaScript: A Verification Toolchain for TypeScript via Dafny (midspiral.com)
   4 points by namin 30 days ago | discuss
6. Show HN: Loopsy, a way for terminals and AI agents on different machines to talk (github.com)
   58 points by todience 21 days ago | 12 comments
7. Show HN: We put ZK attribute proofs inside x402 payment headers
   2 points by aggre 24 days ago | 1 comments
8. From One AI to Any AI: JetBrains rethinks the approach to AI tooling [video] (www.youtube.com)
   3 points by lemming 24 days ago | 1 comments
9. Lemmy and my Switch to PieFed; Threadyverse software alternatives (jeena.net)
   16 points by jeena almost 2 years ago | 1 comments
10. Lemmy: A forum and link aggregator for the Fediverse (join-lemmy.org)
    8 points by doener 6 months ago | 2 comments
11. Fediverse observer: Lemmy daily stats (lemmy.fediverse.observer)
    4 points by chipdart over 1 year ago | discuss
12. Mlem for Lemmy (github.com)
    3 points by _9y71 about 1 year ago | discuss
13. Diving into the World of Lemmy (kiko.io)
    3 points by ZacnyLos over 1 year ago | discuss
14. Photon (Lemmy UI) (phtn.app)
    3 points by maelito over 1 year ago | discuss
15. Lemmy v4.5 – a functional version of the vi editor for Win32 (2005) (web.archive.org)
    2 points by Lammy almost 2 years ago | 1 comments
16. LeNNyTP – NNTP Bridge to Lemmy (github.com)
    2 points by validatori 3 months ago | discuss
17. Ask HN: If HN was self-hostable software like Lemmy, would you host an instance?
    1 points by ArinaS about 1 year ago | 7 comments
18. Storyteller Lemmy – Attack of the Bossed-Up Biomimetic Bad Bitch (twitter.com)
    1 points by miniBill 3 months ago | discuss
19. Someone said on Lemmy that he wanna kill "bad people" to protest agegating laws (old.lemmy.world)
    1 points by containersxllc 6 months ago | discuss
20. Newspipe 11.2.0 Announced on Lemmy (lemmy.ml)
    1 points by cedricbonhomme over 1 year ago | discuss
21. Ask HN: Where do you browse and chat outside of here?
    46 points by oceanhaiyang about 1 year ago | 83 comments
22. Is it me or is Reddit mostly bots now?
    37 points by rizs12 over 1 year ago | 42 comments
23. Ask HN: Reddit Alternative?
    4 points by ActorNightly about 1 year ago | 9 comments
24. Ask HN: What would you like to see in Postiz?
    3 points by gitroom over 1 year ago | 1 comments
25. Show HN: Upvote RSS – Generate rich RSS feeds from aggregation websites like HN (www.upvote-rss.com)
    2 points by johnwarne 8 months ago | discuss
26. MediaSymetric
    1 points by anarhackist 2 months ago | 2 comments
27. SpacyDo Task Engine virtual machine example: todo with programmable tasks
    1 points by tracyspacy 3 months ago | discuss
28. Show HN: TinyBoards – Self-Hosted FOSS Social Platform (Rust and GraphQL API) (github.com)
    1 points by tinyboards_dev 7 months ago | discuss
29. Show HN: Upvote RSS – Generate RSS feeds from social aggregation websites (github.com)
    1 points by johnwarne over 1 year ago | discuss
30. Ask HN: How does Reddit admin moderation work?
    1 points by lovelearning over 1 year ago | discuss
31. Spending 3 months investigating a 7-year old bug and fixing it in 1 line of code (lemmy.world)
    384 points by asicsp almost 2 years ago | 114 comments
32. My Engineering Craft Regressed (lemmy.ml)
    122 points by OsrsNeedsf2P about 1 year ago | 73 comments
33. Claude-Trace (github.com)
    4 points by handfuloflight 9 months ago | discuss
34. Show HN: Claude-Bridge – Use GPT, Gemini, and Other LLMs with Claude Code (github.com)
    3 points by badlogic 12 months ago | 1 comments
35. Building a Linux Phone (lemmy.zip)
    3 points by wicket 6 months ago | discuss
36. 1k Day Leetcode Streak (lemmy.ml)
    3 points by OsrsNeedsf2P almost 2 years ago | discuss
37. Notorious Malware, Spam Host "Prospero" Moves to Kaspersky Lab (lemmy.sdf.org)
    2 points by alsetmusic about 1 year ago | 1 comments
38. EU Login App Requires Google Play (lemmy.blahaj.zone)
    2 points by _____k 3 months ago | discuss