HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Ask HN: Notes on Lambda calculus with exercises and solutions?
discuss
8 years ago
gnak
1 points
2.
▲
Exclusive hardwood may be illegally harvested
chalmers.se
198 comments
3 years ago
geox
285 points
3.
▲
All plastic waste could be recycled into new plastic: researchers
chalmers.se
150 comments
7 years ago
rahuldottech
249 points
4.
▲
Breakthrough for ‘massless’ energy storage
chalmers.se
165 comments
5 years ago
reimertz
233 points
5.
▲
Electricity can heal wounds three times as fast (2023)
chalmers.se
143 comments
8 months ago
mgh2
222 points
6.
▲
Nano98: Windows 98 that boots and runs under 5MB (2003)
web.archive.org
136 comments
5 years ago
ksec
205 points
7.
▲
Why Functional Programming Matters (1984) [pdf]
cse.chalmers.se
140 comments
10 years ago
tosh
181 points
8.
▲
Haskell’s State monad is not a monad (2014)
cse.chalmers.se
69 comments
8 years ago
setra
103 points
9.
▲
Emissions-free energy system saves heat from the summer sun for winter
chalmers.se
42 comments
8 years ago
signa11
96 points
10.
▲
Heavy electric trucks cheaper than diesel goods trucks
chalmers.se
163 comments
3 years ago
geox
82 points
11.
▲
The History of Erlang's Innards [pdf]
cs.chalmers.se
discuss
17 years ago
10ren
79 points
12.
▲
Low nutritional quality in vegetarian meat
chalmers.se
106 comments
3 years ago
achenet
72 points
13.
▲
Vampire: First-Order Theorem Proving [pdf]
cse.chalmers.se
19 comments
7 years ago
tosh
68 points
14.
▲
Programming in Martin-Lof's Type Theory: An Introduction (1990)
cse.chalmers.se
6 comments
a year ago
todsacerdoti
59 points
15.
▲
Safer smart contracts through type-driven development in idris [pdf]
publications.lib.chalmers.se
2 comments
10 years ago
jobstijl
31 points
16.
▲
A Perspective on Information-Flow Control (2011) [pdf]
cse.chalmers.se
discuss
11 years ago
vezzy-fnord
19 points
17.
▲
Designing and Using Combinators: The Essence of Functional Programming
math.chalmers.se
3 comments
17 years ago
rw
17 points
18.
▲
Xtraceroute (2009)
web.archive.org
2 comments
4 years ago
marcodiego
15 points
19.
▲
Why Functional Programing Matters
math.chalmers.se
discuss
19 years ago
mk
11 points
20.
▲
Finite Automata and Their Decision Problems (1959)
cse.chalmers.se
1 comment
11 years ago
brudgers
10 points
21.
▲
QuickCheck: Automatic Specification-Based Testing
cs.chalmers.se
1 comment
17 years ago
eru
9 points
22.
▲
The Prettiest Printer
cse.chalmers.se
discuss
12 years ago
lelf
9 points
23.
▲
Yi: An Editor in Haskell for Haskell (2008) [pdf]
publications.lib.chalmers.se
1 comment
11 years ago
mschmo
8 points
24.
▲
An Optimized Soft Shadow Volume Algorithm with Real-Time Performance [pdf]
cse.chalmers.se
discuss
6 months ago
klaussilveira
7 points
25.
▲
Why Functional Programming Matters[pdf]
cse.chalmers.se
discuss
13 years ago
wqfeng
6 points
26.
▲
Introduction to the Lambda Calculus [pdf]
scribd.com
discuss
18 years ago
mk
6 points
27.
▲
Stardust study resets how life's atoms spread through space
chalmers.se
discuss
6 months ago
geox
5 points
28.
▲
Chalmers Scientists Create Light From Vaccuum
chalmers.se
discuss
15 years ago
mef
5 points
29.
▲
Converting solar energy to electricity on demand
chalmers.se
discuss
4 years ago
doener
5 points
30.
▲
The History of Erlang
cs.chalmers.se
discuss
18 years ago
lg
5 points
More