Superb discussion of Go semantics for `for` loop variables, the challenges of breaking changes, and the tradeoffs of static analysis:
https://github.com/golang/go/discussions/56010
miniblog.
@friend It seems like people find Zig comptime easier to reason about, hence the interest in introducing it to other languages.
That seems worth something. I still prefer Lisp/Clojure style macros over safer Scheme/Rust macros. Lisp macro implementations are closer to typical code.
@friend sqlite is a great example!
I used to use a Proper Database Server (typically postgres) for my hobby projects, but I'm so glad I switched. Initial deployment is way easier and my data is always pretty small.
comptime generics in Zig and template style generics (checked at the call site) versus concept style generics (checked at the definition site): https://typesanitizer.com/blog/zig-generics.html
It's funny how markdown has won in so many tools for prose, but doc comments syntax is so varied.
Rust and Julia are largely markdown, Python is ReST plus doctest syntax, and Java even an HTML dialect!
zmv is a mv alternative bundled with zsh that has an expressive globbing syntax. In many cases it can replace loops, and it even has a dry run option!
https://filipe.kiss.ink/zmv-zsh-rename/
Strategies for ramping up, working effectively and having fun when you're not using a mainstream programming language: https://morepablo.com/2022/09/so-you-re-using-a-weird-language.html
On programming language longevity, design niches, and the importance of community continuity:
https://codefol.io/posts/the-hundred-year-programming-language/
This article discussing forking sqlite draws an interesting parallel between forking and the prisoner's dilemma: forking as a solo contributor is rarely successful, unless others also wish to fork!
https://glaubercosta-11125.medium.com/sqlite-qemu-all-over-again-aedad19c9a1c
GNU Coreutils doesn't handle UTF-8 correctly yet: https://catgirl.ai/log/cut-c-harmful/
Re-reading Situated Software https://web.archive.org/web/20040411202042/http://www.shirky.com/writings/situated_software.html I keep wondering what tools are best suited.
If you want to create a small tool for a community you know, how do you build it?
(My current thoughts are: something you know well, probably with a GC)
I may look at support for Stable Diffusion the next time I buy a GPU. It's such an interesting tool.
(GPU prices are still a little crazy though.)
@elbosso Of course you can weigh in! :) I've used reveal.js for several presentations in the past, and I liked it.
The presentations looked great, especially with syntax highlighting.
I did find myself futzing with written HTML more than I wanted though (e.g. wanting an image caption in a specific place). It's also a little harder to share than a hosted service, especially if you want reader comments.
Definitely a great option in many cases still.
If you have a value that can be any type (the 'top type'), what operations should your language support on that value?
Equality is very common, but it's debatable. I increasingly feel that every value in a language should have some sort of debug print available.
Is there a good mnemonic for remembering borrowed : owned types in Rust?
&str : String
&[u8] : Vec<u8>
These are easy because I see them often. Knowing the owned equivalent of Path (it's PathBuf) is harder.
The motivations of YouCompleteMe, emphasising a design that requires the user to press no buttons to see completions: https://val.markovic.io/articles/youcompleteme-a-fast-as-you-type-fuzzy-search-code-completion-engine-for-vim
The difftastic manual now has a Chinese translation! https://difftastic.wilfred.me.uk/zh-CN/
This a great example of a feature that I could have never built myself :)
I often use Quip for writing documents and I've started using Google Slides for presentations. They have fewer features than competing tools, but I like them.
They have what I need, without being overwhelming. Maybe it takes a paradigm shift (e.g. desktop->web) to drop features.
Would you rather run a formally verified application on top of a conventional kernel/compiler toolchain, or a conventional application on verified kernel/compiler toolchain? Why?
Apparently the WTF license is used in software packaged by all major distros, and the FSF considers it valid! https://www.wtfpl.net/faq/
Showing 581-600 of 7,506 posts