~lobsters | Bookmarks (244)

clear filters

programming ×

Java 23: The New Features are Officially Announced

coderoasis.com

application development computer science java programming programming languages
2
Failures, Mistakes, Confusion

ignaskiela.eu

programming
1
Building a GPS Receiver, Part 1: Hearing Whispers

axleos.com

interactive programming
2
What are you doing this week? | Lobsters

lobste.rs

What are you doing this week? Feel free to share! Keep in mind it’s OK to...
What are you doing this week? Feel free to share! Keep in mind it’s OK to do nothing at all, too.

ask programming
1
Inko 0.14.0 released

inko-lang.org

plt programming
1
Elegance: The Undervalued System Requirement - Systems Approach

systemsapproach.org

Our last newsletter on our shifting perspective on blockchains forced us to ask the question: what...
Our last newsletter on our shifting perspective on blockchains forced us to ask the question: what caused us to see merit in that technology in the first place? And one answer was that we thought the underlying computer science (new consensus protocols) was clever. But that attraction of technological complexity for...

programming
1
Subset Park: Combinatory Programming

zdsmith.com

2024-04-06To The ProgrammerA combinator is a kind of function. Specifically, it’s a function that applies its...
2024-04-06To The ProgrammerA combinator is a kind of function. Specifically, it’s a function that applies its arguments—and only its arguments—to each other in a particular shape and order. The number of possible shapes is of course infinite; but in practice a few fairly simple shapes crop up more often than others,...

apl programming
1
How to write a code formatter

yorickpeterse.com

programming
2
zkSNARKs & zkSTARKs: A Novel Verifiable Computation Model

illya.sh

If you’ve heard of blockchain, you’ve likely heard of Zero-Knowledge Proofs (ZKP) and protocols build on...
If you’ve heard of blockchain, you’ve likely heard of Zero-Knowledge Proofs (ZKP) and protocols build on top of them like zkSNARKs and zkSTARKs. You may have also heard of zkLocus, which leverages these technologies to turn geolocation data into a Real World Asset (RWA) on-chain, and enable private and verifiable ge...

privacy programming
1
GitHub - linkdd/doceaser: Interactive documentation with Markdown and HTMX made easier

github.com

Hello there! This project is a bit of a proof concept, I wanted to generate documentation...
Hello there! This project is a bit of a proof concept, I wanted to generate documentation from Markdown files and be able to embed forms and other dynamic content in it using HTMX. This is how DocEaser was born. Comments

programming
1
“Tear”able Puns, and Worse Ideas: A Minimally Thread-Safe Cell

shift.click

programming
1
What are you doing this weekend? | Lobsters

lobste.rs

Feel free to tell what you plan on doing this weekend and even ask for help...
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!

ask programming
1
A math puzzle and a better algorithm for top-k | Quickwit

quickwit.io

compsci engineering math programming
1
p.b. hua

pbt.dev

2024-04-09 This is not just the source code; this is the user interface itself. Try checking...
2024-04-09 This is not just the source code; this is the user interface itself. Try checking off a todo or typing in one. (view full screen) At the Recurse Center, I thought a lot about computers. In a group I facilitated, the subject of the Dynabook came up: Alan Kay and Adele Goldberg’s vision for a programmable p...

programming web
1
Some notes on for loops

buttondown.email

April 10, 2024 Don't let Alloy facts make your specs a fiction, about formal methods practices...
April 10, 2024 Don't let Alloy facts make your specs a fiction, about formal methods practices (and a lot of Alloy). Patreon link here. I sometimes like to sharpen the axe by looking at a basic programming concept and seeing what I can pull out. In this case, for loops. There are two basic forms of for loops: for(i ...

programming
1
Crystal 1.12.0 is released!

crystal-lang.org

We are announcing a new Crystal release with several new features and bug fixes. Pre-built packages...
We are announcing a new Crystal release with several new features and bug fixes. Pre-built packages are available on GitHub Releases and our official distribution channels. See crystal-lang.org/install for instructions. Stats This release includes 142 changes since 1.11.2 by 14 contributors. We thank all the contrib...

programming
1
Chris's Wiki :: blog/programming/ConfigureNoSourceCodeChanges

utoronto.ca

programming
2
Carbon Copy Newsletter No.2 · carbon-language/carbon-lang · Discussion #3869

github.com

programming
1
What are you doing this week? | Lobsters

lobste.rs

What are you doing this week? Feel free to share! Keep in mind it’s OK to...
What are you doing this week? Feel free to share! Keep in mind it’s OK to do nothing at all, too.

ask programming
1
A TODO that lives inside your REPL

asciinema.org

programming video
1
Solving Advent of Code ’23 “Aplenty” by Compiling

abhinavsarkar.net

compilers haskell interpreters parsing programming
1
Learning lower-level programming | James' Coffee Blog

jamesg.blog

For most of my programming life, I have worked with the abstractions made by others. I...
For most of my programming life, I have worked with the abstractions made by others. I have used tools that use well-researched and clearly defined data structures to solve problems, rather than learning about them myself. Indeed, abstraction lets me stand on the shoulders of giants, using existing implementations o...

programming
1
eC Programming Language

ec-lang.org

import "ecere" #include <stdio.h> class Spell { public: int difficulty; int damage; int manaCost; virtual void...
import "ecere" #include <stdio.h> class Spell { public: int difficulty; int damage; int manaCost; virtual void Backfire(Creature self, Creature opponent) { self.health -= damage/4; } virtual void Success(Creature self, Creature opponent) { if(damage > opponent.health) damage = opponent.health; PrintLn(self._class.na...

programming
1
Do you have any programming "white whales"? | Lobsters

lobste.rs

I know many of us here have side projects. I’m wondering if there’s a project that...
I know many of us here have side projects. I’m wondering if there’s a project that you never figured out how to finish. Maybe it requires an non-existent algorithm, or the scope is too large for one person. Despite the barrier, it continues to live rent-free in your brain and you return to it occasionally hoping that you’ll crack it this time. I’m curious...

ask programming
1