All summaries have been generated automatically by GPT-3. No responsibility is claimed for their contents nor its accuracy.
Mercedes-Benz workforce to receive record profit-sharing bonus
posted on Fri Jan 20 14:59:33 UTC 2023 by ofcrpls | view on HN
The company's management and the General Works Council have agreed to pay all eligible employees a special lump sum bonus of up to 7,300 euros, a figure that is even higher than the current maximum payment cap of 6,465 euros.
Idris: A language for type-driven development
posted on Fri Jan 20 15:13:39 UTC 2023 by peter_d_sherman | view on HN
The Idris programming language is designed to encourage Type-Driven Development, which is a development approach in which types are used as tools for constructing programs. In Idris, types are first-class constructs in the langauge, which means they can be passed as arguments to functions, and returned from functions just like any other value. This enables relationships to be expressed between values, assumptions to be made explicit and checked by the compiler, and properties of program behaviour to be formally stated and
posted on Fri Jan 20 15:15:31 UTC 2023 by nassimsoftware | view on HN
PyTorch Vulkan Back End User Workflow
posted on Fri Jan 20 14:51:52 UTC 2023 by tormeh | view on HN
The article is about how to install and use the torchvision package to get the default pretrained float model.
I've procrastinated working on my thesis for more than a year
posted on Fri Jan 20 05:35:24 UTC 2023 by memorable | view on HN
The person writing this post has been procrastinating on their thesis for 18 months, despite having a great idea and support from their advisor.
posted on Fri Jan 20 13:54:36 UTC 2023 by mooreds | view on HN
Ask HN: Has anyone successfully started their career over in their 30s?
posted on Fri Jan 20 16:33:57 UTC 2023 by confoundcofound | view on HN
Runlike: Given an existing Docker container, prints the command line to run it
posted on Fri Jan 20 09:51:48 UTC 2023 by thunderbong | view on HN
This article is about a Docker container that outputs the command line necessary to run another one just like it, along with all those pesky options (ports, links, volumes, ...).
Can a Human See a Single Photon? (1996)
posted on Fri Jan 20 10:58:04 UTC 2023 by omarfarooq | view on HN
The article discusses a study in which human subjects were asked to say whether they thought they had seen a flash of light, with the light gradually being reduced in intensity.
Uses and abuses of military history
posted on Fri Jan 20 15:00:23 UTC 2023 by rntn | view on HN
The article discusses how military history is declining in popularity, especially among the educated elite, and argues that this is a bad thing because it results in a lack of understanding of wars and why they start.
Google to reduce workforce by 12k
posted on Fri Jan 20 10:21:01 UTC 2023 by colesantiago | view on HN
Sundar sent an email to Google employees earlier today announcing that the company will be reducing its workforce by approximately 12,000 roles.
CarSized: A way to visualise car dimensions
posted on Fri Jan 20 02:46:20 UTC 2023 by kennybrea | view on HN
The article is about the dimensions and starting MSRP of the 2019 Mercedes-Benz GLE SUV.
posted on Fri Jan 20 12:28:02 UTC 2023 by networked | view on HN
This page is a collection of libraries and extensions to use Scheme as a production tool.
Stay ahead of cyber threats with graph databases
posted on Fri Jan 20 14:48:59 UTC 2023 by taubek | view on HN
Digitalization in the 21st century has led to 91% of companies taking some form of digital initiative, while 87% of businesses are making it a strategic objective for the upcoming years.
The myth of the myth of the 10x programmer (2020)
posted on Fri Jan 20 11:21:25 UTC 2023 by nsoonhui | view on HN
This article is about the idea of the "10x developer" and how it is often debated. The author's experience is that there is no one 10x faster than their peers in solving well-defined programming problems, but the most productive developers are solving big problems.
Lago (YC S21), open source usage based billing, is hiring a cloud engineer
posted on Fri Jan 20 12:02:01 UTC 2023 by Rafsark | view on HN
Lago is an open-source billing API for usage-based, subscription-based, and all the nuances of pricing in between.
Choosing a Postgres primary key
posted on Fri Jan 20 10:55:30 UTC 2023 by awalias | view on HN
This article discusses the importance of primary keys and how to use them effectively.
Making-Of: Circle Drawing Page
posted on Wed Jan 18 10:02:21 UTC 2023 by ibobev | view on HN
The article is about the author's process for creating interactive tutorials, with a focus on the technology they use.
Getting started with property-based testing in Python with hypothesis and Pytest
posted on Fri Jan 20 09:28:12 UTC 2023 by BerislavLopac | view on HN
This tutorial will be your gentle guide to property-based testing, which is a testing philosophy; a way of approaching testing, much like unit testing is a testing philosophy in which we write tests that verify individual components of your code.
The enduring mystery of an aggressive FBI raid near Area 51
posted on Fri Jan 20 15:00:03 UTC 2023 by bookofjoe | view on HN
The article is about a man who was raided by the FBI and Air Force Office of Special Investigations and suspects it has something to do with his blog about Area 51.
SSHD: Random boot time relinking, OpenBSD
posted on Fri Jan 20 07:14:53 UTC 2023 by codesniperjoe | view on HN
Theo de Raadt committed the changes which allow for the boot time relinking of the sshd binary, meaning the binary layout is now semi-unknown.
posted on Fri Jan 20 05:17:12 UTC 2023 by tehnub | view on HN
This document is a guide for starting a new project with the goal of maximizing the performance of deep learning models.
The Rezwan Razack’s Museum of Indian Paper Money
posted on Fri Jan 20 10:53:30 UTC 2023 by jelliclesfarm | view on HN
The article is about Rezwan Razack, a businessman who has converted the fruit of his life-long obsession—which has now made him one of the world’s largest collectors of Indian paper currency notes—into a private museum for the public.
Wayfair is laying off 1,750 workers
posted on Fri Jan 20 14:36:16 UTC 2023 by greymalik | view on HN
The online furniture retailer has struggled with shrinking sales.
How to own an airline in 3 easy steps and grab the TSA nofly list along the way
posted on Thu Jan 19 22:39:12 UTC 2023 by half-kh-hacker | view on HN
A man finds an exposed Jenkins server belonging to CommuteAir and finds many interesting things, including a file with hardcoded credentials that allowed access to Navtech's SFTP server.
Ask HN: Where are all the parties?
posted on Fri Jan 20 07:24:06 UTC 2023 by throwaway_party | view on HN
Game that promised no paid DLC ever, getting paid DLC 'to fund the development'
posted on Fri Jan 20 16:19:06 UTC 2023 by DocFeind | view on HN
The article is discussing the reaction of the community to the announcement that the game Squad will start selling paid DLC in its next update. Some players are upset, feeling that this goes against promises made by the developers in the past, while others are more understanding, saying that the developers need to make money somehow to continue updating the game.
posted on Fri Jan 20 15:11:35 UTC 2023 by todsacerdoti | view on HN
The article discusses the various aspects of Rust that the author believes need improvement in order for the language to continue growing.
posted on Thu Jan 19 14:41:17 UTC 2023 by bitsavers | view on HN
The article discusses the impact of the Lisa computer on the development of the Macintosh line of computers.
Interesting Facts about Bell Labs and 2001: A Space Odyssey (2001)
posted on Fri Jan 20 06:04:21 UTC 2023 by ecliptik | view on HN
The article is about how the picture-phone unit in 2001: A Space Odyssey was based on technology that existed at Bell Labs, and how the company almost got into trouble for displaying the Bell System seal in the movie.