Ask HN: Where do I go to learn more about the lambda calculus?

Scheme and Haskell are two of my favorite programming languages, and I know both are implementations of the lambda calculus. I'd like to learn more about that, but I haven't been able to find good sources. Most of the time I do find it mentioned, it's mentioned in passing, for example in SICP or the Little Schemer.

Some things I'd like to know:

- How to construct lambda functions from Turing machines and vice versa

- How to think about the Y-combinator (this is now almost un-googleable)

- What variants of the lambda calculus have been constructed and what their properties are

- How lambda functions relate to functions in the mathematical sense. Are they the same? Can you call them on real numbers? Are they continuous? Etc

Extra points if you can recommend a full theoretical treatment. I'm interested in really digging in to this topic.


Comments URL: https://news.ycombinator.com/item?id=23696315

Points: 2

# Comments: 0



from Hacker News: Newest https://ift.tt/2ZjhBYs

What Is an API?

Article URL: https://www.danielleskosky.com/what-is-an-api/

Comments URL: https://news.ycombinator.com/item?id=23696311

Points: 1

# Comments: 0



from Hacker News: Newest https://ift.tt/3dM1zvl

Dither

Article URL: https://en.wikipedia.org/wiki/Dither

Comments URL: https://news.ycombinator.com/item?id=23696256

Points: 1

# Comments: 0



from Hacker News: Newest https://ift.tt/1FsCsJw

Gmail Is Down

Article URL: https://www.google.com/appsstatus#hl=en&v=status

Comments URL: https://news.ycombinator.com/item?id=23696232

Points: 2

# Comments: 0



from Hacker News: Newest https://ift.tt/1GP8mOp

CodeFund Is Shutting Down

Article URL: https://codefund.io

Comments URL: https://news.ycombinator.com/item?id=23696197

Points: 3

# Comments: 1



from Hacker News: Newest https://codefund.io

Show HN: Timeshared Robots

Article URL: https://yoga.dev/timeshared-robots/

Comments URL: https://news.ycombinator.com/item?id=23696193

Points: 2

# Comments: 0



from Hacker News: Newest https://ift.tt/2ZtsEya

Mentoring with Scaffolds

Article URL: https://blog.newrelic.com/culture/engineering-team-success/

Comments URL: https://news.ycombinator.com/item?id=23696172

Points: 1

# Comments: 0



from Hacker News: Newest https://ift.tt/31sIkVl

Pug: Fast and concise template engine using Node.js

Article URL: https://pugjs.org

Comments URL: https://news.ycombinator.com/item?id=23696124

Points: 1

# Comments: 0



from Hacker News: Newest https://pugjs.org

Points that need to be made

Points that need to be made submitted by /u/Dexter_davis to r/pics
[link] [comments]


from popular links https://ift.tt/3eUpqKU
 Points that need to be made

🇺🇸

🇺🇸 submitted by /u/joedirt9322 to r/funny
[link] [comments]


from popular links https://ift.tt/2VuApCU
 🇺🇸

Monday, June 29, 2020

theFrame – Animation Tool

Article URL: https://github.com/vicr123/theFrame

Comments URL: https://news.ycombinator.com/item?id=23684933

Points: 1

# Comments: 0



from Hacker News: Newest https://ift.tt/2Vr93gY

Five Word Jargon

Article URL: https://xkcd.com/2326/

Comments URL: https://news.ycombinator.com/item?id=23684860

Points: 1

# Comments: 0



from Hacker News: Newest https://xkcd.com/2326/

Ask HN: Faamng-type IC vs. generic BigCo Director

I've got a good dilemma going. Background: I was first employee turned CTO at a startup that exited. We did ok. Not great, but not bad either. I left the acquirer after a year or so, making sure my team and our tech was taken care of and since then I've done some contract work while I looked for something permanent. COVID extended the contract work a bit but happily I'm now looking at two competing offers.

One is from a FAAMNG type company for a high level IC developer position. The total comp is good, and I can probably negotiate it up a little higher.

Two is from a Fortune 50 company that is trying to get part of their tech in order. Its for a 2nd level engineering manager supporting several teams and few dozen people. The total comp is in the same ballpark as the FAAMNG-type, but its less, and the RSU component is unlikely to have as much upside since its not directly tech.

