Lobste.rs

47 readers
0 users here now

RSS Feed of lobste.rs

founded 4 months ago
MODERATORS
[email protected]
[email protected]
listing: all - local
1
1
Typst as a Language (justinpombrio.net)
submitted 2 months ago by [email protected] to c/[email protected]
0 comments fedilink
 
 

Investigating the Typst programming language. Comments

2
1
Why do we call it "boilerplate code?" (2022) (buttondown.com)
submitted 2 months ago by [email protected] to c/[email protected]
0 comments fedilink
 
 

Comments

3
1
Compilation on the GPU? A feasibility study (dl.acm.org)
submitted 2 months ago by [email protected] to c/[email protected]
0 comments fedilink
 
 

Comments

4
1
Semantics of Programming (video lectures that go with the "Concrete Semantics" book) (live.rbg.tum.de)
submitted 2 months ago by [email protected] to c/[email protected]
0 comments fedilink
 
 

I’ve been working through the “Software Foundations” material that’s been mentioned around here; and also briefly looked at but haven’t yet worked through “Concrete Semantics.” I do like watching / listening to lectures too, and I came across a bunch for Software Foundations (also some from Xavier Leroy on compiler certification – https://www.youtube.com/playlist?list=PLGCr8P_YncjUX7yHchN7KSS83KXMHmC6e). I hadn’t seen this series on Concrete Semantics be mentioned (I had to do a little bit of diving to find it), so thought I’d post. You’ll likely want to click ‘Oldest first’ at the top if you want to check out the lectures in order. Comments

5
1
Inline Assembly Dangers (fobes.dev)
submitted 2 months ago by [email protected] to c/[email protected]
0 comments fedilink
 
 

Comments

6
1
Advent of Code 2024 starting soon (adventofcode.com)
submitted 2 months ago by [email protected] to c/[email protected]
0 comments fedilink
 
 

Do you plan to participate? If, do you plan to go all the way? What language will you use? Other thoughts? Comments

7
1
The Harmful Consequences of the Robustness Principle (datatracker.ietf.org)
submitted 2 months ago by [email protected] to c/[email protected]
0 comments fedilink
 
 

Comments

8
1
SheetsUI, a TUI spreadsheet application based on the IronCalc engine (github.com)
submitted 2 months ago by [email protected] to c/[email protected]
0 comments fedilink
 
 

Comments

9
1
Python type hints are probably "worth it" for me (utcc.utoronto.ca)
submitted 2 months ago by [email protected] to c/[email protected]
0 comments fedilink
 
 

Comments

10
1
Learnings after 4 years working with +50 companies on data engineering projects (javisantana.com)
submitted 2 months ago by [email protected] to c/[email protected]
0 comments fedilink
 
 

Comments

11
1
Flu Conf 2025 (cryptography.dog)
submitted 2 months ago by [email protected] to c/[email protected]
0 comments fedilink
 
 

Comments

12
1
Minimize Javascript in your codebase (ashishb.net)
submitted 2 months ago by [email protected] to c/[email protected]
0 comments fedilink
 
 

Comments

13
1
Property-based Testing Patterns (2016) (blog.ssanj.net)
submitted 2 months ago by [email protected] to c/[email protected]
0 comments fedilink
 
 

Comments

14
1
Making Screenshots of Test Equipment Old and New (tomverbeure.github.io)
submitted 2 months ago by [email protected] to c/[email protected]
0 comments fedilink
 
 

Comments

15
1
The complexities of enabling OpenCL support (catfox.life)
submitted 2 months ago by [email protected] to c/[email protected]
0 comments fedilink
 
 

Comments

16
1
Demystifying git submodules (www.cyberdemon.org)
submitted 2 months ago by [email protected] to c/[email protected]
0 comments fedilink
 
 

Comments

17
1
Operator transposition (moonbase.lgbt)
submitted 2 months ago by [email protected] to c/[email protected]
0 comments fedilink
 
 

Comments

18
1
Shadow Workspace: Iterating on Code in the Background (www.cursor.com)
submitted 2 months ago by [email protected] to c/[email protected]
0 comments fedilink
 
 

Comments

19
1
Exploring parsing APIs: the cost of recursion (osa1.net)
submitted 2 months ago by [email protected] to c/[email protected]
0 comments fedilink
 
 

Comments

20
1
New Proposal: Go Error Function Handling Inspired by Iterators | Go 1.23 Error Management (www.mmtool.top)
submitted 2 months ago by [email protected] to c/[email protected]
0 comments fedilink
 
 

Comments

21
1
Bevy 0.15 Released (bevyengine.org)
submitted 2 months ago by [email protected] to c/[email protected]
0 comments fedilink
 
 

Comments

22
1
Measuring and Improving rustls's Multithreaded Performance (rustls.dev)
submitted 2 months ago by [email protected] to c/[email protected]
0 comments fedilink
 
 

Comments

23
1
The Hall SC-VGA-2 video processor, the Atari ST and NeXTSTEP (oldvcr.blogspot.com)
submitted 2 months ago by [email protected] to c/[email protected]
0 comments fedilink
 
 

Comments

24
1
First Router Designed Specifically For OpenWrt Released (sfconservancy.org)
submitted 2 months ago by [email protected] to c/[email protected]
0 comments fedilink
 
 

Comments

25
1
jank is now running on LLVM IR (jank-lang.org)
submitted 2 months ago by [email protected] to c/[email protected]
0 comments fedilink
 
 

Comments

view more: next ›