TechBeat

Search This Blog

Show HN: Towards λ-calculus https://ift.tt/2rg6a2D

May 01, 2018

Show HN: Towards λ-calculus https://ift.tt/2JJuAsS May 2, 2018 at 12:18AM

Get link
Facebook
X
Pinterest
Email
Other Apps

Labels

Hacker News

Labels: Hacker News

Get link
Facebook
X
Pinterest
Email
Other Apps

Comments

Labels

’ try developing it
‘Five Eyes’ Nations Quietly Demand Government Access to Encrypted Data
'For me
“I'm basically giving myself a permanent vacation from being BDFL”
“Stylish” browser extension steals all your internet history
$600 Chromebooks are a dangerous development for Microsoft
0% to authors
000 open marijuana cases
000 Paintings and Drawings by Vincent van Gogh Digitized and Put Online
000 years come back to life

1/0 = 0
10-week
1500 Archers on a 28.8: Network Programming in Age of Empires and Beyond
24-core CPU and I can’t type an email
4D toys
A bootable CD image with a retro game in a single tweet
A California mall operator is sharing license plate tracking data with ICE
A div that looks different in every browser
A doctor in Bangladesh has found a simple way to treat infant pneumonia
A Dutch first: Ingenious BMW theft attempt
A First Course in Differential Equations for Scientists and Engineers
A military technique for falling asleep in two minutes
A new digital divide: Young people who can’t use keyboards
a New World Record
a Raytracing GPU
A sad update about a scissors maker that went viral
A time in 1994 when Steve Jobs got to use a device like an iPhone
A year later
Academic Torrents – Making 27TB of research data available
After 24 years
After century of removing appendixes
All Things Sales: Mini-lessons for startup founders
Alphabet Backs GitLab's Quest to Surpass Microsoft's GitHub
Alternatives to Google Products
Am I logged in or not? GDPR case study on the example of Chrome browser change
Amazon Dark Patterns
Amazon is stuffing its search results pages with ads
Amazon Is Tracking People
Amazon shareholders demand it stop selling facial recognition to governments
Amazon's Bezos Launches $2B Fund to Help the Homeless
Amazon’s share of the US e-commerce market is now 49%
America’s Teens Are Choosing YouTube Over Facebook
American tech giants are making life tough for startups
Americans Own Less Stuff
Americans Want to Believe Jobs Are the Solution to Poverty. They’re Not
An Intensive Introduction to Cryptography
an interactive SQL book
Anatomy of a Killing
and makes them pass
and now it’s dead
and share research
and single-use plastic containers
and stub HTTP interactions
and That’s Reason to Be Nervous
and the Future of Hack
and the ugly
and wrote Wolfram's cellular automaton in Node
Android
Angular
Anki: Memorization with Spaced Learning
Anthony Bourdain has died
Apple acquires Shazam
Apple and Google Face Growing Revolt Over App Store ‘Tax’
Apple and Microsoft Are Contributing to OpenStreetMap
Apple becomes the first $1T company
Apple can delete purchased movies from your library without telling you
Apple is rebuilding Maps from the ground up
Apple releases software fix for MacBook Pro slowdown
Apple's best product is now privacy
Arm Announces Client CPU Roadmap For Laptops
Ask HN: 2018 Summer Reading List?
Ask HN: Best alternative to Gmail?
Ask HN: Favorite teachers on YouTube?
Ask HN: What are the things that you have automated in your personal life?
Ask HN: What are your favorite statistics and probability textbooks?
Ask HN: What made your favorite manager/supervisor/CEO so great?
Ask HN: What open source project
Ask HN: What's your favorite way of getting a web app up quickly in 2018?
Ask HN: Who is hiring? (August 2018)
Ask HN: Who is hiring? (June 2018)
Ask HN: Who is hiring? (September 2018)
Ask HN: Why did your startup fail and what did you learn?
Assembly Language for Beginners [pdf]
Async and Await in Rust: a full proposal
autism
AWS icon quiz
Bach
Bail has become a way to lock up the poor regardless of guilt or threat
Bash Infinity: Standard library and boilerplate framework for Bash
Below the Surface – Finds from an archaeological project in the River Amstel
Best Buy Is Thriving in the Age of Amazon
Birth Rates Dropped Most in Counties Where Home Values Grew Most
Blue Origin successfully lands both booster and crew capsule after test launch
bottles
Brave files adtech complaint against Google
Build Impossible Programs
Building a Kickass Portfolio
Bullshit Jobs (Part 1 of ∞)
Bye bye BetterSlack
California law requires businesses to let you cancel your subscription online
California Moves to Require 100% Clean Electricity by 2045
Can Beethoven send takedown requests?
Canada legalises recreational cannabis use
Certificates for localhost
Changing Our Approach to Anti-Tracking
Chatbots were the next big thing: what happened?
Chemists discover how blue light speeds blindness
China Begins Production Of x86 Processors Based On AMD's IP
China now the most prolific contributor to physical sciences
China’s first ‘fully homegrown’ web browser found to be Google Chrome clone
Chrome 69 will keep Google Cookies when you tell it to delete all cookies
Chrome 69: “www.” subdomain missing from URL
Chrome is a Google Service that happens to include a Browser Engine
cite
Cities don't have to offer huge subsidies to companies like Apple and Amazon
claims YouTuber
CLI: Improved
Codec2: A Whole Podcast on a Floppy Disk
correct
Cory Doctorow: Zuck’s Empire of Oily Rags
Craft: A simple Minecraft clone written in C using OpenGL shaders
Cutting Role Doctors Play
Darpa invests $100M in a silicon compiler
Dear customers of Cloudflare: an appeal regarding Tor
Dear Moon
Decentralisation: the next big step for the world wide web
Denon-Marantz
Detecting the use of "curl | bash" server-side
Digital Exile: How I Got Banned for Life from AirBnB
Django Newbie Mistakes
Docker cannot be downloaded without logging into Docker Store
doctors find antibiotics can be enough
Don't Do This in Production
Doom II's final secret has been found
Draw This: a polaroid camera that draws cartoons
drivable Bugatti from over a million Technic pieces
Dry Water
DuckDuckGo Raises $10M
DuckDuckGo Traffic
Earliest images of the moon were much better than we realised
Ecuador will hand over Julian Assange to the UK
Edge Computing at Chick-fil-A
Electronic Circuit Simulator in the Browser
Elon Musk emails employees about 'extensive and damaging sabotage' by employee
Elon Musk Settles SEC Fraud Charges
Employers will do almost anything to find workers except pay them more
Ending PHP Support
Ending support for Dropbox syncing to drives with certain uncommon file systems
engineering
EPA is allowing asbestos back into manufacturing
Equifax has faced little fallout from losing data
Escher
ESLint compromised
EU approves internet copyright law
EU copyright law proposal rejected
EU fines Asus
EU to recommend that member states abolish daylight saving time
EU to stop changing the clocks in 2019
Europe Lost The Internet. Now
European Commission fines Google €4.34B in Android antitrust case
European parliament committee approves vote on ‘disastrous’ copyright bill
Ex-Google Employee Urges Lawmakers to Take on Company
Ex-Valve employee describes internal politics at 'self-organizing' companies
Exapunks
Experts Confirm
Facebook Field Guide to Machine Learning – video series
Facebook Gave Device Makers Deep Access to Data on Users and Friends
Facebook has asked U.S. banks to share financial information about customers
Facebook Is Giving Advertisers Access To Your Shadow Contact Information
Facebook Network Breach Impacts Up to 50M Users
Facebook stock drops more than 20% after revenue forecast misses
Facebook Tools Are Used to Screen Out Older Job Seekers
Facebook Wanted Gizmodo to Kill Investigative Tool
Falling in love with Rust
Farewell
fast: in that order
Faster – Fast key-value store from Microsoft Research
FCC admits it was never actually hacked
FDA approves first generic version of EpiPen
Federal chokehold on marijuana stymies studies on epilepsy
Feynman's Lost Lecture (ft. 3Blue1Brown) [video]
Fidelity Introduces Zero Expense Ratio Index Funds
Filament: Physically-based rendering engine
Firefox about:config privacy settings
Firefox is back. It's time to give it a try
First Successful Test of General Relativity Near Supermassive Black Hole
First-party isolation in Firefox: what breaks if you enable it?
Former Tesla Firmware Engineer Discusses the System
Founder to CEO: How to build a great company from the ground up
free until 2021
from Hacker News
Fukushima’s nuclear signature found in California wine
G Suite Horror Story
Georgia Tech Creates Cybersecurity Master’s Degree Online for Less Than $10k
get more: New Zealand firm's four-day week an 'unmitigated success'
GIMP receives a $100K donation
GitHub is closed source (2016)
GitLab is open core
GLB: GitHub's open source load balancer
GlobalFoundries Stops All 7nm Development
GnuPG can now be used to perform notarial acts in the State of Washington
Go 2 Draft Designs
Goodbye Microservices: From 100s of problem children to 1 superstar
Google AMP – A 70% drop in our conversion rate
Google and Mastercard Cut Ad Deal to Track Retail Sales
Google Cloud Downtime Postmortem
Google Dataset Search
Google Engineers Refused to Build Security Tool to Win Military Contracts
Google is discontinuing Inbox
Google Maps
Google Maps won't let you save home address without allowing all Google tracking
Google Needs to Come Clean About Its Chinese Plans
Google Plans to Launch Censored Search Engine in China
Google quits selling tablets
Google Scientist Resigns Over “Forfeiture of Our Values” in China
Google Suppresses Memo Revealing Plans to Closely Track Search Users in China
Google takes another swipe at its most passionate users
Google to developers: We take down your extension because we can
Google tracks users who turn off location history
Google tracks your movements
Google wants websites to adopt AMP as the default for building webpages
Google: Security Keys Neutralized Employee Phishing
Google’s Jeff Dean’s undergrad senior thesis on neural networks (1990) [pdf]
Grow the Puzzle Around You
Guidelines for Brutalist Web Design
Habits of Highly Miserable People
Hacker News
Half of ICOs Die Within Four Months After Token Sales Finalized
has the highest code quality?
Hayabusa2 Now
Helping People Take Control After a Data Breach
Hire people who aren’t proven
Home Assistant: Open-source home automation platform running on Python 3
horrible
How a Hacker Proved Cops Used a Stingray to Find Him
How America Uses Its Land
How an Ex-Cop Rigged McDonald’s Monopoly Game and Stole Millions
How an International Hacker Network Turned Stolen Press Releases into $100M
How Discord Handles Two and Half Million Concurrent Voice Users Using WebRTC
How Facebook
How I recorded user behaviour on my competitor’s websites
How I use Wireshark
How LeBron James' new public school is the first of its kind
How the Dutch created a casual biking culture
How to beat LinkedIn: The Game
How to Build a Low-Tech Website
How to Find Your Earliest Users
How to get kids to pay attention
How to get rich without getting lucky
How to teach yourself hard things
HPE recommends AMD Epyc
HUD Files Housing Discrimination Complaint Against Facebook
I don't trust Signal
I Write Letters to CEOs
I'm Scott Aaronson
IBM Is Being Sued for Age Discrimination After Firing Thousands
ID Database Compromised
Id Software
If wages are to rise
If you put chalk under a powerful microscope
Illegal Production and Use of Banned CFC-11 in China's Foam Blowing Industry
In killing Inbox
in your opinion
including ‘link tax’ and ‘upload filter’
India’s Aadhaar Software Hacked
India's first RISC-V based Chip is Here: Linux boots on Shakti processor
Instagram’s CEO
Instagram’s Co-Founders Said to Step Down from Company
Instead of ‘finding your passion
Insurance copays are higher than the cost of the drug about 25% of the time
Intel can’t supply 14nm Xeons
Intel patches new ME vulnerabilities
Intel Publishes Microcode Patches
Introducing Android 9 Pie
Introducing Cloudflare Registrar
Introducing Cloudflare’s IPFS Gateway
Introducing Firefox Monitor
Inventor says Google is patenting work he put in the public domain
iOS 12 released
IRC turns thirty
IRC.com Bought by London Trust Media
Is WebAssembly the Return of Java Applets and Flash?
Italy Wikipedia shuts down in protest at EU copyright law
iTerm2 has a new drawing engine that uses Metal 2
Itty Bitty: Sites contained within their own links
Jack Ma to Retire from Alibaba
Japan starts space elevator experiments
John McCain has died
John Resig: Introducing the GraphQL Guide
Julia 1.0
Justice Dept. Seizes Times Reporter’s Email/Phone Records in Leak Investigation
JVM Internals (2013)
Katie's New Face
Keeping a plaintext “did” file
Keyboard Service Program for MacBook and MacBook Pro
Knative – Kubernetes-based platform to manage modern serverless workloads
Lawsuit Claims
Leadership https://a16z.com/2018/08/22/introducing-the-cultural-leadership-fund/
Leadership https://gizmodo.com/microsoft-employees-pressure-leadership-to-cancel-ice-c-1826965297
Leadership https://theamericanscholar.org/solitude-and-leadership/
Leadership https://www.nextbigwhat.com/poor-leadership-burnout-297/
Leadership https://www.reuters.com/article/us-usa-trade-china-politics-analysis/handling-of-u-s-trade-dispute-causes-rift-in-chinese-leadership-sources-idUSKBN1KU0TU
Leaked Documents Reveal
Leaked Emails Show Google Expected Military Drone AI Work to Grow Exponentially
Learn C and Build Your Own Lisp (2014)
Learn how to design large-scale systems
Learning Dexterity
Learning from Terminals to Design the Future of User Interfaces
learning JS
Learning Math for Machine Learning
LEGO built a life size
Lessons from Building and Scaling Reddit's Ad Serving Platform with Go
Let Teenagers Sleep In
Let's Encrypt Root Trusted by All Major Root Programs
Librarian wins surprise judgement against Equifax in small claims court
like it or not
Linus Torvalds apologizes for his behavior
Linux Kernel Developer Criticizes Intel for Meltdown
Liquid water 'lake' revealed on Mars
MacBook Pro with faster performance and new features for pros
MacBook Pro with i9 chip is throttled due to thermal issues
Machine Learning Guides
MacOS Mojave removes subpixel anti-aliasing
Maersk installed 100-foot-tall rotating sails on one of its tankers
making non-retina displays blurry
Manhattan DA's office drops more than 3
Marketing Firm Exactis Leaked a Personal Info Database with 340M Records
Markov Chains Explained Visually (2014)
Mastodon Is Better Than Twitter: Elevator Pitch
math
may have stolen your credentials
Medieval Fantasy City Generator
Melatonin: Much More Than You Wanted to Know
Mercedes Readies First Tesla Rival in $12B Attack
Microsoft and GitHub: Empowering Developers
Microsoft intercepting Firefox and Chrome installation on Windows 10
Microsoft Urges Congress to Regulate Use of Facial Recognition
Minecraft Global Warming
MIT 9.11: The Human Brain (Spring 2018)
Mmm
Modifications to Google Chromium for removing Google integration
Monsanto ordered to pay $289M damages in Roundup cancer trial
Mr. Rogers Had a Simple Set of Rules for Talking to Children
Mumbai bans plastic bags
My dad’s resume and skills from 1980
My home lab setup for highly-available Internet
My Story as a Homeless Developer
Mysterious Methane on Mars
NASA Finds Ancient Organic Material
National prison strike launches over underpaid labor and prison conditions
Nearly 1
Netflix is the latest company to try bypassing Apple’s app store
New Evidence That Lead Exposure Increases Crime (2017)
New York Times Co. Reports $24M Profit
NewSQL databases fail to guarantee consistency and I blame Spanner
Nissan Admits Emissions-Test Data Was Falsified
No Benchmarking or Comparison Allowed
no good
Norwegian Consumer Council report on how tech companies use dark patterns [pdf]
NTSB: Autopilot steered Tesla car toward traffic barrier before deadly crash
Nvidia announces RTX 2000 GPU series with ‘6x more performance’ and ray-tracing
Nvidia Unveils Quadro RTX
NYC Mesh – community-owned network to replace your current internet connection
NYU Makes Tuition Free for All Medical Students
Ok-Cancel versus Cancel-Ok
On generative algorithms
online course
OpenAI Five
OpenBSD disables Intel's hyperthreading due to security concerns
OpenStax – openly licensed textbooks
organize
Original Source code for the Furby [pdf]
Our experience launching a paid
p-Hacking and False Discovery in A/B Testing
Pandoc
PeerTube
People Aren’t Dumb
People Like You More Than You Know
Periodic fasting starves cisplatin‐resistant cancers to death
Philips and Pioneer $130M for online price fixing
Pi-hole
Please stop asking me to use the app
Pledges an IRC Revival
Polly.js – Record
Popular iPhone apps caught sending user location data to monetization firms
Portable Cloud Programming with Go Cloud
Power Worth Less Than Zero Spreads as Green Energy Floods the Grid
Preventing Muscle Loss as We Age
Prime Down: Amazon’s sale day turns into fail day
Procrastination is more about managing emotions than time: study
Product Updates Based on Your Feedback
proprietary product on Linux
Psychedelics Promote Structural and Functional Neural Plasticity
Pure-GPU HTML UI Renderer for C++
Pyxel: A retro game development environment in Python
quantum computing/computational complexity researcher. AMA
Radical open-access plan could spell end to journal subscriptions
React
Reboot Your Dreamliner Every 248 Days to Avoid Integer Overflow (2015)
Redis will remain BSD licensed
Refresh: concept for a new kind of web browser
Remote Code Execution on a Facebook server
Remote Only
replay
Research shows that nearly every U.S. cell provider is doing throttling
Riot Games Approach to Anti-Cheat
rolls out 5000 cars in a week
SageMath – Open-Source Mathematical Software System
San Francisco's zoning makes it illegal to build apartments in 73.5% of the city
Sci-Hub Proves That Piracy Can Be Dangerously Useful
SEC Sues Musk and Seeks Ban for His Tweets on Go-Private Deal
Self-solving Rubik's Cube
Sen. Wyden Confirms Cell-Site Simulators Disrupt Emergency Calls
Serverless Docker Beta
Set Theory and Algebra in CS: Introduction to Mathematical Modeling (2013) [pdf]
SETI spots dozens of new mysterious signals emanating from distant galaxy
Sheryl Sandberg Misled Congress About Facebook’s Conscience
Show HN: Browsh – A modern
Show HN: Guitar Dashboard – Open source music theory explorer for guitarists
Show HN: Hacking slot machines with a buttonhole camera and brute-force search
Show HN: I made a privacy-first minimalist Google Analytics
Show HN: I made a tool that made me faster at Git
Show HN: I'm 12
Show HN: Layoutit – An interactive CSS Grid generator
Show HN: Lunar lander-type game with computational fluid dynamics
Show HN: Material Dashboard – Free Admin for Bootstrap 4
Show HN: Pts.js – A library for visualization and creative coding
Show HN: Retool – build internal tools faster
Show HN: Router7 – A pure-Go implementation of a small home internet router
Show HN: Select Star SQL
Show HN: Sublime Merge – A Git client from the makers of Sublime Text
Show HN: TechYaks – Best of 50k tech talks ranked by confidence intervals
Show HN: Termtosvg – Record terminal sessions as SVG animations
Show HN: Ultralight – Lightweight
Show HN: Um – Create your own man pages so you can remember how to do stuff
Simone Giertz – Back from brain surgery [video]
Simple
Slack Is Buying HipChat from Atlassian
Software development requires servant leaders
Solar Just Hit a Record Low Price in the U.S
Solar Surpasses Gas and Wind as Biggest Source of New U.S. Power
Solid – Reshape the web as we know it
Some Amazon Reviews Are Too Good to Be Believed – They're Paid For
Sony Finally Admits It Doesn’t Own Bach
Spanish Wikipedia also shuts down in protest at proposed EU copyright law
Spectre Response
SQLite Release 3.25.0 adds support for window functions
Stacking concrete blocks is a surprisingly efficient way to store energy
Stanford scholars say
Startup School: Every Company That Applied Is Now Accepted
State of Washington sues Facebook and Google over failure to disclose spending
Stripe Is Now a $20B Company
Stripe Issuing – An API for creating physical and virtual cards
Stripe Terminal – Programmable point of sale
succeeds in crowdfunding
Sucking carbon dioxide from air is cheaper than scientists thought
Supreme Court Rules Police Need Warrant to Track Your Cellphone
Supreme Court Should Say No to Patents That Take Old Ideas Away from the Public
Surrender to This Algorithm (2008)
takes time off
Teenager Finds Classical Alternative to Quantum Recommendation Algorithm
Teens who refuse to use social media
Telegram App Says Apple Is Blocking Updates Over Dispute with Russia
Telling the Truth About Defects in Technology Should Never Be Illegal
Terry Davis has died
Tesla Faces U.S. Criminal Probe Over Musk Statements
Tesla meets self-imposed deadline for Model 3
text-based browser
Thailand cave rescue: all 12 boys and coach successfully rescued
Thank you HN
Thanks to Digital Subscribers
That $35 that scientific journals charge goes 100% to publisher
the “Decentralized YouTube”
The #1 Office Perk? Natural Light
The 10:1 rule of writing and programming
The Akrasia Effect: Why We Don’t Follow Through on What We Set Out to Do
The Best Textbooks on Every Subject
The Bitter Regrets of a Useless Chinese Daughter
The Bulk of Software Engineering in 2018 Is Just Plumbing
The Bullshit Web
The default OpenSSH key encryption is worse than plaintext
The easiest way to keep your web apps accessible: Just use text
The Effect of Sleep on Happiness
The Effectiveness of Publicly Shaming Bad Security
The Future of Notebooks: Lessons from JupyterCon
The Great Apple Keyboard Cover-Up
The hotel bathroom puzzle
The iPhone SE was the best phone Apple ever made
The last thing libraries need is Silicon Valley “disruption.”
The Making of Underrun – A WebGL Shooter in 13kb of JavaScript
The Matrix Calculus You Need for Deep Learning
the meh
The Octonion Math That Could Underpin Physics
The open-plan office is a terrible
The Real Cost of the 2008 Financial Crisis
The Repeal of Net Neutrality Is Official
The rich world needs higher real wage growth
The San Franciso Fire Department makes its own wooden ladders by hand
The secret call to Andy Grove that may have helped Apple buy NeXT
The Site Reliability Workbook: Practical Ways to Implement SRE [pdf]
The Total Beginner's Guide to Game AI
The Transport Layer Security (TLS) Protocol Version 1.3
the World Is Hard
The Wrong Abstraction (2016)
Things they don’t teach you running a business by yourself
this is paradise': life in the Spanish city that banned cars
threading-based Slack alternative
Ticketmaster recruits pros for secret scalper program
Tim Berners-Lee’s Solid is a platform designed to re-decentralize the web
Timeline of the far future
Tiny Plastic Is Everywhere
Titans of Mathematics Clash Over Epic Proof of ABC Conjecture
To Remember Everything You Learn
Today
Tools of the Trade
Toyota Investing $500M in Uber in Driverless Car Pact
Traveler sues US Customs and Border Protection over iPhone search and seizure
Trial wipes out over 80% of Australian disease-spreading mosquito
TSA is tracking regular travelers like terrorists in secret surveillance program
Twenty-two states ask appeals court to bring back net neutrality
Twitch streamers who spend years broadcasting to no one
Twitter ‘smytes’ customers
Twitter Will Show Who Pays for Ads and How Much They Spend
TypeScript at Google
U.S. to make More Drugs Easily Available
Uber shuts down self-driving trucks unit
Unified access to the best community-driven cheat sheets repositories
Upgrading GitHub from Rails 3.2 to 5.2
Using FOIA Data and Unix to halve major source of parking tickets
Utah expands public transportation with rapid bus transit
Valve Rolls Out Wine-Based “Proton” for Running Windows Games on Linux
Verizon throttled fire department’s “unlimited” data during wildfire
very bad idea
Volkswagen – detects when your tests are run in a CI server
Vue.js
Vue.js: the good
We Fight Back
We Spent $3.3M Buying Out Investors: Why and How We Did It
We're Baking ‘Have I Been Pwned’ into Firefox and 1Password
WebSub: Open protocol for distributed pub–sub communication on the internet
Wells Fargo Bans Cryptocurrency Purchases on Its Credit Cards
What happens when you ask people to draw a bike (2016)
What Is This Thing: Found Hooked Up to My Router
What is this Twitter army of Amazon drones cheerfully defending warehouse work?
WhatsApp Cofounder Brian Acton on Why He Left $850M Behind
Who Left Open The Cookie Jar?
Whole Foods workers seek to unionize
Why a Typical Home Solar Setup Does Not Work with the Grid Down
Why Do Keynote Speakers Keep Suggesting That Improving Security Is Possible?
Why does a spray bottle work?
Why Google Stores Billions of Lines of Code in a Single Repository
Why GOV.UK content should be published in HTML and not PDF
Why I Don't Love Gödel
Why I Ripped the Same CD 300 Times
Why I’m leaving Chrome
Why nobody ever wins the car at the mall
Why Skylake CPUs Are Sometimes 50% Slower
Why Use OpenStreetMap Instead of Google Maps?
Why you should learn just a little Awk (2010)
Why you should not use Google Cloud
WireGuard VPN review: A new type of VPN offers serious advantages
Woman Rides Bicycle to 183.9 MPH
Work less
workers need more bargaining power
World’s Oldest Surviving Torrent Still Alive After 15 Years
Worms frozen in permafrost for up to 42
Worst Computer Bugs in History: Therac-25 (2017)
Write – A word processor for handwriting
XSV: A fast CSV command-line toolkit written in Rust
YAML: probably not so great after all (2017)
YC Startup School 2018: a free
Yes
You don’t need standups
YouTube and Netflix ‘Throttled’ by Carriers
Youtube-dl: Command-line program to download videos
YouTube's tendency to push everyday users toward politically extreme content
Zoho.com CEO says domain with 40M users suspended for abuse complaint
Zotero: An open-source tool to help collect
Zulip – Open-source

Show more Show less

Report Abuse

Powered by Blogger

TechBeat

Show HN: Towards λ-calculus https://ift.tt/2rg6a2D

Labels

Comments

Post a Comment