HNHacker News
TopNewBestAskShowJobs

curiousgibbon

56 karma · joined January 16, 2023

submissionscomments
curiousgibbon··on Beyond Meat fights for survival
Yes, processed meat alternatives tend to be significantly higher protein per unit mass than beans. But other metrics like protein per calorie can be useful.
curiousgibbon··on O(n) vs. O(n^2) Startups
I see. But now you're in a weird state where you're saying (something a bit like) "at most n^2" to mean "not at most n". Which isn't particularly precise.
curiousgibbon··on O(n) vs. O(n^2) Startups
It's entirely nonsensical to use O as a lower bound though. You could have two companies no growth whatsoever in value and correctly state that one has O(n) growth rate and the other has O(n^2) because a constant is both O(n) and O(n^2) (and O(n!) and O(exp(n^n)) ...). The author is trying to argue that there's some separation between two hypothetical startups' growth rates and as such an upper bound on one, say O(n), and a lower bound on the other, say Omega(n^2), is warranted. It sounds like you're not entirely an expert despite your recently-passed final. Strange concept, eh?
curiousgibbon··on O(n) vs. O(n^2) Startups
Yep
curiousgibbon··on O(n) vs. O(n^2) Startups
This is one of the myriad situations where Omega should have been be used, not O. What are they teaching in schools these days?
curiousgibbon··on Language Entropy
This seems like a new definition of entropy unrelated to existing notions of entropy relevant to language. I'm not sure I buy "entropy = 1/abstractness"...
curiousgibbon··on Show HN: Stempad – Fast Online Scientific Writing
Have you heard of pandoc?
curiousgibbon··on Cardio fitness is a strong, consistent predictor of morbidity and mortality
I've never understood striking guidance either. It seems that over long enough distances everyone is a heel striker too, it's just more efficient. So I'd assume that any advice you hear is more pace-dependent than it appears.
curiousgibbon··on America's Drivers Agree: LED Headlights Are Just Too Bright
There are more accidents in the US than in civilized countries. Per mile.
curiousgibbon··on America's Drivers Agree: LED Headlights Are Just Too Bright
This is often user error. Many bike lights have a daytime mode that is far too bright for night. But winning the arms race is so important...
curiousgibbon··on Colorado River states draw battle lines over who should bear water cuts
Some of the current players are already screwed. There is less water available than is desired. The government isn't supposed to come in and screw everything up they're supposed to spread the hurt around "fairly" or in some other way compatible with the national interest. This isn't some arbitrary reorganizing of water rights for political ends, there just isn't enough water in the American West for old ways to continue.
curiousgibbon··on Making every researcher seek grants is a broken model
Right, naively assuming the creation of a management class is a good thing doesn't sound wise.
curiousgibbon··on Making every researcher seek grants is a broken model
Most academics didn't choose the career for the management side of their responsibilities. Perhaps concentrating those responsibilities in a few managerial types would free many people to do what they really want.
curiousgibbon··on Ask HN: Free online courses for gifted maths students
https://nrich.maths.org/frontpage

British, run by some fantastic people from the University of Cambridge. Arguably there is no institution with a better reputation in this domain. I did some front end and back end work for them over a decade ago and there's definitely some good mathematics in there. Their mission is to enrich mathematical learning for all levels, but there's plenty of content designed for gifted teens.

I suggest looking outside the US for a curriculum. The nation that came up with the terms "precalculus" and "prealgebra" surely has a pessimistic view on the value of elementary mathematics. The ideas do not exist only to prop up calculus and algebra!

curiousgibbon··on Vitamin B6 deficiency leads to social deficits and cognitive impairment
Warning: study is in mice and is quite specifically about schizophrenia. Your mileage may vary.
curiousgibbon··on Dietary guidelines may soon warn against ultraprocessed foods
Is ultra-processed the right thing to target? European countries seem to go for labeling that indicates the balance of macronutrients and other important things like sodium. In the UK there's a traffic light system for fat, sugar (or maybe carbohydrates more broadly) and sodium. Typical store-bought food in the US is so over-flavored that most of it would be in the red category for salt and sugar. I want to avoid all consumption of high-fructose corn syrup, give me a label for that.

And while we're at it, mandate that nutrition facts have to be printed for a standardized "amount". I hate comparing the label of one food that has 7g of protein per 123g serving and another that has 9g protein per 144g serving.

curiousgibbon··on Formalising modern research mathematics in real time
Thomason is a phenomenal lecturer, and clearly a great mathematician. It was kind of crushing when he called my Part III essay "pedestrian".
curiousgibbon··on Ask HN: Moving into Academic CS from Industry?
I'm an academic. I think you make valid points but get the effect size wrong. It's entirely possible to contribute to academic fields without intimate knowledge of 50 years of past results. Breakthroughs come from hard work, inspiration and luck in different amounts each time. An outsider perspective can be more useful than being highly trained in the dogmatic status quo as you see things differently. I'd caution that raw intellectual talent probably differs more than you tend to notice in industry. Academic field leaders can be frighteningly smart, and while some people enjoy being the slowest person in the room it can be tough to handle.

