Latest posts
Coding
19 Sept, 14:01
https://trialofcode.org/1,140Open in TelegramCoding
14 Sept, 17:00
https://www.leanlanguage.app/www.leanlanguage.appleanlab — Lean 4 online editorRun Lean 4 programs, check proofs, and follow guided tutorials.Coding
4 Aug, 17:01
https://productdesignpsychology.com/Product Design PsychologyProduct Design Psychology by Wouter de BresUnderstand the minds you design for and the mind you design with.Coding
17 Jul, 03:01
https://www.youtube.com/watch?v=vCyENfxgyYAYouTubeintroducing tldraw offlineA local whiteboard for you and your agents. Download it today at offline.tldraw.com.Coding
14 Jul, 04:00
https://native-sdk.dev/Native SDKNative SDK | The Complete Toolkit for Native AppsNative SDK is the complete toolkit for building beautiful native desktop applications: declarative markup, a predictable message-based state model, a modern component library, and its own native renderer — no browser, no WebView, no compromise.Coding
13 Jul, 17:00
https://regex-vis.com/Regex-VisRegex VisRegex visualizer & editor, make the regular expression easier.Coding
19 May, 16:01
https://bottomupcs.comCoding
28 Apr, 16:00
https://walkinglabs.github.io/learn-harness-engineering/en/walkinglabs.github.ioWelcome to Learn Harness Engineering | Learn Harness EngineeringA project-based course on designing the environments, state, verification, and control systems that make Codex and Claude Code reliable.Coding
22 Apr, 09:04
https://lawsofsoftwareengineering.comLaws of Software EngineeringA collection of principles and patterns that shape software systems, teams, and decisions.Coding
14 Apr, 02:00
https://cstack.github.io/db_tutorial/Let’s Build a Simple DatabaseHow Does a Database Work?Writing a sqlite clone from scratch in CCoding
12 Apr, 03:00
https://effective-shell.com/Effective-ShellEffective ShellMaster the command line with Effective Shell - a free online book for developers and power usersCoding
30 Mar, 17:04
https://opendatastructures.orgCoding
29 Mar, 16:01
https://www.memorymanagement.org/index.htmlCoding
24 Mar, 04:01
https://en.algorithmica.org/hpc/Coding
10 Feb, 16:00
https://www.makingsoftware.comCoding
30 Jan, 16:53
https://x.com/nummanali/status/2017194574158925866?s=46X (formerly Twitter)Numman Ali (@nummanali) on XAmazing new Skill from Claude Code team - playground Come with with six templates built in: - Code Map - Concept Map - Data Explorer - Design Playground - Diff Review - Document Critique Here …Coding
16 Dec 2025, 10:03
https://course.ysap.shCoding
10 Dec 2025, 17:01
https://www.opensourceprojects.devOpen-source ProjectsDiscover the Best Open Source ProjectsExplore our curated collection of the best open-source projects from GitHub. Find trending repositories and hidden gems.Coding
27 Nov 2025, 15:03
https://github.com/phyver/GameShell/GitHubGitHub - phyver/GameShell: a game to learn (or teach) how to use standard commands in a Unix shella game to learn (or teach) how to use standard commands in a Unix shell - phyver/GameShellCoding
26 Nov 2025, 05:04
https://www.unison-lang.org/unison-1-0/www.unison-lang.orgAnnouncing Unison 1.0After years of engineering, design, and community collaboration, we're excited to release Unison 1.0. This version delivers a refined programming workflow and a mature toolchain. Join us as we celebrate this milestone and look ahead to the future of Unison.
Related Channels
Other channels in the same section of the catalogue.
