skysight-inc/HackerNews huggingface dataset:
But you are again trying to make a non-binary problem into a binary one. We will never be able to soundly verify all the properties we need. That dream is just getting further and further away. 100% correctness is unattainable. So given that, let's say we could only ever hope for 99%. In that case it doesn't matter whether we get rid of 99% of problems using unsound methods or soundly get rid of the cause of 99% of the problems -- the end result is the same. What matters is the cost of getting to that 99% correctness, not the technique.

My choice of technique -- sound or otherwise -- is driven by its cost-effectiveness, not principle. I don't care if you're using a sound technique or an unsound one; I only care about how much it costs to give me the most correctness I need and can get within my budget.

> I do take issue with your outright dismissal of soundness

I don't dismiss soundness. I dismiss the focus on soundness out of principle rather than effectiveness. That myopic focus is grounded in the preferences of researchers of sound methods; it is not grounded in the study of software correctness.
Wuffs: Wrangling Untrusted File Formats Safely
Helium leak delays Starliner crewed test flight
whose children use Facebook or Instagram? Its only boomers and older engaging with obviously fake AI generated content from what I see.
in my experience, nothing beats in-person for creative discussions.
FYI, just because you put "unlikely" next to a statement, doesn't really qualify as evidence and/or argument.

For example, the first 2, aren't just "unlikely", they are likely, real and documented in multiple accounts.

So if you ask a question based on the wrong inputs, you're not going to get the right answer.
Mutex<RefCell<T>> is a common pattern in embedded for setting up globals that are accessed from a critical section.
Good point.

If you want a good accurate model of human psychology, look to world of marketing.

There is a similar noise-is-strength in vacuum cleaner sales.
Dismantling Scaffolding
My wife found a workaround for it, which is when she realized she didn’t want to continue her PhD she landed the UN internship and used her stipend money for that year to live in Queens off the 7. It paid off in the long run since it gave her an opening to do contracting for them, which gave her the knowledge to pass the entrance exam (which is its own soft studies filter, since many who passed had received formal private education that included how to pass international org entrance exams)
we use jam for quick video recording. loom for explanations of how to do things.
Lessons from My Failed Startup (2013)
The Pi 5 has a power button finally, and a Normally Open jumper that you can wire into to implement a mechanical power-button off-board.
It says like 10 times in the video that equal performance was the KPI.
I got my clone just sitting in the closet waiting. I got him at the clone store.
Reporting restrictions are in place because a retrial over a remaining charge which the jury could not decide upon is due to take place in June.
The topic is an electric leaf blower though. While a gas leaf blower is louder the difference isn't as most of the noise is the blower.
In my area they're occasionally used to blow leaves in the fall. Mostly they blow grass clippings off the street and sidewalk. Leaves in the fall are mostly mulched by mowers. It's about 20 times faster than blowing them around and collecting them.
There are several. I am tinkering with one called data algebra: https://pypi.org/project/data-algebra/ .
They might not be my friends, but they did pay 90% of my salary for the past 22 years...
They're great for landscapers. I just use a push broom. It takes more time, sure, but efficiency isn't the goal.
And the minutes of latency you currently get with this context lengths.
Ibis would be the equivalent of unified frontend for tabular data. It was created by the Wes McKinney, also Pandas creator, that now works in Posit (old RStudio).

https://ibis-project.org/
Carnivorous sheep - is my favourite unflattering description of VC's.

Ironically this I heard this from somebody who ultimately became one. Perhaps it's Zombie Carnivorous Sheep.
Is that really what people want?

Leaf blowers to me are possibly the least interesting, least appealing way to use modern tech

To clarify, as a research project, cool. We can probably use any new developments elsewhere. But as a tesla product, just why?
I think this is the paper
https://arxiv.org/abs/cond-mat/0212043
You kind of get the impression that manufacturers never even bothered to try to make them quiet before.
PSA: try the Chemical Force Youtube channel. It is run by a crazy fellow who demonstrates all sorts of esoteric and highly exothermic inorganic chemistry.
Stimulus Controllers as ViewComponent Sidecar Files with Propshaft Importmaps
The “improvement” it describes involves taking it from being nonfunctional to functional. The original comment I responded to suggested that it was previously a client side validation that could be easily bypassed.
Star Trek TNG did an episode on hollodeck addiction featuring Reginald Barkley. They revisited the idea in voyageur too.

It seems more and more people are sitting in smaller and smaller condos with fewer friends and relationships outside of work. The sex rate and birth rate are plummeting. This is all very concerning for the health and well being of humanity.
> Do European countries require printing pictures of diseased lungs on the side of cigarette boxes?

They do.
> Why singling out male loneliness?

Because that's how conversations work. You narrow down a problem in an attempt to solve it and argue about it.

