Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
vcdimension
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
10 ms
·
61.
▲
by
vcdimension
5y ago
Glad someone is finally doing this. An interesting machine learning project might be to develop a low cost cigarette butt recognizer for use with this device: http://thecrowbox.com/
62.
▲
by
vcdimension
5y ago
R is used by many researchers and consequentially has many more statistical libraries (e.g. try doing a dynamic panel modelling in python).
63.
▲
by
vcdimension
5y ago
The great physicist Paul Dirac was renowned for his extremely thoughtful manner of speech, and would drive people crazy with long silences before he responded to any question put to him. Here he is in his later years: https://www
64.
▲
by
vcdimension
5y ago
Deontic modal logic is used by academics to try and formalize legal & moral statements. There's also this programming language for codfying legislature: https://catala-lang.org and this startup working on computational
65.
▲
by
vcdimension
5y ago
A guix version would be nice...
66.
▲
by
vcdimension
5y ago
This was a great tool written in c, for handling large data files fast, unfortunately the new golang rewrite (version 6.0) is much slower (around 10x in a quick test I did).
67.
▲
by
vcdimension
5y ago
Sweden has much higher ethnic & cultural diversity than Norway & Finland, and hence more people passing through it's borders potentially bringing in new infections from abroad. It also has fewer hospital beds per population, an
68.
▲
by
vcdimension
5y ago
Here is one application that this research could be applied to: https://github.com/Parchive/par2cmdline https://en.wikipedia.org/wiki/Parchive
69.
▲
by
vcdimension
5y ago
Seems to me at first glance that this could make for a great carbon offsetting scheme
70.
▲
by
vcdimension
5y ago
A similar argument was made earlier by William James Sidis in his 1920 book "The Animate and the Inanimate" (in which he also predicted black holes) : https://en.wikipedia.org/wiki/William_James_Sidis#The_Anim
71.
▲
by
vcdimension
5y ago
Seagrass and mangrove is even better: https://www.euronews.com/green/2021/09/29/seagrass-the-plant... https://www.nature.com/articles/ngeo1123
72.
▲
by
vcdimension
5y ago
I wonder if they're missing a trick here. In poor soil conditions it might be beneficial to have a fast turnover of trees to start off with; you could bootstrap the soil by burying baby trees to improve the conditions for the next bat
73.
▲
by
vcdimension
5y ago
I use it for browsing documentation and code files, e.g. to browse syscall manpages: apropos -s 2 '.*' | fzf --height=100% --preview-window=down:wrap --preview='man -s 2 {1}' --bind='alt-v:execute(man -s 2 {1}),ente
74.
▲
by
vcdimension
5y ago
I'm surprised they didn't mention support vector machines and the kernel trick which was discovered by statisticians.
75.
▲
by
vcdimension
5y ago
Rhythm is all around us: https://www.youtube.com/watch?v=lVPLIuBy9CY
76.
▲
by
vcdimension
5y ago
Has anyone tried this with gnus? Is it noticeably faster?
77.
▲
by
vcdimension
5y ago
Are there any instructions online about how to fit a pixel qi screen to a thinkpad x230?
78.
▲
by
vcdimension
6y ago
Many of these tree planting schemes are a bit dubious; can you really be sure that they are planting new trees that wouldn't have grown in that area anyway, and will they still be around in 40 years time to make sure the trees grow to
79.
▲
by
vcdimension
6y ago
You don't need much enriched uranium, but you need to process a lot of dirt to get it. Natural uranium concentrations are around 0.1-0.2% (copper is around 0.6%), and you need 10 tonnes of natural uranium to produce 1 tonne of enriched
80.
▲
by
vcdimension
6y ago
> Also copper concentrations in typical copper ore is not 100 time greater than uranium concentrations. Copper concentrations are about 0.6%[2] and uranium is 0.1% - 0.2% Sorry, your right, 100x is too high, that was a rough guess. It sh
81.
▲
by
vcdimension
6y ago
That link doesn't mention anything about the amount of land required to mine the copper needed for wind turbines. It must be far less than is needed for mining the uranium needed to generate the same power. Think about it; the copper r
82.
▲
by
vcdimension
6y ago
That depends on how you measure land use; are you counting the amount of space that becomes otherwise unusable, i.e. the relatively small area occupied by the towers, or the entire area of the fields in which the wind turbines are placed? (
83.
▲
by
vcdimension
6y ago
I cannot understand how anyone would prefer an enormous grey concrete building with a large exclusion zone and large cooling towers blocking the skyline, to otherwise untouched natural or agricultural landscape dotted with wind turbines. Wi
84.
▲
by
vcdimension
6y ago
burning carbon creates CO2, which would then get broken down back into oxygen (either by plants or directly by sunlight according to the article).
85.
▲
by
vcdimension
6y ago
That article really doesn't give a very good explanation at all, it doesn't make sense. When CO2 breaks down it produces oxygen and carbon, so if oxygen gets burned to produce CO2 it's just gonna get converted back into oxyg
86.
▲
by
vcdimension
6y ago
Thankyou, I'll have a look.
87.
▲
by
vcdimension
6y ago
How difficult would it be to write a Coq plugin to perform these translations? The thing I like about Coq is that it appears to have better tooling than the other theorem provers (coqtop, proof-general for emacs), and you can extract code
88.
▲
by
vcdimension
6y ago
Hey, there's no need to by so impolite. My argument is not wrong, it's just a different argument to yours (which I fully understand, and is not difficult to grasp). Your example doesn't discount mine in any way; a slow algori
89.
▲
by
vcdimension
6y ago
Yes, but if I told IBM that I had a proof that a particular algebraic property or relationship related to homomorphic encryption holds true, I'm sure they would much prefer that it was constructive, rather than non-constructive, becaus
90.
▲
by
vcdimension
6y ago
I think we're at cross-purposes; I am talking about mathematics for the purpose of real-life useful applications (e.g. cryptography, data analysis, etc), in which case you need algorithms.
More ›