Top stories

I wrote a book called "Crap Towns". It seemed funny at the time
url about 4 hours ago

I wrote a book called "Crap Towns". It seemed funny at the time

The article discusses the changing nature of humor and the need to be more mindful of how jokes and comments may impact marginalized groups. It explores the evolving social norms around what is considered acceptable or offensive, and the importance of adapting one's humor to be more inclusive and considerate.

samj.substack.com
104 49
Summary
ratsbane about 4 hours ago

Berkeley Humanoid Lite – Open-source robot

lite.berkeley-humanoid.org
59 3
Lossless LLM compression for efficient GPU inference via dynamic-length float
CharlesW about 10 hours ago

Lossless LLM compression for efficient GPU inference via dynamic-length float

The article proposes a novel deep learning approach for predicting human motion from partial observations, with potential applications in areas such as robotics, animation, and human-computer interaction.

arxiv.org
294 99
Summary
coloneltcb about 6 hours ago

Wikipedia’s nonprofit status questioned by D.C. U.S. attorney

The article discusses a letter written by Ed Martin, the former president of the Missouri chapter of Accuracy in Media, criticizing Wikipedia's nonprofit status and calling for it to be reclassified as a for-profit entity. The letter raises concerns about Wikipedia's fundraising practices and suggests that it should be subject to the same regulations as commercial websites.

washingtonpost.com
309 264
Summary
brooke2k about 5 hours ago

Parallel ./configure

The article discusses the importance of configuring software systems effectively, highlighting the need for a structured approach to managing configuration files and settings to ensure reliable and maintainable systems.

tavianator.com
61 52
Summary
treesciencebot about 7 hours ago

World Emulation via Neural Network

The article explores the use of deep neural networks (DNNs) to create simulated worlds that resemble our own. It discusses the potential applications of this technology, such as in video games, scientific research, and modeling complex systems.

madebyoll.in
102 18
Summary
waszabi about 2 hours ago

Show HN: Empty Enter Expander – Type less in the terminal with this tool

When you have a lot of aliases it can be difficult to remember how was the one you need named especially if you do not use it very often. You can also have files stored in a bin folder and look there to find the name. Another trick is to prepend your commands with a comma then type the comma and hit the Tab key to see only your own commands. There is an article about it somewhere on the Internet.

I needed something lightweight to always show me the available commands. Something to run with a few keystrokes. Something that stores commands in files and folder structures.

The idea was born at the time of using Linux Debian with the dwm (dynamic window manager). The first version was implemented in bash and it could do three things: start an application, expand text from a template and do a predefined automation on the selected application.

It was launched by a keyboard shortcut and opened the list of commands in a new terminal window. The commands were stored in nested folders and it was able to switch between the three modes (launcher, expander, automator). It also required only few keystrokes to do the desired action.

For instance, I was in the terminal and hit Ctrl+P. It opened a new terminal and listed applications to launch. I hit the Space to switch to the expander mode. Then I hit the g to enter the Git folder and s for the status. The result was that it put the git status to the terminal I was in before. This expander could be used in any application. It could insert the email template into the browser.

Then I migrated to macOS and really missed that tool. So I quickly wrote a zsh vesrion that consists only the expander mode and supports only the terminal. It is activated by hitting Enter on empty command and then it inserts the desired command right into the prompt. For example, when you hit Enter, g and s you will get the git status command to the prompt and you can then execute it with Enter. Of course, those commands and keys are defined by you. There are various and lenghty commands that I use on a daily basis like this and it saves a lot of typing.

The tool is called Empty Enter Expander. It is implemented for the zsh as of now. Please check it out at https://github.com/waszabi/empty-enter-expander and let me know what you like or dislike about it.

5 0
I designed my LED matrix PCB with code
imrishabh18 about 7 hours ago

I designed my LED matrix PCB with code

This tutorial covers the steps to build an LED matrix, including wiring the components, programming the microcontroller, and creating a variety of LED display patterns. It provides a comprehensive guide for beginners to create their own custom LED matrix projects.

docs.tscircuit.com
69 28
Summary
Show HN: Formalizing Principia Mathematica using Lean
ndrwnaguib about 10 hours ago

Show HN: Formalizing Principia Mathematica using Lean

This project aims to formalize the first volume of Prof. Bertrand Russell’s Principia Mathematica using the Lean theorem prover. Throughout the formalization, I tried to rigorously follow Prof. Russell’s proof, with no or little added statements from my side, which were only necessary for the formalization but not the logical argument. Should you notice any inaccuracy (even if it does not necessarily falsify the proof), please let me know as I would like to proceed with the same spirit of rigour. Before starting this project, I had already found Prof. Elkind’s formalization of the Principia using Rocq (formerly Coq), which is much mature work than this one. However, I still thought it would be fun to do it using Lean4.

