Lobste.rs
- liberda.nl Trusting clients is probably a security flaw
If your service needs to trust the clients, hold my Big Mac
- zverok.space On programming and poetry (not Python’s tool)
Some thoughts on how programming’s unlikely relations to poetry, and some implications of those relations
- despairlabs.com A few nice things in OpenZFS 2.3
OpenZFS 2.3.0-rc1 was just tagged. This was the first full development cycle I was involved in and there’s lots I’m excited about beyond the headline items.
-
Anyone having fun and success using AIs to generate code in interesting unusual languages?
Anyone having fun and success using AIs to generate code in interesting unusual languages? The more interesting and the more unusual the better - I’m hoping for languages like Factor.
- matklad.github.io On Ousterhout's Dichotomy
Why are there so many programming languages? One of the driving reasons for this is that some languages tend to produce fast code, but are a bit of a pain to use (C++), while others are a breeze to write, but run somewhat slow (Python). Depending on the ratio of CPUs to programmers, one or the other...
- amyunger.com 6 things I learned interviewing for Staff positions
I recently completed an either 9 month or 2 month search for a new job, looking for Staff-level engineering positions for the first time in my career. I live...
-
Are you using any AI based code editors or extensions in your workflow
With the rise of AI based code editors like Cursor or extensions like double bot or continue dev How are you incorporating those in your workflow or how’s your experience has been like with those tools Also mentioning Claude Dev and Aider Chat Would love to hear your experiences
-
Tag proposal: Gleam
Gleam is a language for which I see a lot of articles, with some interest, and it doesn’t appear to be mostly self-posts and releases. Tagging it as Erlang is inappropriate, as it’s not Erlang. It gets posted about enough it deserves to be something filterable, in the past 3 months we’ve had:
- <a href="https://lobste.rs/s/k3s6cs/gleam_is_pragmatic" rel="ugc">https://lobste.rs/s/k3s6cs/gleam_is_pragmatic</a>
- <a href="https://lobste.rs/s/voqebm/designing_gleam_s_web_framework" rel="ugc">https://lobste.rs/s/voqebm/designing_gleam_s_web_framework</a>
- <a href="https://lobste.rs/s/9nyxpo/convenient_code_actions_gleam_v1_5" rel="ugc">https://lobste.rs/s/9nyxpo/convenient_code_actions_gleam_v1_5</a>
- <a href="https://lobste.rs/s/kxqlwz/my_first_experience_with_gleam_language" rel="ugc">https://lobste.rs/s/kxqlwz/my_first_experience_with_gleam_language</a>
- <a href="https://lobste.rs/s/3boto7/first_impressions_gleam_lots_joys_some" rel="ugc">https://lobste.rs/s/3boto7/first_impressions_gleam_lots_joys_some</a>
- <a href="https://lobste.rs/s/yanrtu/supercharged_labels_gleam_v1_4_0" rel="ugc">https://lobste.rs/s/yanrtu/supercharged_labels_gleam_v1_4_0</a>
- <a href="https://lobste.rs/s/kolbyk/new_gleam_feature_i_love" rel="ugc">https://lobste.rs/s/kolbyk/new_gleam_feature_i_love</a>
- <a href="https://lobste.rs/s/qqyfjh/enhancing_your_elixir_codebase_with" rel="ugc">https://lobste.rs/s/qqyfjh/enhancing_your_elixir_codebase_with</a>
- <a href="https://lobste.rs/s/8ufrdw/auto_imports_tolerant_expressions_gleam" rel="ugc">https://lobste.rs/s/8ufrdw/auto_imports_tolerant_expressions_gleam</a>
- <a href="https://lobste.rs/s/mmje1n/using_use_gleam" rel="ugc">https://lobste.rs/s/mmje1n/using_use_gleam</a>
- paper.wf Cursed Rust
Rust is a language with a lot of features. Sometimes those features have rough edges. Sometimes those rough edges are funny. Let's loo...
- blog.drewolson.org Gleam is Pragmatic
I’ve spent the past several years working with functional programming languages in my free time – primarily Haskell and OCaml. I love both languages but also find aspects of each frustrating. Haskell is terse and elegant with type classes providing a powerful mechanism for ad-hoc polymorphism. Howev...
-
rpgp (pure Rust OpenPGP library) gets support for RFC 9580 (OpenPGP v6)
fosstodon.org Heiko (@[email protected])New release today: #rPGP version 0.14.0 ✨ (#OpenPGP implemented in pure #Rust, permissively licensed) https://github.com/rpgp/rpgp/releases/tag/v0.14.0 This release brings rather complete support for the excellent new OpenPGP RFC 9580 (also known as "crypto refresh", or "v6") RFC 9580 standardiz...
- blog.timschumi.net Low-Level Development on Retail Android Hardware - Reconnaissance and Prototyping a Bootloader
Many months ago, a slightly younger Tim thought that porting mainline Linux to his old Android phone for the purpose of experimentation would be a great way to pass time. (In hindsight it was, but not for the reasons imagined.)
-
The end of Cryptography
archiveofourown.org The end of Cryptography - Slant - Cryptography - Fandom [Archive of Our Own]An Archive of Our Own, a project of the Organization for Transformative Works
- www.cnx-software.com Pimoroni Pico Plus 2 W combines RP2350B MCU with Raspberry Pi RM2 Wi-Fi and Bluetooth module - CNX Software
Pimoroni Pico Plus 2 W board features RP2350B MCU, a Raspberry Pi RM2 WiFi & Bluetooth module, 16MB flash, 8MB PSRAM, GPIOs, and a USB-C port
- ashishb.net Repairing database on the fly for millions of users
This is a story of a messaging app used by billions of users. The app followed an extremely strong model of privacy. The app never persisted the user’s data on the servers. All the communication is end-to-end encrypted. A lot of users of this app, especially, on Android would regularly uninstall and...
-
Confusing or misunderstood topics in systems programming: Processes, Pipes, I/O, Files and Threads/Async
pthorpe92.dev Confusing or misunderstood topics in systems programming: Part 0Processes, Pipes, I/O, Files and Threads/Async
-
PSA: SQLite WAL corruption silently loses committed entries
github.com GitHub - danthegoodman1/BreakingSQLite: A simple bit flip in the WAL can silently lose committed entriesA simple bit flip in the WAL can silently lose committed entries - danthegoodman1/BreakingSQLite
-
Tag proposal: retrocomputing
In spite of the ubiquity of ferrets like me who are perpetually fascinated by shiny novelties, the <a href="https://en.wikipedia.org/wiki/Retrocomputing" rel="ugc">retrocomputing</a> community is still alive and kicking, especially here on Lobsters. Observing the steady stream of these posts that have continued more-or-less unabated since I joined three years ago, I would like to (<a href="https://lobste.rs/s/g1gd3o/add_retro_tag" rel="ugc">re-</a>)propose a retrocomputing tag. Its description might read something like: <blockquote> Reproductions, emulators, and other revivals of historic technologies </blockquote> Some recent-ish candidate posts:
- <a href="https://lobste.rs/s/newopw/making_8_bit_music_from_scratch_at" rel="ugc">Making 8-bit Music From Scratch at the Commodore 64 BASIC Prompt</a>
- <a href="https://lobste.rs/s/iq8t7r/micromac_128k_macintosh_emulated_on" rel="ugc">MicroMac, a 128k Macintosh emulated on an RP2040</a>
- <a href="https://lobste.rs/s/bx6852/windows_98_disk_defrag_simulator" rel="ugc">Windows 98 Disk Defrag Simulator</a>
- <a href="https://lobste.rs/s/pyhh8z/wallops_modern_irc_client_for_classic_mac" rel="ugc">Wallops: A modern IRC client for classic Mac OS</a>
- <a href="https://lobste.rs/s/s0ypxv/networking_c64_os" rel="ugc">Networking in C64 OS</a>
- <a href="https://lobste.rs/s/zkgd9o/retrowin32_redoing_syscalls" rel="ugc">retrowin32: redoing syscalls</a>
- <a href="https://lobste.rs/s/7w8fbe/wikipedia_reader_for_classic_macos_2023" rel="ugc">Wikipedia Reader for classic MacOS (2023)</a>
- <a href="https://lobste.rs/s/pyqbs7/dmg_acid2_acid2_test_now_for_original_game" rel="ugc">dmg-acid2: The Acid2 test, now for the original Game Boy </a>
- <a href="https://lobste.rs/s/o2gim4/windows_3_11_on_qemu_5_2_0" rel="ugc">Windows 3.11 on QEMU 5.2.0</a>
- <a href="https://lobste.rs/s/kfpzks/departure_mono" rel="ugc">Departure Mono</a>
- <a href="https://lobste.rs/s/qrwhbm/minimal_64x4_diy_computer_with_4x" rel="ugc">Minimal 64x4 – DIY computer with 4x the processing power of a C64 or Apple II</a>
- <a href="https://lobste.rs/s/90sti9/serena_experimental_operating_system" rel="ugc">Serena: An experimental operating system for 32bit Amiga computers</a>
- <a href="https://lobste.rs/s/nuvdlo/retrospex_convert_images_fit_commodore" rel="ugc">retrospex: Convert images to fit Commodore 64 graphic modes </a>
- <a href="https://lobste.rs/s/o6i0fy/macintosh_powerpc_windows_nt_ported" rel="ugc">maciNTosh: PowerPC Windows NT ported to Power Macintosh systems</a>
- <a href="https://lobste.rs/s/97so6c/84_24" rel="ugc">84–24</a>
- <a href="https://lobste.rs/s/37vdz8/virtualizing_6502_with_6o6_incredible" rel="ugc">Virtualizing the 6502 with 6o6 (and The Incredible KIMplement goes 1.0)</a>
I’m sure there are others I’ve lost track of. Additional examples would be welcome.
- lightbytes.es.net 25 years of production IPv6 in ESnet
Twenty-five years ago Saturday, on August 3, 1999, IPv6 history was made: ESnet was issued its IPv6 production netblock, which is still in use today. The American Registry for Internet Number…
-
Ironclad: Hard real-time capable POSIX-compatible kernel written in SPARK/Ada
ironclad.nongnu.org IroncladIronclad is a free software formally verified kernel written in SPARK/Ada
Ironclad recently received funding: <a href="https://nlnet.nl/project/Ironclad/" rel="ugc">https://nlnet.nl/project/Ironclad/</a> Comments
-
Tag proposal: retro
In spite of the ubiquity of ferrets like me who are perpetually fascinated by shiny novelties, the <a href="https://en.wikipedia.org/wiki/Retrocomputing" rel="ugc">retrocomputing</a> community is still alive and kicking, especially here on Lobsters. Observing the steady stream of these posts that have continued more-or-less unabated since I joined three years ago, I would like to (<a href="https://lobste.rs/s/g1gd3o/add_retro_tag" rel="ugc">re-</a>)propose a retro tag. Its description might read something like: <blockquote> Reproductions, emulators, and other revivals of historic technologies </blockquote> Some recent-ish candidate posts:
- <a href="https://lobste.rs/s/newopw/making_8_bit_music_from_scratch_at" rel="ugc">Making 8-bit Music From Scratch at the Commodore 64 BASIC Prompt</a>
- <a href="https://lobste.rs/s/iq8t7r/micromac_128k_macintosh_emulated_on" rel="ugc">MicroMac, a 128k Macintosh emulated on an RP2040</a>
- <a href="https://lobste.rs/s/bx6852/windows_98_disk_defrag_simulator" rel="ugc">Windows 98 Disk Defrag Simulator</a>
- <a href="https://lobste.rs/s/pyhh8z/wallops_modern_irc_client_for_classic_mac" rel="ugc">Wallops: A modern IRC client for classic Mac OS</a>
- <a href="https://lobste.rs/s/s0ypxv/networking_c64_os" rel="ugc">Networking in C64 OS</a>
- <a href="https://lobste.rs/s/zkgd9o/retrowin32_redoing_syscalls" rel="ugc">retrowin32: redoing syscalls</a>
- <a href="https://lobste.rs/s/7w8fbe/wikipedia_reader_for_classic_macos_2023" rel="ugc">Wikipedia Reader for classic MacOS (2023)</a>
- <a href="https://lobste.rs/s/pyqbs7/dmg_acid2_acid2_test_now_for_original_game" rel="ugc">dmg-acid2: The Acid2 test, now for the original Game Boy </a>
- <a href="https://lobste.rs/s/o2gim4/windows_3_11_on_qemu_5_2_0" rel="ugc">Windows 3.11 on QEMU 5.2.0</a>
- <a href="https://lobste.rs/s/kfpzks/departure_mono" rel="ugc">Departure Mono</a>
- <a href="https://lobste.rs/s/qrwhbm/minimal_64x4_diy_computer_with_4x" rel="ugc">Minimal 64x4 – DIY computer with 4x the processing power of a C64 or Apple II</a>
- <a href="https://lobste.rs/s/90sti9/serena_experimental_operating_system" rel="ugc">Serena: An experimental operating system for 32bit Amiga computers</a>
- <a href="https://lobste.rs/s/nuvdlo/retrospex_convert_images_fit_commodore" rel="ugc">retrospex: Convert images to fit Commodore 64 graphic modes </a>
- <a href="https://lobste.rs/s/o6i0fy/macintosh_powerpc_windows_nt_ported" rel="ugc">maciNTosh: PowerPC Windows NT ported to Power Macintosh systems</a>
- <a href="https://lobste.rs/s/97so6c/84_24" rel="ugc">84–24</a>
- <a href="https://lobste.rs/s/37vdz8/virtualizing_6502_with_6o6_incredible" rel="ugc">Virtualizing the 6502 with 6o6 (and The Incredible KIMplement goes 1.0)</a>
I’m sure there are others I’ve lost track of. Additional examples would be welcome.
- registerspill.thorstenball.com No, really: YAGNI
Friday evening I had dinner with Felix. Among other things, we talked about good code. Good code, we both agreed, is simple. It's code boiled down to its essence.
-
What are you doing this weekend?
Feel free to tell what you plan on doing this weekend and even ask for help or feedback. Please keep in mind it’s more than OK to do nothing at all too!
- nv1t.github.io Reverse Engineering and Dismantling Kekz Headphones
Close to a year ago, I stumbled upon the Kekz Headphones, which seemed like an interesting approach on the whole digital audio device space. They claimed to work without any internet connection and all of the content already on the headphones itself. They are On-Ear Headphones, which work by placing...