I still have the chops to be an IC, and have cranked out a lot of good code while doing contract work, but I'm wary of taking on a full-time IC role and having to break the management barrier again (which feels like it could be especially difficult in our new remote-everything world).

"leadership" roles are definitely where I want to be going forward, and it is something I think I'm fairly good at. But I've found in my current search that FAAMNG-types don't seem to care much for startup experience in management roles. Maybe heading up larger teams at Fortune 50's look a little better and can demand better comp'd positions in the future because of it? It seems like promoted from IC to a 2nd level manager anywhere is a big challenge.

Have any of you been in a similar situation and care to share your thought process?


Comments URL: https://news.ycombinator.com/item?id=23684822

Points: 1

# Comments: 0



from Hacker News: Newest https://ift.tt/3dK4lRR

Cancel Culture in 1974

Article URL: https://jayriverlong.github.io/2020/06/28/cancel-culture.html

Comments URL: https://news.ycombinator.com/item?id=23684815

Points: 13

# Comments: 0



from Hacker News: Newest https://ift.tt/2NBPjD8

Inspiration Network for Masterminds

Article URL: https://mastermind.vision/?ref=hackernews

Comments URL: https://news.ycombinator.com/item?id=23684770

Points: 1

# Comments: 0



from Hacker News: Newest https://ift.tt/3eMmVKf

Fake Glassdoor Posts?

Hi hackernews. I'm cofounder of a moderately successful startup and I'm posting anonymously to ask for advice on something. I believe my company has been targeted by a competitor who has played dirty before (different story) and they're posting fake negative glassdoor reviews on our glassdoor profile.

Why do I believe they're fake? Over the last 7 years of the company we had a total of 20 reviews with an average of 4.5. We're not a huge company - 250 people at our peak. In the last 9 months we've seen a spike of negative glassdoor activity (about a post every week and a half). The posts are generic (bad comp, bad management etc.). One post says it was from a senior software engineer who had been with the company for 5+ years who was fired. We haven't ever employed anyone who met that description let alone fired them. Our new glassdoor rating average is about 2.5 now and I'm afraid it's going to hurt our ability to recruit.

Our internal employee feedback surveys score high. From what I can tell people like working for us which also makes this feel strange.

I've reached out to glassdoor a number of times and they refuse to do anything about it. We've sent them a legal nastygram which they just ignored. I know they do nothing to verify the authenticity of these posts/posters.

What can we do to turn it around? has anyone dealt with anything like this before?


Comments URL: https://news.ycombinator.com/item?id=23684725

Points: 2

# Comments: 0



from Hacker News: Newest https://ift.tt/3gbdhkR

Look at these THUGS!

Look at these THUGS! submitted by /u/Nasjere to r/BlackPeopleTwitter
[link] [comments]


from popular links https://ift.tt/2Vr7zmU
 Look at these THUGS!

Tis that Adam driver

Tis that Adam driver submitted by /u/Bmchris44 to r/trippinthroughtime
[link] [comments]


from popular links https://ift.tt/2ZlfX8H
 Tis that Adam driver

Sunday, June 28, 2020

Ref HB 679 MD

https://ift.tt/386GavM

Had to be as discreet as possible. Looking for suggestions.


Comments URL: https://news.ycombinator.com/item?id=23673021

Points: 1

# Comments: 0



from Hacker News: Newest https://ift.tt/2ZhPLvF

Linux Mint 20 “Ulyana” Xfce released

Article URL: https://blog.linuxmint.com/?p=3930

Comments URL: https://news.ycombinator.com/item?id=23673020

Points: 2

# Comments: 0



from Hacker News: Newest https://ift.tt/2CHejXb

History of the world – silly version [video]

Article URL: https://www.youtube.com/watch?v=xuCn8ux2gbs

Comments URL: https://news.ycombinator.com/item?id=23672994

Points: 1

# Comments: 0



from Hacker News: Newest https://www.youtube.com/watch?v=xuCn8ux2gbs

Richat Structure

Article URL: https://en.wikipedia.org/wiki/Richat_Structure

Comments URL: https://news.ycombinator.com/item?id=23672961

Points: 1

# Comments: 0