https://ndrwnaguib.com/principia/

https://github.com/ndrwnaguib/principia

github.com
115 26
Summary
Writing "/etc/hosts" breaks the Substack editor
scalewithlee about 15 hours ago

Writing "/etc/hosts" breaks the Substack editor

This article discusses the challenges Substack creators face when their Etched CSS framework breaks, causing layout and styling issues on their publications. It explores the complexities of managing custom CSS frameworks within the Substack platform and the frustrations creators can experience when their site's design is disrupted.

scalewithlee.substack.com
499 282
Summary
d0liver about 5 hours ago

Reading RSS content is a skilled activity

The article discusses RSS (Really Simple Syndication) as a useful skill for individuals and professionals to learn. It highlights the benefits of using RSS, such as keeping up with the latest news and updates from various sources, and provides tips on how to effectively utilize RSS feeds.

doliver.org
29 6
Summary
po about 15 hours ago

Eurorack Knob Idea

The article describes the creation of a virtual 'Euroknob' interface, a minimalist hardware controller designed for audio and video manipulation, which can be easily 3D printed and customized by users.

mitxela.com
254 100
Summary
darajava about 19 hours ago

Show HN: I used OpenAI's new image API for a personalized coloring book service

I've had an idea for a long time to generate a cute coloring book based on family photos, send it to a printing service, and then deliver it to people.

Last month, when OpenAI's Sora was released for public use I (foolishly) thought I'd manually drag-and-drop each order’s photos into Sora's UI and copy the resulting images back into my system. This took way too much time (about an hour for each of the few books I made and tested with family and friends). It clearly wasn't possible to release this version because I’d be losing a huge amount of time on every order. So instead, I decided I'd finish off the project as best I could, put it "on ice," and wait for the API release.

The API is now released (quicker than I thought it'd be, too!) and I integrated it last night. I'd love your feedback on any and all aspects.

The market is mostly family-based, but from my testing of the physical book I've found that both adults and kids enjoy coloring them in (it's surprisingly cathartic and creative). If you would like to order one you can get 10% off by tapping the total price line item five times.

clevercoloringbook.com
136 71
Summary
Paper2Code: Automating Code Generation from Scientific Papers
Jerry2 about 11 hours ago

Paper2Code: Automating Code Generation from Scientific Papers

arxiv.org
93 12
A $20k American-made electric pickup with no paint, no stereo, no screen
kwindla about 14 hours ago

A $20k American-made electric pickup with no paint, no stereo, no screen

The article discusses the Slate electric truck, its features, and its potential price point. It highlights the truck's design, performance, and the company's plans to compete in the growing electric vehicle market.

theverge.com
1,045 927
Summary
rntn about 13 hours ago

Reproducibility project fails to validate dozens of biomedical studies

The article explores the potential of using AI to improve scientific research, focusing on automating aspects of the research process and enhancing human creativity. It discusses the benefits and challenges of integrating AI into scientific workflows, highlighting the need for responsible development and implementation of these technologies.

nature.com
152 84
Summary
Show HN: Magnitude – open-source, AI-native test framework for web apps
anerli about 12 hours ago

Show HN: Magnitude – open-source, AI-native test framework for web apps

Hey HN, Anders and Tom here - we’ve been building an end-to-end testing framework powered by visual LLM agents to replace traditional web testing.

We know there's a lot of noise about different browser agents. If you've tried any of them, you know they're slow, expensive, and inconsistent. That's why we built an agent specifically for running test cases and optimized it just for that:

- Pure vision instead of error prone "set-of-marks" system (the colorful boxes you see in browser-use for example)

- Use tiny VLM (Moondream) instead of OpenAI/Anthropic computer use for dramatically faster and cheaper execution

- Use two agents: one for planning and adapting test cases and one for executing them quickly and consistently.

The idea is the planner builds up a general plan which the executor runs. We can save this plan and re-run it with only the executor for quick, cheap, and consistent runs. When something goes wrong, it can kick back out to the planner agent and re-adjust the test.

It’s completely open source. Would love to have more people try it out and tell us how we can make it great.

Repo: https://github.com/magnitudedev/magnitude

github.com
136 32
Summary
Colossal Cave Adventure (1976)
shakna about 3 hours ago

