asib

15 ms·

151.
by asib 6y ago
Aha yes interesting. I would say that I think this is a minor issue in the grand scheme. The meat of this library is, to my eyes, the type system and language features. More concretely, if the implementation of typeclasses is correct, I&#x2
152.
by asib 6y ago
I posted this because, frankly, I was pretty amazed that someone managed to reproduce these features in Python and lose almost none of the ergonomics of Haskell. So from a purely academic perspective, I think this is a very impressive feat.
153.
Maud: Compile-time HTML templates for Rust(github.com)
63 points by asib 6y ago|24 comments
154.
Haskell language features and standard libraries in pure Python(github.com)
136 points by asib 6y ago|32 comments
155.
by asib 6y ago
Tooting -> Kings X is 49 minutes according to citymapper. Cambridge -> Kings X is a 48 minute train. I personally wouldn't consider Tooting to be deep south, but maybe we have different definitions. I have a friend who lives near
156.
by asib 6y ago
> I find it hard to imagine them commuting for hours from the suburbs... Why? It's as easy to commute from certain places outside of London as inside. For instance, it takes longer for me to get from where I live in south London to
157.
It's not raining – just a 50-mile wide cloud of flying ants(theguardian.com)
3 points by asib 6y ago|0 comments
158.
Dinosaurs wiped out by asteroid, not volcanoes, researchers say(theguardian.com)
2 points by asib 6y ago|1 comments
159.
by asib 6y ago
Great British Chefs [0] sort of does this - they have both a full list of ingredients with quantities and also at each recipe step they list off the ingredients with quantities used in that step. [0]: https://www.greatbritishchef
160.
Ask HN: How do you do web development without a framework?
4 points by asib 6y ago|4 comments
161.
by asib 6y ago
> Fine, keep looking, if you want, but it certainly won't be with a larger collider, especially since the last search failed. Just out of interest, why do you believe this to be true? There existed particle colliders before the LHC,
162.
Futhark: High-performance purely functional data-parallel programming on the GPU(futhark-lang.org)
2 points by asib 6y ago|0 comments
163.
by asib 6y ago
I think hoping that people who enter academia will go into areas with significant practicality is a path that will lead to despair. Some people just like what they like though. I studied computer science and really enjoyed the more abstract
164.
Scientists say most likely number of contactable alien civilisations is 36(theguardian.com)
8 points by asib 6y ago|3 comments
165.
by asib 6y ago
I always wondered who would actually use this. Apparently a company called DigitalGlobe[0], which has a large collection of satellite images. [0]: https://www.networkworld.com/article/3154898/this-company-is...
166.
by asib 6y ago
For me that's a game changer in terms of using Nim for future projects. I've used LiquidHaskell[1] a bit but always been hesitant to use in production just because I'm not confident enough with the Haskell type system. Nim&#x
167.
by asib 6y ago
My favourites: alias ls='exa -l' alias gits='git status'
168.
by asib 6y ago
Working again for me now - UK
169.
Ask HN: Is YouTube Working Properly?
51 points by asib 6y ago|27 comments
170.
by asib 6y ago
No, this is the first time since oil futures began trading in 1983.
171.
by asib 7y ago
> ...which is something the Typescript compiler won't help you with (or any compiler probably) Not so - there're languages out there in which you're able to encode your business logic within your program's types, at l
172.
by asib 7y ago
No null checks in find. If source is null, dereferencing source[i] in the while condition will cause undefined behaviour. If just query is null, the same will occur in the first call to starts.
173.
by asib 7y ago
No checks regarding length of source and query - may end up dereferencing beyond the bounds of the string.
174.
'Giant, shape-shifting stars' spotted near Milky Way's black hole(theguardian.com)
1 points by asib 7y ago|0 comments
175.
Scientists give cuttlefish 3D glasses and shrimp films for vision study(theguardian.com)
1 points by asib 7y ago|0 comments
176.
by asib 7y ago
I've written this in another comment but I'll repeat here. What you're asking really boils down to a combination of whether a human brain can be simulated and whether human intelligence is merely due to the physical brain (or
177.
by asib 7y ago
This reduces down to the question of whether it's possible to simulate a brain (or an equivalent formulation, such as is consciousness somehow extraphysical). I believe I'm right in saying current consensus says that this is possi
178.
by asib 7y ago
According to https://en.wikipedia.org/wiki/Nautical_mile , nautical mile used to be defined as 1/60 of a degree of latitude, but is now defined as exactly 1852 metres. So feasible to use even in space, although unu
179.
Rotten eggs: e-waste from Europe poisons Ghana's food chain(theguardian.com)
5 points by asib 7y ago|0 comments
180.
by asib 8y ago
Probably 50mph above the limit is the point at which the vehicle can be confiscated or something like that.

More ›