jedharris

10 ms·

61.
Pure rust io_uring library, thread and async friendly, misuse resistant(github.com)
6 points by jedharris 7y ago|0 comments
62.
by jedharris 7y ago
Major steps beyond popular paper ( https://news.ycombinator.com/item?id=14167620 ). Includes extensive examples (video DSL, proof assistant built using their core). Lends itself to experimenting with type system extensions an
63.
Dependent type systems as macros (POPL 2020)(ccs.neu.edu)
2 points by jedharris 7y ago|1 comments
64.
by jedharris 7y ago
Would this help? < https://dl.acm.org/doi/10.1145/3302516.3307352> GPU-accelerated fixpoint algorithms for faster compiler analyses. Brute force but maybe that is what is needed.
65.
by jedharris 7y ago
Makes sense to me, but I would like to have specific data that would help me understand: - How much money work needs to be invested for what incremental effect? - What kinds of investments are most effective? - How much does effectiveness d
66.
by jedharris 7y ago
Regarding complexity: Probably anything with a brain has the problem of balancing lots of different sources of information and maintaining (enough) coherence of behavior. So even very simple worms will need a simple version of this...
67.
by jedharris 7y ago
Specifically, "Signatures of criticality in a maximum entropy model of the C. elegans brain during free behaviour" < http://cognet.mit.edu/proceed/10.7551/ecal_a_010> and I'm sure many more.
68.
by jedharris 7y ago
Hard to identify delusions in worms. But the entropy / free energy models work for the best understood worm brain (C. Elegans).
69.
by jedharris 7y ago
Very long and well argued review of sources of excess mortality in developed countries. Bottom line: Obesity! and other non-medical factors like automobiles. Big implications about how we should spend money to increase life expectancy.
70.
A tale of two covariates: Why OWID and company are wrong about US healthcare(randomcriticalanalysis.com)
72 points by jedharris 7y ago|73 comments
71.
by jedharris 7y ago
I appreciate your sharing your experience and think it is valuable.
72.
by jedharris 7y ago
Those who are upvoting: Why is this interesting / important?
73.
Perl 6 or math? why choose?(reddit.com)
4 points by jedharris 7y ago|0 comments
74.
by jedharris 7y ago
How much of the empirical cognitive science and neuroscience research have you read? Graziano (discussed in my reference [1]) SPECIFICALLY addresses how and why our brains generate the primordial and weird experiences you mention. We know l
75.
by jedharris 7y ago
This is sad. We have good functional accounts of consciousness (Global Workspace theory [0], Attention Schema theory [1], recent robotics work on self-attention [2]). These explain much of the specific phenomenology of conscious experience.
76.
by jedharris 7y ago
Given your analysis, the policy solution needs to address concentration of businesses & jobs in high-rent areas, much more than lack of housing. Interestingly one of the arguments of the anti-growth folks in these high-rent cities is th
77.
by jedharris 7y ago
The current top three comments all seem to be generalizing from personal experience, and the experience seems to come from high-rent areas. (Given the HN demographic, probably the Bay Area.) This is not a constructive response to an article
78.
by jedharris 7y ago
This is an interesting thesis. Do you have any statistics? For example if true this implies that the median square feet of living space per person has been falling at least in the last few decades. The census does collect data on this. Anyo
79.
by jedharris 7y ago
The article cites well grounded aggregate statistics. Eastern Oregon doesn't affect the statistics because not enough people live there. So Eastern Oregon and all the other very low population places are a red herring. Please argue wi
80.
by jedharris 7y ago
What is your rationale for capping average life expectancy? I hope not some reasoning based on costs due to old age since that is not a logical consequence. Advances leading to increased life expectancy could also lead to healthier / m
81.
by jedharris 7y ago
Where are the Unicorns that are showing explosive growth by creating huge numbers of jobs? All the ones I can find are either reducing jobs or just switching them to lower pay / less reliable “gigs”. More generally, claims that just as
82.
by jedharris 7y ago
Citation needed. You are making a strong statement about the inevitable future based on what? Sounds like evidence as strong as your claim would be worth some very interesting papers.
83.
by jedharris 7y ago
THANKS for this. I wanted to write it but could not have done nearly as good a job.
84.
by jedharris 7y ago
I didn't see how to look at the model "code". How can we see that?
85.
by jedharris 8y ago
I'm happy this exists, and that Agda has the facilities to make it feasible, but sad that automated formal systems are so primitive compared to software development tools. Is this gap just lack of motivation for more people to contrib
86.
by jedharris 8y ago
What do you mean by "reusability"? Also, how well does your sample match the US factory population? Is there data on robotization of factories by size, product type, etc?
87.
Lost Treasure of Xanadu (Architecture Doc)(habitatchronicles.com)
4 points by jedharris 8y ago|0 comments
88.
by jedharris 8y ago
The blog post https://community.arm.com/arm-research/b/articles/posts/maki... has more useful content.
89.
by jedharris 8y ago
there is always a simple economic reply to every proposal —- neat, plausible, and wrong
90.
by jedharris 8y ago
Also, hospitals typically won't tell you how much something will cost, so you can't shop around even when you are willing to. Also sometimes hospitals will lie about what they will charge -- happened to my daughter regardi

More ›