Hacker News with Generative AI: Computer Science

Solving the first 100 Project Euler problems using 100 languages (github.com/jaredkrinke)
This repository tracked a misguided quest to write code in 100 different programming languages, specifically by solving the first 100 Project Euler problems, using a different--and, ideally, new to me--language for each problem.

Programming, Software, Algorithms, Project Euler, Computer Science

180 points by todsacerdoti 1 day ago | 89 comments

Uncovering Real GPU NoC Characteristics: Implications on Interconnect Arch. (ece.ubc.ca)

GPU Architecture, Interconnect Architecture, Computer Science

24 points by matt_d 4 days ago | 2 comments

Programming in Lua (first edition) (2003) (lua.org)
This is the online version of the first edition of the book Programming in Lua, a detailed and authoritative introduction to all aspects of Lua programming written by Lua's chief architect.

Programming Languages, Lua, Books, Computer Science

75 points by rednafi 5 days ago | 61 comments

(Right-Nulled) Generalised LR Parsing (jeffsmits.net)
I hope you know a bit about LR parsing, otherwise this blog post won’t make much sense to you. You can read all about it in a previous post of mine. Today I want to discuss the problems with getting your language parsed in LR(1), or even LR(k). And how an old way to solve those problems is with a more powerful algorithm, that can parse any context-free grammar, no restrictions, no complaints about conflicts.

Programming, Computer Science, Parsing, Languages

3 points by thunderbong 5 days ago | 0 comments

Lambda Calculus in 383 Bytes (2022) (justine.lol)

Lambda Calculus, Programming, Web Development, Computer Science

309 points by MrBuddyCasino 5 days ago | 48 comments

(Right-Nulled) Generalised LR Parsing (jeffsmits.net)
I hope you know a bit about LR parsing, otherwise this blog post won’t make much sense to you. You can read all about it in a previous post of mine. Today I want to discuss the problems with getting your language parsed in LR(1), or even LR(k). And how an old way to solve those problems is with a more powerful algorithm, that can parse any context-free grammar, no restrictions, no complaints about conflicts.

Programming, Computer Science, Formal Languages, Parsing, LR Parsing

61 points by Apanatshka 6 days ago | 2 comments

Young Persons Guide to BCPL Programming on the Raspberry Pi [pdf] (cam.ac.uk)

Programming, Raspberry Pi, Computer Science, Education

62 points by scrlk 6 days ago | 28 comments

Treewidth? (ams.org)
The treewidth of a graph, a positive integer defined using a tree of sets of vertices, is central to graph structure theory and the parametrized complexity of algorithms.

Graph Theory, Algorithms, Computer Science, Mathematics

33 points by RafelMri 6 days ago | 12 comments

Nearly all binary searches and mergesorts are broken (2006) (research.google)
I remember vividly Jon Bentley's first Algorithms lecture at CMU, where he asked all of us incoming Ph.D. students to write a binary search, and then dissected one of our implementations in front of the class.

Algorithms, Computer Science, Software Development, Research

162 points by thunderbong 7 days ago | 188 comments

Reversible computing escapes the lab (ieee.org)
This weird information-theory concept has become a power-saving chip

Computer Science, Energy Efficiency, Quantum Computing

273 points by jasondavies 7 days ago | 75 comments

Flattening ASTs and other compiler data structures (2023) (cs.cornell.edu)
Arenas, a.k.a. regions, are everywhere in modern language implementations. One form of arenas is both super simple and surprisingly effective for compilers and compiler-like things. Maybe because of its simplicity, I haven’t seen the basic technique in many compiler courses—or anywhere else in a CS curriculum for that matter. This post is an introduction to the idea and its many virtues.

Compiler Optimization, Data Structures, Computer Science, Programming Languages

157 points by aw1621107 7 days ago | 46 comments

Experiments with Byte Matrix Multiplication (github.com/serge-sans-paille)
It's quite common in machine learning operations to multiply a matrix of unsigned byte by a matrix of signed byte.

Machine Learning, Programming, Computer Science, Matrix Multiplication, Open Source

41 points by serge-ss-paille 8 days ago | 4 comments

Northeastern's redesign of the CS curriculum (huntnewsnu.com)
On a university level, what makes for a good computer science curriculum?

Computer Science, Education, Curriculum, Universities

160 points by nickmain 8 days ago | 185 comments

