progscrape: blog.jle.im/entry/shuffling-things-up.html

Shuffling things up: Solving Advent of Code with the help of Group Theory and Haskell

4 years ago blog.jle.im haskell

Faking ADTs and GADTs in Languages That Shouldn't Have Them

3 days ago blog.jle.im

Advent of Code in Coq (2021)

3 days ago github.com formalmethods

I made a procedural art web app based on Advent of Code

22 hours ago reddit.com art rust web

Calling Rust from Haskell

43 hours ago willmcpherson2.com haskell rust

Doing Evil Things with Generative AI and Recipes

12 hours ago raymondcamden.com ai javascript

Move fast, break things: A review of Abundance by Ezra Klein and Derek Thompson

3 days ago networked.substack.com

Celebrate 50 years of Microsoft with the company's original source code

42 hours ago gatesnotes.com assembly historical microsoft retrocomputing

Taco Bell parent Yum Brands partners with Nvidia to speed up use of AI

35 hours ago cnbc.com ai nvidia

Help with making a program

34 hours ago github.com

File upload with echo help

27 hours ago reddit.com go

Collective narcissism (superiority of own national group), paranoid thinking and distrust in science predict climate change conspiracy beliefs

2 days ago psypost.org psychology

Seeking Help with Rust + ScyllaDB Auth Service Performance and Benchmarking Issues

2 days ago reddit.com rust

Can someone help me to understand why my golang http handler exit with status code 1

2 days ago reddit.com go http

Help with my first Go project

2 days ago reddit.com go

Waltz's team set up at least 20 Signal group chats for crises across the world

2 days ago politico.com signal

This is, in theory, the BEST mean-reverting strategy. Here's how I created it with a single click of a button.

46 hours ago nexustrade.io

Trouble with Utoipa and rust model serialization of recursive type.

3 days ago reddit.com rust

Help with using same functions across different projects

3 days ago reddit.com go

Of manners and machines

27 hours ago commaok.xyz ai philosophy

The good, the bad, and the ugly of managing Sphinx projects with Bazel

3 days ago technicalwriting.dev show web

Excel-native formula for 'root solving' by numerical analysis

4 days ago reddit.com python

Plankton and fish help sequester 10 billion tons of CO2 in the ocean each year - an ecosystem service worth $2 trillion USD

3 days ago rdcu.be environment

An examination of Rocky Mountain snow finds higher contamination levels of mercury and others metals in the northern part of the range, consistent with increased current and historical mining in the region.

2 days ago dri.edu environment

The Cult of Clean Code: How Programming Perfectionism Became a Productivity Cult

3 days ago medium.com

Understanding Machine Learning: From Theory to Algorithms

12 hours ago cs.huji.ac.il algorithm

Structure and Interpretation of Computer Programs

8 hours ago mitp-content-server.mit.edu book

The Rise and Fall of Software Engineers

3 days ago youtube.com

Head of NSA and Cybercommand Is Ousted

25 hours ago nytimes.com nsa

The reality of working in tech: We're not hired to write code (2023)

2 days ago idiallo.com

Recent research suggest that CaYABBY5 may modulate the morphogenesis of floral organs and fruits by interacting with CaSEP3

2 days ago doi.org biology

>progscrape ▒

All the news that's fit to scrape