from Hacker News: Newest https://ift.tt/1Iim00c

Ask HN: Resources for learning about licensing and copyright?

Recently I had the chance to read https://ift.tt/2Ab4iAI , as well as look into Creative Commons CC0 ( https://ift.tt/nVrvmD ). I've started looking through and reading into the CC licenses as well as FOSS licenses; but do you know of any resources that would help me along in interpreting?


Comments URL: https://news.ycombinator.com/item?id=23672885

Points: 2

# Comments: 0



from Hacker News: Newest https://ift.tt/31ohZYb

Yann LeCun is leaving Twitter

Article URL: https://twitter.com/ylecun/status/1277373793443463168

Comments URL: https://news.ycombinator.com/item?id=23672809

Points: 8

# Comments: 2



from Hacker News: Newest https://twitter.com/ylecun/status/1277373793443463168

Cat album cover

Cat album cover submitted by /u/penek1 to r/pics
[link] [comments]


from popular links https://ift.tt/3g8KDAU
 Cat album cover

Program that compiles regexes into shell scripts

Article URL: https://twitter.com/thingskatedid/status/1276944085668913154

Comments URL: https://news.ycombinator.com/item?id=23665629

Points: 1

# Comments: 0



from Hacker News: Newest https://twitter.com/thingskatedid/status/1276944085668913154

If present day Americans lived in a 3rd world country for a few months, they would quit bitching about America

I see all of these people talking about how America is this and America is that. I wanna take these people to a third world country, leave them there for a couple months and then watch their opinions change faster than they can complain about their favorite taco bell closing.

submitted by /u/Got_no_chill to r/unpopularopinion
[link] [comments]

from popular links https://ift.tt/3eFLEzP
 If present day Americans lived in a 3rd world country for a few months, they would quit bitching about America

Friday, June 26, 2020

Dpub – CLI discourse publishing tool

Article URL: https://github.com/billwear/discourse_tools

Comments URL: https://news.ycombinator.com/item?id=23658383

Points: 1

# Comments: 0



from Hacker News: Newest https://ift.tt/3eEpv50

Ask HN: Is the content of a Company's tech blog important to you?

You are looking for a job in tech, weighing the pros and cons of a list of companies to ultimately decide which one to go work with.

How big of a factor is the content of a company's blog posts in your decision making? As a follow-up, how heavily does a company's OSS contributions (projects, donations, both) influence your decision? I'm coming at this from a software engineer's perspective, but insight from people in other positions is more than welcome.


Comments URL: https://news.ycombinator.com/item?id=23658347

Points: 1

# Comments: 0



from Hacker News: Newest https://ift.tt/3dEZ3Hf

Vigorish

Article URL: https://en.wikipedia.org/wiki/Vigorish

Comments URL: https://news.ycombinator.com/item?id=23658275

Points: 1

# Comments: 0



from Hacker News: Newest https://ift.tt/1yEhDVw

YSK your outdoor cat is causing detrimental damage to the environment

Cats hunt down endangered birds and small mammals while they’re outdoors, and have become one of the largest risk to these species due to an over abundance of outdoor domestic cats and feral cats. Please reconsider having an outdoor cat because they are putting many animals onto the endangered list.

Edit to include because people have decided to put their personal feeling towards cats ahead of facts: the American Bird Conservancy has listed outdoor cats as the number one threat to bird species and they have caused about 63 extinctions of birds, mammals, and reptiles. Cats kill about 2.4 billion birds a year. The International Union for the Conservation of Nature lists cats as one of the worlds worst non-native invasive species.

If you want your cat to go outside, put it on a leash with a harness! That way you can monitor your cat and prevent it from hunting anything. Even if you don’t see it happen, they can still kill while you’re not watching them. A bell on their collar does not help very much to reduce their hunting effectiveness, as they learn to hunt around the bell.

Also: indoor cats live much longer, healthier lives than outdoor cats! It keeps them from eating things they shouldn’t, getting hit by cars, running away, or other things that put them in danger