Also, you may find that PhD salaries are MUCH lower than 1/3 of an experienced developer salary. If you do the standard thing of 20h per week GTA/GRA work and the rest (nominally 20h but likely 40h) independent study, you might get $25k per year plus meagre health benefits. If you're financially independent this is manageable, but relative to developer salary it's poverty in high COL areas of the USA (which is where the good universities are).

curiousgibbon··on Make your own pyramid salt crystals
An excellent question, it seems way outside my high school chemistry knowledge that you could calm water with a tiny amount of anything, be it alum or otherwise.
curiousgibbon··on Why higher-income workers in California may get surprised by tax hike in 2024
This sentence is... wow. "At least in America you can choose to go bankrupt in exchange for quality health care treatment."

I'm so glad the founding fathers protected my right to bankrupt myself at the hands of an incredibly profitable healthcare industry. Stupid Euros don't know what they're missing.

curiousgibbon··on EU tells Apple to open everything up to its rivals
The EU gets to decide their local tech market. Should apple stop selling phones there on principle?
curiousgibbon··on Study: U.S. dietary recommendations for protein intake are too low
In my field, which is not science, MDPI seems to publish many, many bad journals. They're embedded in the for-profit publishing corner of the science-industrial complex and I would consider the very real possibility this paper is part total garbage part evil moneymaking scheme.
curiousgibbon··on Traffic safety “nudges” can cause number of crashes to increase (2022)
Because in the US verbose, complex and bespoke signage is commonplace so clearly the powers that be do not have an intuitive grasp of this concept.
curiousgibbon··on Pain points of teaching computer science
My take is that there's some vicious cycle going on with cheating.

It's comparatively hard to cheat significantly in a pen-on-paper exam in a classroom proctored by vigilant humans. It's much easier to cheat on other forms of assessment. But exams are rather unpopular, not necessarily entirely for bad reasons. They don't really test what we care about in an ideal way, and exam-specific technique is too important. Also, students are _terrible_ at exams.

In my class I'm faced with two choices: make the grade highly contingent on exam success, deal with awful grades, angry students, and a department that wants my teaching to be modernized; or make the grade about homeworks, quizzes and project work that 10% of students cheat on _blatantly_ and an unknown percentage that I figure is 20-50% "cheat" in some way that significantly damages their learning because they lean so hard on Google, ChatGPT, Chegg, smart friends, ...

The vicious cycle is that more professors are moving away from exams so students aren't getting any practice at exams and hence flunk them ever harder. Anybody who still has an exam component is under significant pressure to reduce it, increasing the cheating-vulnerable surface area and hence the competitive advantage of cheating. Of course cheating increases! And as cheating increases, actual learning decreases, thus increasing the pressure on proffessors to avoid assessment that actually tests their students understand, because then there are unacceptable failure rates. The fact of the matter is that I simply cannot afford to fail 30% of my students. The school and department won't have it.

My response to some of the AI handwringing over things like "ChatGPT gets 100% on my intro to Python course" is to say that your stupid python course isn't testing understanding it's testing trivial syntax. But of course it's not testing understanding, doing so is weeded out by the pressure to avoid failing entire cohorts of incredibly weak students.

curiousgibbon··on Ask HN: What is new in algorithms and data structures these days?
Negative weight single source shortest paths in near-linear time: https://arxiv.org/abs/2203.03456

Obligatory Quanta link: https://www.quantamagazine.org/finally-a-fast-algorithm-for-...

curiousgibbon··on ChatGPT is going to change education, not destroy it
MS in computer science. The specific question I was surprised about was a O(log (m+n)) algorithm for finding the median of the union of two sorted arrays. This is in-scope for elite leetcoders and similar. The code ChatGPT generated had some issues resulting in out of bounds array accesses. It also wasn't clear if the algorithm was the desired log(m+n) one or a simpler but inferior log(m) + log(n) one. Was the model was confused and blended parts of different approaches? Is that statement too anthropomorphic for a LLM?
curiousgibbon··on ChatGPT is going to change education, not destroy it
ChatGPT does not get full credit on the homework I create, even when the topic is some standard-ish algorithm with significant presence in the training data. Or maybe I'm just a bad prompt engineer.
curiousgibbon··on A colorful problem that has long frustrated mathematicians
The short answer is no. Notation varies from field to field and while there are broadly-agreed standards there are minor variations everywhere. Most people I know who do research mathematics do not believe that more rigorous formalization of notation would help them. Human brains are fuzzy and benefit from loose syntax in certain ways. We are a long, long way from using a language sufficiently well-specified and precise for automated checking to be possible on a large scale. Arxiv.org has a huge corpus for anyone interested in figuring out the scale of this problem.
curiousgibbon··on Domain-Specific Languages of Mathematics
Yes, but I'm dubious of the value of a learning resource this indirect. I waded through about 5 versions of the complex numbers, each more natural than the last and gave up on the book because it didn't seem like any reason for the tumultuous journey though weird models of the complex numbers would be elucidated. I'm now trying to crowdsource motivation to continue.
curiousgibbon··on Domain-Specific Languages of Mathematics
I haven't read much of the book but find the early material defining complex numbers as a sum type that's either R R I or R I R where R is some type representing the reals and I is some sort of unit type with one inhabitant rather strange. As someone who knows a little math and a little Haskell, this example seems contrived, misleading and weird from both angles. Should I read on or give up?
Page 1 of 2Next →