Thread
Stories related to "Growth is higher in US counties with moderate-to-high wildfire risk" across the full archive.
The Neophyte's Guide to Scala Part 10: Staying DRY with higher-order functions
(danielwestheide.com)
Hi Fellow Lobstres,
I recently returned from vacation. While away, I had an incredibly interesting conversation with a family friend. I know that this person is highly skilled in the production and repairing of custom circuit boards. Spending long hours in front of a microscope near her assembly ...
Here’s a challenge: Scan the faculty roster of humanities and social-science departments at public universities. Can you spot a conservative or two ? It matters… more »
US Internet to offer higher-speed (10Gbps) connections in Minneapolis (for 400 USD)
(startribune.com)
[DSLReports: Minnesota's US Internet Offers 10 Gbps For $400](http://www.dslreports.com/shownews/Minnesotas-US-Internet-Offers-10-Gbps-For-400-132094)
Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism and Indexed Types
(semantic-domain.blogspot.co.uk)
A graph-based higher-order intermediate representation (demonstrated with Impala, a dialect of Rust)
(compilers.cs.uni-saarland.de)
For a few years now I've been sort of hoping that linear logic, other substructural logics, category theory, denotational semantics, and functional reactive programming would sort of make their way into my brain via osmosis. So far this has failed, and this paper (which unfortunately seems to requir...
After https://lobste.rs/s/9eqh9o/adhd_is_vastly_overdiagnosed_and_many_children_are_just_immature_say_scientists/comments/eynvoq#c_eynvoq saw some debate, especially about how the article is written and jumps to conclusion, I wanted to submit this one as an example of well-written coverage that desc...
An explanation of higher-rank and higher-kinded types using a Java-like syntax.
A graphical programming environment based on term graphs and term rewriting. It was intended as a tool for education, research, software development (in Haskell), and debugging.