All summaries have been generated automatically by GPT-3. No responsibility is claimed for their contents nor its accuracy.

  1. 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.

  2. 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

  3. Pipe Operator (|>) For JavaScript

    posted on Fri Jan 20 15:15:31 UTC 2023 by nassimsoftware | view on HN

    In the State of JS 2020 survey, the fourth top answer to “What do you feel is currently missing from JavaScript?” was a pipe operator. The article goes on to discuss the two fundamental styles of consecutive operations in JavaScript - passing the value as an argument to the operation (nesting the operations if there are multiple operations), or calling the function as a method on the value (chaining more method calls if there are multiple methods) - and the pros and cons of each

  4. 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.

  5. 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.

  6. The Rise of Steel Part II

    posted on Fri Jan 20 13:54:36 UTC 2023 by mooreds | view on HN

  7. 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

  8. 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, ...).

  9. 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.

  10. 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.

  11. 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.

  12. 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.

  13. Practical Scheme

    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.

  14. 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.

  15. 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.

  16. 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.

  17. 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.

  18. 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.

  19. 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.

  20. 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.

  21. 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.

  22. Deep learning tuning playbook

    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.

  23. 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.

  24. 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.

  25. 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.

  26. Ask HN: Where are all the parties?

    posted on Fri Jan 20 07:24:06 UTC 2023 by throwaway_party | view on HN

  27. 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.

  28. Rust in 2023: Growing Up

    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.

  29. Lisa Source Code Release

    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.

  30. 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.