https://pinboard.in/u:cothrun/public/ recent bookmarks from cothrun 2026-05-21T14:32:02+00:00 https://haskellforall.com/2026/05/type-out-the-code cothrunFreecoding improves broader programming proficiency]]> learning programming https://pinboard.in/u:cothrun/b:8d24550bdde7/ 2026-05-18T21:21:59+00:00 https://loopmaster.xyz/ cothrunlivecoding interactive synth ide audio music programming https://pinboard.in/u:cothrun/b:51d3849059b1/ 2026-05-12T00:25:16+00:00 https://news.ycombinator.com/item?id=48095550 cothrunprogramming engineering career negativity llm ai https://pinboard.in/u:cothrun/b:378346db9eb0/ 2026-05-02T02:37:23+00:00 https://evilgeniuslabs.ca/blog/good-developers-learn-to-program-not-a-language cothrunA bootcamp can teach you the syntax of a language in six weeks. The part that takes a decade is everything else: where the seams go, where the data flows, which decisions you are stuck with for the life of the codebase. This is a senior developer's argument for what learners should actually be looking for, after thirty years of watching the difference.]]> programming https://pinboard.in/u:cothrun/b:88c23bf3abe4/ 2026-05-01T17:57:47+00:00 https://jacobharr.is/personal/i-dont-vibe-code cothrunA “brief” accounting of various reasons why vibe coding has just never clicked for me personally as a developer.]]> llm vibecoding negativity culture programming https://pinboard.in/u:cothrun/b:0d3fc05862e3/ 2026-04-19T18:49:40+00:00 https://news.ycombinator.com/item?id=47822486 cothrunprogramming languages https://pinboard.in/u:cothrun/b:6ac53c3c7134/ 2026-04-01T01:28:23+00:00 https://lobste.rs/s/fug4fz/your_job_isn_t_programming cothrunprogramming philosophy abstractions https://pinboard.in/u:cothrun/b:172b37f5ae91/ 2026-03-24T18:46:42+00:00 https://dx.tips/oops-database cothrunDear Sir, I am afraid to inform you that you have written a database. I know you just wanted some "simple persistence" and that "a basic key-value store will do". Maybe keep it in memory as an object, or read/write simple JSON files on disk or to a c...]]> database humor programming https://pinboard.in/u:cothrun/b:eb9de084c2e3/ 2026-03-20T18:41:09+00:00 https://news.ycombinator.com/item?id=47410871 cothrunspreadsheet programming history https://pinboard.in/u:cothrun/b:0821e946fe49/ 2026-02-19T23:20:49+00:00 https://news.ycombinator.com/item?id=47075934 cothrunodin programming language https://pinboard.in/u:cothrun/b:8fb7fcbc3993/ 2026-01-03T22:08:19+00:00 https://news.ycombinator.com/item?id=46478647 cothrunc3 c programming https://pinboard.in/u:cothrun/b:e784d1632fc0/ 2025-12-23T02:46:30+00:00 https://nature-lang.org/ cothrunA modern programming language designed for elegant, efficient, and reliable software development]]> programming language https://pinboard.in/u:cothrun/b:c07769a0cc1b/ 2025-12-17T15:23:32+00:00 https://dafny.org/ cothrunDafny is a verification-aware programming language that has native support for recording specifications and is equipped with a static program verifier. By blending sophisticated automated reasoning with familiar programming idioms and tools, Dafny empowers developers to write provably correct code (w.r.t. specifications). It also compiles Dafny code to familiar development environments such as C#, Java, JavaScript, Go and Python (with more to come) so Dafny can integrate with your ex...]]> language compiler programming verification specification https://pinboard.in/u:cothrun/b:63bf25a2a80e/ 2025-12-04T01:46:21+00:00 https://lobste.rs/s/1ullif/how_should_we_peer_review_software cothrunpeerreview software papers programming https://pinboard.in/u:cothrun/b:d98a10bf39b2/ 2025-12-03T22:45:38+00:00 https://www.unison-lang.org/ cothrunA friendly programming language from the future.]]> functional language programming distributed https://pinboard.in/u:cothrun/b:85066a7beb2d/ 2025-11-25T01:02:59+00:00 https://news.ycombinator.com/item?id=45974732 cothrunnostalgia learning history internet programming https://pinboard.in/u:cothrun/b:f13143806bcc/ 2025-11-21T16:02:34+00:00 https://news.ycombinator.com/item?id=46003144 cothrunawk ai llm programming dsl https://pinboard.in/u:cothrun/b:a94c36e1f07c/ 2025-11-17T04:51:26+00:00 https://news.ycombinator.com/item?id=45948254 cothrunprogramming books https://pinboard.in/u:cothrun/b:b0423d6349f0/ 2025-11-06T18:15:03+00:00 https://news.ycombinator.com/item?id=45801416 cothruntechnology decisions programming languages https://pinboard.in/u:cothrun/b:3bbf594ec9bf/ 2025-10-24T20:57:27+00:00 https://www.theaudioprogrammer.com/learn-audio-programming cothrunGain skills, share knowledge, and join a thriving community of developers building the future of audio.]]> audio music programming learn https://pinboard.in/u:cothrun/b:3bb83977f0fb/ 2025-10-21T23:06:50+00:00 https://news.ycombinator.com/item?id=45647166 cothrunclaudecode codex ai programming https://pinboard.in/u:cothrun/b:345c0a1fdd0b/ 2025-10-17T16:56:09+00:00 https://wordsandbuttons.online/lexical_differential_highlighting_instead_of_syntax_highlighting.html cothrunThis type of highlighting is ideal for assembly. With it, the things that shouldn't seem similar usually don't.]]> syntax reading productivity programming highlighting editors comprehension highlight https://pinboard.in/u:cothrun/b:c7b0e7af6336/ 2025-10-10T20:05:08+00:00 https://wickstrom.tech/2025-10-10-programming-in-the-sun-a-year-with-the-daylight-computer.html cothrundaylightcomputer tablet programming environment https://pinboard.in/u:cothrun/b:d8c10f323796/ 2025-10-10T19:37:27+00:00 https://news.ycombinator.com/item?id=45541600 cothruntalent programming software developers hiring https://pinboard.in/u:cothrun/b:f97afcaa8aaf/ 2025-10-08T20:04:11+00:00 https://cursed-lang.org/ cothrunprogramming language esolang genz sus https://pinboard.in/u:cothrun/b:05a7149fe467/ 2025-10-05T02:54:49+00:00 https://github.com/maks-ymilian/scythe cothrunScythe is a programming language that compiles to REAPER's JSFX, the language used for writing audio effects and instruments that you can instantly hear and tweak in real time. Scythe makes it easier to read and write code, especially for more complicated projects. It adds many features to JSFX, including: C-like syntax Structs Block scope A simple type system, including integer, boolean, pointer, array, and struct types Better control flow, including return, br...]]> reaper audio music jsfx language programming https://pinboard.in/u:cothrun/b:f37e4be13dc4/ 2025-10-04T00:40:13+00:00 https://news.ycombinator.com/item?id=45410940 cothruntaste programming engineering https://pinboard.in/u:cothrun/b:7fbd3e624b89/ 2025-09-22T19:45:25+00:00 https://github.com/mtdvio/every-programmer-should-know cothrunA collection of (mostly) technical things every software developer should know about - mtdvio/every-programmer-should-know]]> lists computerscience education software bestpractices webdev programming learning reference https://pinboard.in/u:cothrun/b:a71e51c33696/ 2025-09-17T04:20:12+00:00 https://news.ycombinator.com/item?id=45243925 cothrunlanguage programming pascal https://pinboard.in/u:cothrun/b:5e48b138f0de/ 2025-09-11T20:14:06+00:00 https://news.ycombinator.com/item?id=45210693 cothrunagents llm ai programming https://pinboard.in/u:cothrun/b:d9825ce8a444/ 2025-09-04T15:32:10+00:00 https://mikelovesrobots.substack.com/p/wheres-the-shovelware-why-ai-coding cothrun78% of developers claim AI makes them more productive. 14% say it's a 10x improvement. So where's the flood of new software? Turns out those productivity claims are bullshit.]]> ai llm coding programming productivity https://pinboard.in/u:cothrun/b:73408b60b33d/ 2025-09-02T23:44:13+00:00 https://news.ycombinator.com/item?id=45107962 cothrunllm ai programming claudecode https://pinboard.in/u:cothrun/b:be09daf26e7e/ 2025-08-31T22:44:44+00:00 https://t3x.org/#essays cothrunhistory programming articles tools https://pinboard.in/u:cothrun/b:f79a7416bbbb/ 2025-08-28T20:03:57+00:00 https://github.com/openai/codex cothrunLightweight coding agent that runs in your terminal - openai/codex]]> llm openai programming https://pinboard.in/u:cothrun/b:275152621828/ 2025-08-12T23:33:08+00:00 https://news.ycombinator.com/item?id=44879113 cothrunprogramming tools cpu language https://pinboard.in/u:cothrun/b:2c5498fc5ab7/ 2025-08-12T22:36:43+00:00 https://news.ycombinator.com/item?id=44843223 cothrunspellcheck tools history programming https://pinboard.in/u:cothrun/b:2c391bfc5fcc/ 2025-08-08T19:55:26+00:00 https://ieeexplore.ieee.org/document/11119124 cothruncognition cognitiveload attention thought programming https://pinboard.in/u:cothrun/b:25c0a995a21a/ 2025-07-28T17:39:28+00:00 https://news.ycombinator.com/item?id=44672149 cothrunaccessibility blind programming https://pinboard.in/u:cothrun/b:a78a6017f634/ 2025-07-14T15:37:08+00:00 https://onecompiler.com/ cothruntools programming coding online compiler https://pinboard.in/u:cothrun/b:d7b17ded3ee5/ 2025-07-08T23:06:11+00:00 https://lobste.rs/s/r9urjr/all_programming_languages_are_fast cothrunprogramming language performance https://pinboard.in/u:cothrun/b:b857290978b9/ 2025-07-08T21:54:07+00:00 https://evanhahn.com/how-i-build-software-quickly/ cothrunKnow how good your code needs to be for the task at hand. Start with a rough draft. Try to soften requirements if you can. Don't get distracted. Make small changes. Practice specific skills.]]> programming practices draft https://pinboard.in/u:cothrun/b:b4e581216c76/ 2025-06-30T18:47:30+00:00 https://lobste.rs/s/otlxxz/tools_i_love_mise_en_place cothruntools programming https://pinboard.in/u:cothrun/b:62c7c4ae91b3/ 2025-06-06T19:50:55+00:00 https://hueffner.de/falk/blog/a-leap-year-check-in-three-instructions.html cothrunassembly calendar optimization algorithms programming performance https://pinboard.in/u:cothrun/b:8b15b0ec2ae2/ 2025-06-06T16:48:31+00:00 https://lobste.rs/s/rzskjk/i_think_i_m_done_thinking_about_genai_for cothrunai llm programming https://pinboard.in/u:cothrun/b:f572e16f9197/ 2025-05-29T17:27:10+00:00 https://news.ycombinator.com/item?id=44124808 cothrunsimple programming easylang https://pinboard.in/u:cothrun/b:df249faa678a/ 2025-05-16T17:17:33+00:00 https://news.ycombinator.com/item?id=43980760 cothrunwriting programming articles lists computerscience https://pinboard.in/u:cothrun/b:df81751b19f4/ 2025-05-08T05:12:43+00:00 https://news.ycombinator.com/item?id=43902212 cothrungrowth programming professional https://pinboard.in/u:cothrun/b:e4b313f624ab/ 2025-05-02T17:15:50+00:00 https://news.ycombinator.com/item?id=43870969 cothrunlanguage programming https://pinboard.in/u:cothrun/b:26e6de814728/ 2025-04-30T00:35:50+00:00 https://news.ycombinator.com/item?id=43831628 cothrunprogramming datastructures trees https://pinboard.in/u:cothrun/b:e6137c5c5ae4/ 2025-04-26T21:21:00+00:00 https://unfetch.com/ cothrunAI agents]]> nocode api programming llm webtools agents https://pinboard.in/u:cothrun/b:3cdaf64b1f12/ 2025-04-25T21:44:59+00:00 https://curry-lang.org/ cothrunA Truly Integrated Functional Logic Programming Language]]> functional programming languages logic https://pinboard.in/u:cothrun/b:ee10a3d0c96c/ 2025-04-22T19:52:10+00:00 https://pike.lysator.liu.se/ cothrunlanguage programming dynamic https://pinboard.in/u:cothrun/b:5bb41549bc8c/ 2025-03-13T21:32:23+00:00 https://www.evanmiller.org/statistical-formulas-for-programmers.html cothrunstatistics reference programming https://pinboard.in/u:cothrun/b:e3f8ae03113d/ 2025-03-12T22:50:28+00:00 https://news.ycombinator.com/item?id=43340731 cothrunprogramming languages https://pinboard.in/u:cothrun/b:92215e9945e8/ 2025-03-11T05:45:11+00:00 https://news.ycombinator.com/item?id=43307809 cothrunllm ai programming aicoding bestpractice https://pinboard.in/u:cothrun/b:8c7a8884cf51/ 2025-03-04T00:18:15+00:00 https://untested.sonnet.io/notes/lets-hold-hands/#h-add-centipedes cothrunProjects, experiments and toys by Rafał Pastuszak]]> tools programming https://pinboard.in/u:cothrun/b:07517414acd1/ 2025-02-25T19:36:41+00:00 https://news.ycombinator.com/item?id=43137171 cothrunc programming tools zig rust https://pinboard.in/u:cothrun/b:02bafce3dc19/ 2025-02-18T00:11:06+00:00 https://news.ycombinator.com/item?id=43047341 cothrunexperience engineering programming legacycode https://pinboard.in/u:cothrun/b:0b272520d137/ 2025-02-05T19:54:21+00:00 https://strongly-typed-thoughts.net/blog/zig-2025 cothrunzig programming rust https://pinboard.in/u:cothrun/b:9a893138231d/ 2025-02-05T16:11:04+00:00 https://news.ycombinator.com/item?id=42946281 cothrunopinions bestpractices programming https://pinboard.in/u:cothrun/b:869ff7f5c53f/ 2025-02-04T02:27:32+00:00 https://news.ycombinator.com/item?id=42924448 cothrunrust systems programming https://pinboard.in/u:cothrun/b:fbcb0f6596a6/ 2025-02-03T20:49:42+00:00 https://lobste.rs/s/ockgcp/unexpected_benefits_building_your_own cothrunprogramming tools https://pinboard.in/u:cothrun/b:021fe844b048/ 2025-01-20T06:23:17+00:00 https://lobste.rs/s/uw0glu/comic_mono cothrunfonts monospace programming https://pinboard.in/u:cothrun/b:8885640b9140/ 2025-01-20T06:22:37+00:00 https://dtinth.github.io/comic-mono-font/ cothrunA legible monospace font… the very typeface you’ve been trained to recognize since childhood]]> typography free fonts comicsans monospace programming https://pinboard.in/u:cothrun/b:f0b29471c5c1/ 2025-01-12T02:36:13+00:00 https://news.ycombinator.com/item?id=42617645 cothrunllm productivity ai programming https://pinboard.in/u:cothrun/b:c226576c365b/ 2025-01-11T16:04:38+00:00 https://lobste.rs/s/dyjnnl/good_fast_cheap_pick_3_get_none cothrunlanguage compilers programming https://pinboard.in/u:cothrun/b:1c258707b707/ 2025-01-09T20:41:35+00:00 https://news.ycombinator.com/item?id=42611919 cothrunprogramming visualization https://pinboard.in/u:cothrun/b:5613326f86c7/ 2025-01-08T19:53:17+00:00 https://lobste.rs/s/v3zarc/they_all_use_it cothrunai llm copilot programming https://pinboard.in/u:cothrun/b:dd82ac98bf31/ 2025-01-08T17:48:59+00:00 https://github.com/cline/cline cothrunAutonomous coding agent right in your IDE, capable of creating/editing files, executing commands, using the browser, and more with your permission every step of the way. - cline/cline]]> llm ai programming cline agent https://pinboard.in/u:cothrun/b:465e60d236cb/ 2024-12-26T18:59:52+00:00 https://news.ycombinator.com/item?id=42512371 cothruntime utc programming gps https://pinboard.in/u:cothrun/b:e29d0e7a1306/