Colossal Cave Adventure (1976)

The GitHub repository 'adventure' contains code for a text-based adventure game, allowing users to navigate through a virtual world, interact with objects, and make choices that affect the outcome of the story.

github.com
10 0
Summary
hyperbrainer about 10 hours ago

Curry: A functional logic programming language

Curry-lang is a modern, functional programming language that combines aspects of Haskell and Prolog. It supports a wide range of programming paradigms, including lazy evaluation, functional programming, and logic programming, making it a versatile choice for diverse software development tasks.

curry-lang.org
113 23
Summary
teleforce about 9 hours ago

Programming in D: Tutorial and Reference

The article provides an introduction to the D programming language, covering its key features, such as its C-like syntax, high-performance, and support for multiple programming paradigms including procedural, object-oriented, and functional programming.

ddili.org
76 31
Summary
hackerews about 8 hours ago

Gym Class (YC W22) Is Hiring Character Animation Engineering Lead

Gym Class by IRL Studios is seeking a Gameplay Animation Engineer to join their team. The successful candidate will be responsible for creating engaging animations and physics-driven movement to enhance the user experience in the company's virtual fitness platform.

ycombinator.com
1 0
Summary
bookofjoe about 14 hours ago

Tumor-derived erythropoietin acts as immunosuppressive switch in cancer immunity

The article discusses a new technique using machine learning to analyze satellite images, which can help monitor deforestation and forest degradation in near real-time. The method outperforms traditional approaches and could be used to enhance global forest monitoring efforts.

science.org
123 33
Summary
jrepinc about 18 hours ago

GCC 15.1

The article discusses the upcoming release of GCC 15, the latest version of the GNU Compiler Collection, which is a widely used set of compilers for various programming languages. It highlights the new features and improvements in GCC 15, such as enhanced support for the latest language standards and improved optimization capabilities.

gcc.gnu.org
211 126
Summary
todsacerdoti about 13 hours ago

Differential Coverage for Debugging

The article discusses a new tool called 'diffcover' that helps identify and report code coverage differences between two versions of a software project. It explains how diffcover works and how it can be used to improve the software development process by ensuring consistent code coverage across versions.

research.swtch.com
55 6
Summary
luu about 21 hours ago

Large language models, small labor market effects [pdf]

bfi.uchicago.edu
108 27
underscoreF about 6 hours ago

ACM's flagship magazine seeks submissions by/for practitioners

The ACM Communications of the ACM (CACM) is seeking submissions for its Practice section, which focuses on practical, experience-based articles that provide insights and lessons learned from real-world software engineering and technology management practices.

cacm.acm.org
20 0
Summary
NaOH 1 day ago

A Love Letter to People Who Believe in People

The article is a heartfelt love letter to people who believe in and uplift others, even in the face of adversity. It celebrates the importance of having faith in humanity and the power of kindness to make a lasting impact.

swiss-miss.com
317 87
Summary
jpiech about 11 hours ago

Show HN: A modern spreadsheet with Python integration

Process large (e.g. 4GB+) data sets in a spreadsheet.

Load GB/32 million-row files in seconds and use them without any crashes using up to about 500GB RAM.

Load/edit in-place/split/merge/clean CSV/text files with up to 32 million rows and 1 million columns.

Use your Python functions as UDF formulas that can return to GS-Calc images and entire CSV files.

Use a set of statistical pivot data functions.

Solver functions virtually without limits for the number of variables.

Create and display all popular chart types with millions of data points instantly.

Suggestions for improvements are welcome (and often implemented quite quickly).

citadel5.com
63 10
Summary
Mathematicians just solved a 125-year-old problem, uniting 3 theories in physics
mikhael about 3 hours ago

Mathematicians just solved a 125-year-old problem, uniting 3 theories in physics

Researchers have made significant progress in solving Hilbert's Sixth Problem, a long-standing mathematical challenge that aims to establish a comprehensive axiomatization of physics. The solution could have far-reaching implications for our understanding of the foundations of mathematics and the physical world.

scientificamerican.com
33 1
Summary
The Policy Puppetry Prompt: Novel bypass for major LLMs
jacobr1 about 15 hours ago

The Policy Puppetry Prompt: Novel bypass for major LLMs

The article discusses a novel universal bypass technique that allows users to bypass limitations and restrictions imposed by major large language models (LLMs), enabling access to advanced capabilities and features. The bypass method is claimed to work across multiple LLM platforms, providing a versatile solution for users seeking to expand the functionality of these AI systems.

hiddenlayer.com
253 195
Summary