Ask HN: Where do I go to learn more about the lambda calculus?
2 by mnemonicsloth | 0 comments on Hacker News. 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.
Ask HN: Good resources to learn GIS as a programmer?
2 by roperzh | 0 comments on Hacker News. I have been working with Geographic data for the last month as part of a project, and I truly enjoyed it. Do you know of any resources to learn more about GIS?
Sen. John Kennedy on Supreme Court's abortion ruling: Chief Justice Roberts flip-flopped like a banked catfish
Chief Justice John Roberts sided with liberal justices as the Supreme Court struck down a Louisiana law requiring doctors performing abortions to have admitting privileges at a nearby hospital; reaction from Louisiana Sen. John Kennedy, Republican member of the Senate Judiciary Committee.
House GOP taps Rep. James Comer to serve as top Republican on Oversight Committee
Rep. James Comer, R-Ky., was selected on Monday to be the top Republican on the powerful House Oversight and Reform Committee – setting him up for a high-profile role as Republicans seek to combat Democratic oversight moves into the Trump administration.
Bipartisan group of senators introduce bill to rein in Trump's ability to scale down troops in Germany
Sens. Mitt, Romney, R-Utah, Lindsey Graham, R-S.C, Marco Rubio, R-Fla., Christopher Coons, D-Del., Tim Kaine, D-Va., Jeanne Shaheen, D-N.H., are cosponsoring the proposal.
Fox News confirms National Security Council met to discuss responses to reports of Russian bounties
White House officials say President Trump was not briefed because the information had not been verified and there is no consensus within the intelligence community; Kristin Fisher reports from the White House.
Hickenlooper seeks to overcome unforced errors in Colorado Senate race, as Utah and Oklahoma hold key primaries
A Democratic primary that’s heated up at the last minute in Colorado -- a crucial Senate race that could determine which party controls the chamber next year -- is in the national spotlight on Tuesday as three states hold primaries.
Oregon governor says hospitals could be overwhelmed if coronavirus cases not reduced, mandates face coverings
Gov. Kate Brown announced Monday that Oregon residents will be required to wear face coverings inside public indoor spaces, warning that hospitals in her state could be overwhelmed if the spread of coronavirus doesn’t slow.
Multiple intelligence streams suggest Russians paying bounties for US troops, Trump not briefed: official
Multiple intelligence threat streams indicated Russian intelligence operatives offered bounties to Taliban-linked militants to kill U.S. troops, but while the National Security Council met recently to come up with a number of responses to the report, it did not brief President Trump, Fox News has learned.