I love how a lot of people commenting are talking about a bunch of the things that humans do to damage the environment, as if my post is blaming all environmental issues on cats. Environmental issues are multifaceted and need to be addressed in a variety of ways to ensure proper remediation. One of these ways is to take proper precautions with your cats. I love cats! I’ve had cats before and we ensured that they got lots of exercise and were taken outside while on harnesses or within a fenced yard that we can monitor them in and they can’t get out of. You’re acting like we don’t take the same precautions with dogs, even though dogs are able to be trained much more effectively than cats are.

I’m not sure why people are thinking that my personal feelings are invading this post when I haven’t posted anything about my personal feelings towards this issue. This is an important topic taught in environmental science classes because of the extreme negative impact cats have on the environment.

submitted by /u/webcook22 to r/YouShouldKnow
[link] [comments]

from popular links https://ift.tt/3dEd2gy
 YSK your outdoor cat is causing detrimental damage to the environment

The goodest boy

The goodest boy submitted by /u/Johnnyboy1423 to r/aww
[link] [comments]


from popular links https://ift.tt/3g5FBVU
 The goodest boy

Just because I was born with a vagina, does not mean that the automatic default is that I am responsible for 90% of household and childcare duties.

Just because I have high standards for cleanliness and organization does not mean you are excused from being responsible for cleanliness and organization. And for fuck’s sake, NO I won’t make you a little chore chart so you know what and when to complete household duties. We are partners. I’m not your god damn mother! I am mostly angry with myself for allowing myself to get to this point of exhaustion and frustration. I allowed the ridiculous norm of 90% caretaker of household and childcare duties while also holding down a full time job. I think it will be impossible to move to an equal partnership. Am I the only one who is struggling with this shit? How do I break out of it?

EDIT I am getting several messages to talk to my partner. I have. I’ve begged, wrote my concerns in a letter, we’ve sought counseling. The response is always, “ Your expectations are too high and I’m afraid it won’t be enough” and “make me a chore chart”. My partner is wonderful, but why is it my added responsibility to coordinate duties on top of my uneven division of labor. It’s the societal norms. Why can’t we act like we would if we had a roommate and not expect that one person should do it all? I may not be making sense but it’s a deeper concern than chores. It’s societal norms.

EDIT #2 I am not asking my partner to meet my high expectations, I’m simply asking him to not use it as an excuse to do nothing.

EDIT #3 I love my partner. He’s a genuinely amazing person. I don’t want to leave or divorce him. I just have a load of responsibility on me that is soul crushing and he doesn’t understand why him asking for a chore chart is exactly the issue. Why is it my responsibility to execute a chore chart? That insinuates that I am in charge of household duties. Hence the societal norm that I’m speaking of. Why can’t we be shared stakeholders in household responsibilities?

submitted by /u/AnomalousINFJ to r/TwoXChromosomes
[link] [comments]

from popular links https://ift.tt/3g5FBFo
 Just because I was born with a vagina, does not mean that the automatic default is that I am responsible for 90% of household and childcare duties.

Ask HN: Could downvoting work better if a reason had to be entered?

The ability to provide meaningful and respectful feedback is as important as someone who may provoke or try to stir trouble.

I'm curious if YC has toyed with the idea of increasing the right to downvote to have to include a comment, explanation, or reasoning that is not a few characters.


Comments URL: https://news.ycombinator.com/item?id=23647178

Points: 3

# Comments: 0



from Hacker News: Newest https://ift.tt/3eDcJUC

Using the Chrome UX Report API

Article URL: https://web.dev/chrome-ux-report-api/

Comments URL: https://news.ycombinator.com/item?id=23647084

Points: 3

# Comments: 0



from Hacker News: Newest https://ift.tt/2YxWx10

How Notion Works

Article URL: https://podcast.factordaily.com/how-notion-works/

Comments URL: https://news.ycombinator.com/item?id=23647040

Points: 1

# Comments: 0



from Hacker News: Newest https://ift.tt/3hZ13xz

World Capitals Voronoi

Article URL: https://www.jasondavies.com/maps/voronoi/capitals/

Comments URL: https://news.ycombinator.com/item?id=23647035

Points: 3

# Comments: 0



from Hacker News: Newest https://ift.tt/1fTo5Ox

Big brain moment

Big brain moment submitted by /u/jimmyk1mmel to r/PoliticalHumor
[link] [comments]


from popular links https://ift.tt/2Vjm3Fo
 Big brain moment