Tildes

https://tildes.net/

Tildes Sidebar Log in Activity Votes Comments New All activity from last 1 hour last 12 hours last 24 hours last 3 days last 7 days all time other period OK Almost a third of Gen
Tildes is a non-profit community site with no advertising or investors. It respects its users and their privacy, and prioritizes high-quality content and discussions.

lpcvoid's homepage

https://lpcvoid.com/

__ ______ ______ __ __ ______ ______ ______ /\ \ /\ __ \ /\ __ \ /\ \/\ \ /\ __ \ /\__ _\ /\ __ \ \ \ \ \ \ \_\ \\ \ \/\_\\ \ \ \ \\ \ \/\ \\/_/\ \/ \ \ \/\ \ \ \ \ __\ \ __/ \ \

simple multitask

http://wilsonminesco.com/multitask/

home   |   the links mine    |   6502 primer    |   large math look-up tables    |   65c02&nbs

Backpack: Retrofitting Haskell with Interfaces

https://plv.mpi-sws.org/backpack/

Backpack: Retrofitting Haskell with Interfaces Scott Kilpatrick MPI-SWS Derek Dreyer MPI-SWS Simon Peyton Jones Microsoft Research Simon Marlow Facebook 2014 ACM SIGPLAN-SIGACT Sy

Ron Schnell - @RonnieSchnell

http://www.driver-aces.com/ronnie.html

  Ron Schnell - @RonnieSchnell Frequently Asked Questions   I am known for several things: I was a kernel programmer at all of the major commercial UNIX manufacturers I

2017: September - December Political Notes - Richard Stallman

http://stallman.org/archives/2017-sep-dec.html

RSS site feed Richard Stallman's personal political notes from 2017: September - December These are my personal opinions and do not speak for the GNU Project, the FSF, or anyone e

Stephen Wolfram, A New Kind of Science

https://bactra.org/reviews/wolfram/

The Bactra Review: Occasional and eclectic book reviews by Cosma Shalizi   132 A New Kind of Science by Stephen Wolfram Wolfram Media, 2002 A Rare Blend of Monster Raving Ego

Computer Stupidities

http://rinkworks.com/stupid/

  Main        Site Guide      "On two occasions, I have been asked [by members of Parliament], 'Pray, Mr. Babbage, if you pu
Humorous anecdotes of users creatively misusing computers.

Home Page of Markus Triska

https://www.metalevel.at/

Home Page of Markus Triska Find your way—from darkness... to light. Knight of Cu ps Contact E-mail: triska@metalevel.at GitHub: github.com/triska If you have unexpectedly no

The Bugs Bunny Video Guide - The Looney Tunes Video History

http://www.dohtem.com/bugs/history/history5.htm

PART ONE - PART TWO - PART THREE - PART FOUR - PART FIVE PART FIVE: (Home) Box Office Bunny (The 2020s) When the clock struck midnight on January 1, 2020, there was no way to imag

Using Abstract Data Types in TLA+

https://www.hillelwayne.com/post/tla-adt/

Skip to Content Blog Projects Talks Consulting About Newsletter Learn TLA+ New: Logic for Programmers is now content-complete and in the hands of the copy editor! Get the curr
In my 2021 TLAConf Talk I introduced a technique for encoding abstract data types (ADTs). For accessibility I’m reproducing it here. This post is aimed at intermediate-level

Why Futhark?

https://futhark-lang.org/

The Futhark Programming Language High-performance purely functional data-parallel array programming Overview Examples Docs Publications Gotta Go Fast! Get Involved Blog Fork me on
A high-performance and high-level purely functional data-parallel array programming language that can execute on the GPU and CPU.

Find more...