Learning how to think with Meta Chain-of-Thought (arxiv.org)
We propose a novel framework, Meta Chain-of-Thought (Meta-CoT), which extends traditional Chain-of-Thought (CoT) by explicitly modeling the underlying reasoning required to arrive at a particular CoT.

Artificial Intelligence, Machine Learning, Research, Computer Science

228 points by drcwpl 8 days ago | 75 comments

Collatz's Ant and similarity of Collatz sequences (gbragafibra.github.io)
This is a brief continuation of a previous post (Repo), which introduced such visualization for collatz sequences based on Langton’s Ant.

Mathematics, Computer Science, Algorithms, Visualization

13 points by Fibra 9 days ago | 1 comments

Some programming language ideas (jerf.org)
Programming languages seem to have somewhat stagnated to me. A lot of shuffling around ideas that already exist, not a lot of new ones.

Programming Languages, Software Development, Computer Science

253 points by todsacerdoti 9 days ago | 237 comments

Operating System in 1,000 Lines – Intro (vercel.app)
Hey there! In this book, we're going to build a small operating system from scratch, step by step.

Operating Systems, Programming, Computer Science

1052 points by ingve 10 days ago | 121 comments

If GPUs Are So Good, Why Do We Still Use CPUs at All? (codingstuff.substack.com)
There’s this old video from 2009 that’s been going viral on Twitter recently. Its supposed to give viewers an intuition of the difference between CPUs and GPUs.

GPUs, CPUs, Hardware, Performance, Computer Science

90 points by teddywahle 10 days ago | 69 comments

Deformable Image Registration KU Repository (github.com/ThomasAlscher1991)
The Deformable Image Registration KU repository contains software developed at the Department of Computer Science at the University of Copenhagen dealing with flow based image registration.

Software, Image Processing, Computer Science

9 points by alonfnt 11 days ago | 3 comments

SAT Solver Etudes I (philipzucker.com)
SAT solving is kind of too big a topic for one post. Here is some discussion, programs and links.

SAT Solvers, Programming, Logic, Computer Science

45 points by mathgenius 11 days ago | 30 comments

Minimum bipartite matching via Riemann optimization (2023) (ocramz.github.io)
Some time ago I ran into two separate instances of the same combinatorial optimization problem in the span of a few days, and decided to read up a little on the fundamentals. The two applications were object tracking in videos, and peak alignment in chromatography data.

Optimization, Algorithms, Combinatorics, Computer Science

80 points by f1shy 12 days ago | 23 comments

C is not a Low Level Language (dl.acm.org)

Programming Languages, Computer Science, Software Development

18 points by skadamat 13 days ago | 10 comments

Types and Programming Languages (cis.upenn.edu)

Types, Programming Languages, Computer Science

41 points by MrBuddyCasino 13 days ago | 9 comments

Programming as Theory Building (1985) [pdf] (cs.wisc.edu)

Programming, Theory, Software Development, Computer Science

211 points by beryilma 14 days ago | 44 comments

XORShift for Magic Bitboards (strydr.net)
Devlog 0x1. This edition covers my implementation of a pseudo random number generator using the XORSHIFT32 algorithm.

Computer Science, Algorithms

47 points by chilipepperhott 14 days ago | 5 comments

Transcendental Syntax (github.com/engboris)
The transcendental syntax is a method of constructing logical abstractions from a low-level elementary and "logic-agnostic" language.

Programming, Software, Logic, Computer Science

81 points by 4ad 14 days ago | 34 comments

The Recursive Book of Recursion (inventwithpython.com)
Recursion, and recursive algorithms, have a reputation for being intimidating. They're seen as an advanced computer science topic often brought up in coding interviews. Moreover, coders often perceive the use of a recursive algorithm as a sophisticated solution that only true programmers can produce. But there's nothing magical about recursion. Its fearsome reputation is more a product of poor teaching than of the complexity of recursion itself.

Recursion, Programming, Computer Science, Algorithms

79 points by auraham 15 days ago | 52 comments

1.58-Bit Flux (chenglin-yang.github.io)
We present 1.58-bit FLUX, the first successful approach to quantizing the state-of-the-art text-to-image generation model, FLUX.1-dev, using 1.58-bit weights (i.e., values in {-1, 0, +1}) while maintaining comparable performance for generating 1024 x 1024 images.

Machine Learning, Text-to-Image Generation, Image Generation, Deep Learning, Computer Science