When someone asks you "How do you fix a bicycle tire?", do you immediately retort with "Why singling out bicycles, and not include cars/buses/airplanes?"
AWS SAA-C02 Study Guide
From memory you do need BigInts for ASN.1 decoding which is used in PKIX and thus TLS. Not a bottleneck though.
I love the sound of a leaf blower. Makes me sleepy.
Why ChatGPT feels more "intelligent" than Google Search
Syntactically, no. But functionally Polars is new in the space.
MicroCapacitor Charges 100M Times Faster Than Lithium-Ion Batteries
I don't know the data on this, but I'm surprised you're doubtful. Don't you think the media and doctors alike have been pushing the idea that plant-based diets are healthier? My doctor suggests a plant-based diet for health. A family member of mine who gets most of his scientific and historical info from netflix is thoroughly convinced that meat will kill you. Just anecdotes of course.
the 2nd option

yes, I've been navigating the solution space for this complex problem since '22. just went full-time on it since Jan this year and I came up with what I think is a decent first iteration

the idea is basically teach for free and find a way to crowdfund the course (students might sometimes help with that, which won't make the course absolutely free, but quite close to free), and in case of local or exclusively online courses, expenses are much lower, thus less of a headache

all this will theoretically pay off, it's a long-game. 1:1 private sessions, connections, consultancy opportunities, book sales

it's definitely not for everyone, it's quite a niche thing (which I really like because it won't compete with any other platform in particular). I think it's a real gem, but I firs have to find a way to get at least 100 responses on my survey

oh, so people are put off by the sign in? I actually only added it to prevent abuse, I'm not requiring email collection. thanks for letting me know, I just disabled it
Written 10 years ago but a lot of it still holds true.

Not enough is being said about focus.
When a VC wants to bankrupt it's competitor it's bad and most of them do the same
I have 70 trillion people on the waiting list. It doesn't mean anything. Only people that pay for your product matter
As someone only dimly aware of this space, I wish upfront they would highlight what they see as their relative strengths to similar systems and techniques. For example, I'm aware that both NuPRL and Coq have some ability to extract programs from proofs. What kinds of problems does F* do better at? Are there some areas where the SMT solver is a particular advantage? Are the extracted programs superior in some way?
Scientists Are Investigating a Puzzling 'Anomaly' Near the Giza Pyramids
I don't think this is wrong, but maybe missing some nuance:

Popularity definitely gives you "more stuff on the shelf", but it's also probably fair to say that at some level of popularity there's "enough" on the shelf.

What "enough" is, probably varies for different projects.

Just as an example, a while back I was involved in an Erlang project and while that ecosystem certainly does not have as much available as, say, Ruby, it had the pieces we needed, like a Postgres library and a few other things. The runtime itself was a better fit than others for the semi-embedded system we were working on, so in the end we chose that over more popular languages.
Newsom isnt providing full range of abortion options
They have? Do you play popular video games?
Many of them have had to change their presentation or behavior based on regulation that's mostly sourced from the EU. Many games have region locks so they can perform more or less spying on people.
There were 141 deaths attributed to COVID last week. It was 838 in 2023, 1,678 in 2022, 3,694 in 2021, and 11,243 in 2020. This is practically gone away.

https://www.cdc.gov/nchs/nvss/vsrr/covid19/index.htm
Scientists develop POC device that uses air pollution to produce electricity
Any plans to resell AT&T fiber in locations where you don't have service? (Asking not-so-transparently if you will come down to San Jose where I live…)
Harness Advanced Insights with Oobeya's Symptoms Module, Now GA
Because in the *nix UI space, there are simultaneously too many and too few people working on it. So you can have any of a thousand themes, reflecting years of work, on your desktop environment, but, because no-one is paying top notch graphic designers and UX psychologists, the overall experience is still janky. Maybe ElementaryOS solves this, though I dont have direct experience beyond screenshots.
> ...there is an entire field of pointer analysis and escape analysis that can and does infer uniqueness and reasons about whether two references can be aliases.

You can't do this automagically in the general case, you really do need something much like separation logic. (And of course the Rust borrow checking semantics can be seen as a simplified variety of separation logic.)

Classes and fields don't give you completely local reasoning about mutable state, because class/object A can end up depending on the mutable state of class/object B. And class inheritance as found in Java adds all sorts of further complexity of its own, especially as programs evolve over time.
Googling “are men lonelier than women”, first link is Reddit.

Second link is that one:

https://pubmed.ncbi.nlm.nih.gov/37563853/

> Our analyses show that women were more lonely than men also in adjusted analyses.

I don’t have the background to judge that study and I take social science studies with a huge grain of salt. For now, I will just stick to “I don’t know” then.
You can mix the two models as well. For example, have subscription plans that include a base usage level and have per use price if they go over their plan (some mobile plans work like that)
> think of a VC as a sales prospect

I think the problem with VCs is that, most generally, they are not good sales prospects, they are pedantic. A good sales prospect is someone who give you feedback, even automated, so you know where you are. Even if they receive a zillion of pitch decks every day (as it is noted in the article), they should have a better process in 2024 to handle that.

I will give you an example as a customer which can be translated: I sent a simple problem to HubSpot and after many chats and email tickets they couldn't solve it! They are advertised as a top CRM, we are happy as customers but I feel there is nobody in the line. On the other hand we are customers of Bizneo for HR/PX and they are happy to make a call and help us. I would expect more feedback from VCs, they are more terrible than banks giving feedback, knowing that they are in a power position but that will not work for long time.
Llama 3 implemented in pure NumPy
i read about this technology first from https://news.ycombinator.com/item?id=40015953 and https://news.ycombinator.com/item?id=39392582. curious if OP also got his inspiration from the two mentioned - pretty cool!
That is a strong indictment of US teacher training. (One assumes that's the US, because teachers are remarkbly untrained over there.) Everyone knows you deactivate bromine and chlorine with thiosulfate or sulfite and only then chuck it down the drain.
Today’s puzzle took me awhile to get, and I enjoyed the challenge!

I’m curious how much difficulty falls off over time after regular play. I’ve only played one puzzle, but without expanding the rules of the game, I feel like the following approach is all I’d need to solve any other puzzle pretty easily:

1. Build local early to save taps. Two squares touching can be painted with 1 tap and 1 flip.
2. Use taps in the middle of the game to create “pivots” for flips.
3. Big and “obvious” symmetries are solved with flips towards the end, taking advantage of “off the edge” squares getting ignored.
4. Fill “islands” (white squares without a corresponding white square for any axis of symmetry + pivot + valid flip) last with taps.

Did you ever try it with hexagons and 12 flip directions? >:)
They are looking at that as well.

https://www.pcworld.com/article/1476642/europe-is-ready-to-c...
Adding more capability means adding another set of model weights.
This policy isn't meant to be enforceable; it's to signal to contributors — who may not have even considered the legal implication of using LLM codegen tools — that LLM codegen is not allowed because of the legal risk. It's an addendum to the existing guideline "Do not commit tainted code to the repository", which was already practically unenforceable, and it's intended to address a real and new phenomenon.
Always restored the previously opened tabs, I have seen this page only once
If it’s slower it costs more. Who is going to pay for that?
Lately I've been dabbling with lean. pretty tight vs code integration. I don't know why I keep getting pulled toward dependent types, like a damn moth to a flame. I get a little scorched, then, oh I should try ...

But yeah, compiler checked properties are something kinda magical. Even more when you can specify the property to check.
He was even featured on the Forbes under 30!
The bigger insight is that even the seemingly most noble of institutions can be bought.
This seems pretty unlikely to surface. Saying "oh you do that by doing these 3 things" in Slack, or going off and fixing a broken thing in a test environment, might save someone else hours or days, but they won't report somewhere "this person saved me hours", particularly if it happened 3-12 months ago (whatever the review cycle is). Combing through emails and commits is also just pretty unlikely to happen.
Multiple times in the last 3-5 years, I have coded up wrappers to new/evolving C++ libraries using Rcpp for internal use by bioinformaticians.

Especially anything using multi-threaded algorithms or from the recent algorithms research world, I really get a kick out of hacking into a usable R module. It is almost like doing computer science again (as opposed to the real day job, which is data munging for reporting tools).
Yeah this is me tbh - except I do use GUI apps as needed e.g. I game with Steam and play around with Godot (both in flatpaks).

But ultimately, I am in a terminal probably 90% of my time, and I want a DE that facilitates that... which GNOME does.
Stop putting Go in the same bucket as Rust. You never looked at its low-level details. Please do.

It has weak compiler, expensive write barriers and neither offers you APIs to reach optimal hardware utilization (aside from completely custom ASM dialect) nor the ability to define zero-cost abstractions.

Its purpose is fast networked back-end applications that are scaled horizontally (by cranking replica count, because Go's GC does not scale well with cores, and the CSP pattern has scalability issues too), but that's pretty much it.
Battery stuff is just fine on the power aspect. However price weight kill you. Gas is light for the amount of runtime you get, while a battery is very heavy. A contractor will need more than $1000 worth of batteries to get through a day per person or $4 worth of gasoline.
I'm guessing that the person you're responding to isn't a huge fan of huge expanses of tightly mowed grass in the form of golf courses, either.
Hugging Face is sharing $10M worth of compute to help beat the big AI companies
On the bright side - at least he's not fighting against the French government:

https://www.forbes.com/sites/alexledsom/2021/01/11/french-wo...
Calling parents "stupid" reveals a deplorable lack of parenting experience on your part - you don't know what you're talking about. Children spend 8 hours per day or more outside the home, and they share devices, so it's simply not feasible for parents to exert any great control over their offspring's digital lives. Regulation seems to be the only possible response.
Just code dumb shit to impress your friends
Then why narrow it by gender specifically? I would think that AI would probably work equally for both. Maybe that would not be the case for age?
I feel like my entire takeaway from a business-y degree at a rather good university kinda boiled down to “don’t go to European VCs, they’re mean and valuations are bad, while providing no upside”.

Will be raising on an idea that makes me look at least a little bit like a lunatic in four weeks’ time, so keen to see how this is born out!
So does a rake or broom. It needs more manual labor to do it that way.
Just moved out of Cupertino and the best speeds we could get was 1 Gbps down/50 Mbps up on Comcast. The other option was AT&T DSL. So…not really.
the solution is that most of humanity has to go. it sounds like the world is moving that direction, anyway
What's the point of all that exercising if you can't use it to get some action in the city of love? </sarcasm>
Most American's would benefit greatly from some time consuming work. The comments on HN would likely improve from the mood altering benefits of exercise as well.
I'm going to go out on a limb here and claim that obesity is an epidemic because of the misguided anti-fat crusade driven by well-meaning but naive people who (still!) believe that "eat fat get fat". You can walk down the ice cream isle and see countless sorbets advertising "fat free!" as if it's healthy.

We are at the tail of a huge shift to a carbohydrate-rich diet, and refined sugars are only part of the problem. Your body converts bread and starch to glucose almost as quickly.

The fearmongering about social media sounds a bit like the anti-fat crusade to me. The evidence is thin yet it makes people incredibly loud and angry. And remember one of the first rules of statistics, correlation is not causality. I don't need to quote the relevant xkcd number to this audience.
A rake is also an option
Vaguely related anecdote.

I used to get bad nausea from aggressive physic-y VR games. But I heard people claim it can be grinded through. So I did that, and they were right. I can do VR games without needed to vomit although it’s still uncomfortable.

However… I am now much more sensitive to non VR motion sickness. :|
Earlier you were saying how you didn't trust only observational studies and wanted to see people actually doing randomized trials. That was for a meta-analysis, but this neither a meta-analysis nor an RCT. It is a single purely observational study.

Further, looking at their 95% confidence interval graphs... you can see the many of trends could potentially be completely reversed and still within the 95% confidence interval. Their 95% confidence interval contain probable outcomes where 140mg/dL was the worst possible level as well

Further it also still finds increased risk for heart issues with higher LDL.

> Any increase in LDL-C levels was associated with an increased risk of myocardial infarction.
1 and 2 is how all the gig companies like Uber, door dash, amazon delivery etc work. The line between personal and professional has been blurred intentionally by the big employers. This helps them CYA as you phrase it.
I don't know. It doesn't do it for me. It makes me think "why bother with all this crap if. Even if you do them and you will die a sad and painful death".

There are much simpler, cleaner stories if you want to impart a message about the importance of PPE: Barry Weatherall was cleaning a pipe with sulphuric acid. He used PPE initially while performing the procedure, but removed it to do some paper work, and then went back to check on the progress without PPE. The acid exploded in his face and he become blind for life.[1]

It is a sad true story. Much cleaner than the Karen Wetterhahn one.

The message of the Karen Wetterhahn incident is "don't assume that just because you have PPE it is the right PPE for that task". While the message of the Barry Weatherall story is "wear your PPE".

1: https://nationalpost.com/news/in-the-blink-of-an-eye-adjusti...
Men and women are much more similar than bicycles and aircraft. It's more like asking "how do you fix a front bicycle tire", in which case it's reasonable to inquire if the distinction is actually relevant.
You mean you can't summarize it in a sentence of two?
It's a bit disappointing that Sony made the beautiful HB-101 and then decided to make this model look so industrial.
Never download software updates or games?
Not all VCs have the same investment thesis.

Alignment and mutual fit is important.

Being undiscovered and being found by a process is partially a positioning piece too.

VCs want a transaction in a short number of years depending how far they are into their current fund.

It’s not always about any one idea, but rather what idea can be the winner to make up for the others that didn’t win big.

Also, knowing the difference between investors and VCs is important - investors tend to often give more personalized support than VCs.

If you’re ready to go big and be supported to do so, VCs can be just what’s needed.

Increasingly, VCs are a feeder system to private equity and you may be able to position yourself for that long term.
This seems very surprising for a molecule that intercalates DNA!
Hey! I'm actually in the Philippines now, and I've spent a lot of time on the island of Bohol, which has the world's greatest concentration of tarsiers. In fact, I visited the Tarsier Wildlife Sanctuary on the island of Bohol, Philippines with my wife, which is the world's main tarsier sanctuary. So I was instantly intrigued by the name of the app.

https://flickr.com/photos/wyclif/3271137617/in/album-7215761...