progscrape: homepages.inf.ed.ac.uk/wadler/simplicity-and-michelson.html

Simplicity and Michelson

7 years ago homepages.inf.ed.ac.uk

[DISCUSSION] Razen Lang – Built in Rust, Designed for Simplicity (Give Feedback about it)

7 days ago reddit.com compiler rust

Linearity and uniqueness

2 days ago kcsrk.info plt

Tools and datasets to support, sustain, and secure critical digital infrastructure

5 days ago ecosyste.ms show

Apple and Google clash with police and MPs over phone thefts

4 days ago bbc.com apple google

Use of Common Psychiatric Medications and Risk and Prognosis of ALS

3 hours ago jamanetwork.com health

mv and rename clones

6 days ago reddit.com go

About Python and Java

5 days ago reddit.com java python

Learning Rust and NeoVim

4 days ago reddit.com neovim rust vim

Series C and scale

36 hours ago cursor.com c

Smalltalk, Haskell and Lisp

33 hours ago storytotell.org haskell lisp plt

<Blink> and <Marquee> (2020)

an hour ago danq.me

Small Programs and Languages

39 hours ago ratfactor.com

Asking for advise on my project and the usage of TCP and Goroutines

38 hours ago reddit.com go

CRUDAdmin - Modern and light admin interface for FastAPI built with FastCRUD and HTMX

35 hours ago reddit.com python

winit and imgui event handler

5 days ago reddit.com rust

WebAIM: Up and Coming ARIA

5 days ago webaim.org a11y

Project in sveltekit and golang

45 hours ago reddit.com go

CompletableFuture and Virtual Thread discussion

13 hours ago reddit.com java

Lynx Proxy: A Powerful and Flexible Proxy Cli for HTTP(S) and WS(S)

2 days ago reddit.com https proxy rust

Exponential Functions and Euler's Formula

6 days ago deaneyang.com

LLMs and Elixir: Windfall or Deathblow?

3 days ago zachdaniel.dev elixir llm vibecoding

Programming language Dino and its implementation

2 days ago github.com

Exploring Apache Kafka Internals and Codebase

34 hours ago cefboud.com

what are Arguments, methods and recievers ?

23 hours ago reddit.com go

Web Crawler: I'm writing a crawler to navigate to a specific URL, inject an instrumentation script (preload script), capture network requests (documents and scripts), and watch and log calls related to WebAssembly and WebSockets…

40 hours ago reddit.com rust web

What We Lost with PHP and jQuery

6 days ago idiallo.com jquery php

Data Structures and Algorithms ( DSA ) in C++

6 days ago github.com algorithm c++

Hypervisors for Memory Introspection and Reverse Engineering

5 days ago secret.club reversing security

Unsafer ust and OS specific operation - Duva