skysight-inc/HackerNews huggingface dataset:
Yeah, don't cheap out on the soldering iron. If you have to, at least get yourself a t12 clone. For $50 you should be able to find a decent one with extra tips and accessories. Anything less is a waste of money and will bring frustration.
> I accumulated a laundry list of attempts to try and resolve the situation, including lots of sleep hygiene ‘hacks’.

[long list of mumbo-jumbo tik-tok-style “lifehacks”]

Anything but seeing a doctor?
3 Months of Work on Hydro Thunder [video]
I am Gen Z (1999), and learnt how to solder by being told to build a radio from scratch by my father. I had to source my own materials, find schematics, figure them out on my own at age 11.
I consider myself extremely lucky my childhood wasn't one where I was given an iPad at age 4 to fry my brain completely.
This massive labor shift toward service work has been well underway across the US. See, eg, this excellent case study of how Pittsburgh's aging, shrinking cohort of unionized steel workers (with good health insurance) has been demographically offset by a growing (precarious, non-unionized) medical and care industry. Now the largest employer in Pittsburgh is the university medical center, and the largest sector is care workers.

https://shop.nplusonemag.com/products/the-next-shift-by-gabr...

This pattern isn't unique to Pittsburgh, of course, and has played out broadly across the US.
Yes, Linux guests work. A bigger issue is the lack of hardware acceleration or passthru support for virtual machines.
> it's still useful because at least you know your test code is not artificially passing because of some UB makes it look like passing

Right, that's the extent of what this does. When I saw it on r/cpp I thought OK, somebody realised now they can make their C++ tests work as a reasonable person would expect, or perhaps realised that without this C++ tests are almost worthless because they can invoke Undefined Behaviour silently.

But increasingly I suspect the OP mistook this for a breakthrough in correctness which it isn't, otherwise why post it to HN?

On the other hand, the prohibition on UB for constexpr doesn't reach up to where IFNDR lives, so I'd guess most non-trivial C++ software is technically nonsense with no defined meaning as a result of IFNDR regardless of how many or few unit tests were written or whether they use constexpr to prohibit Undefined Behaviour. A cheerful thought.

[Ill-Formed, No Diagnostic Required: A recurring statement in the C++ ISO document which basically says if you did this then too bad, that's not a well-formed C++ program, however your compiler may not notice that this isn't a C++ program, so, your program might compile, and even execute, but what if anything happens when you run it isn't specified in this ISO standard, good luck.]
Don’t you know?

It is Bitcoin’s fault Texas has a neglected power grid and a wildly corrupt power industry that does not use profit to update and maintain their grid. It is Bitcoin’s fault that when their grid failed, their prices skyrocketed further exploiting Texans, while people died from the cold. It is Bitcoin’s fault that Texans have made no real change since this event has happened, neither politically nor with infrastructure, and held none of the leaders in industry nor politicians accountable. It is Bitcoin’s fault that the power industry has an outrageous lobby funneling money from their customers right into the pockets of politicians, to avoid wasting profits on doing their job. It is Bitcoin’s fault that everyone up and down the chain of supply excessively squeezes every ounce of profit from the public without any shame, guilt, or consequence and without contributing an iota of the value they claim to be offering. It is Bitcoin’s fault that the countless billions in the US that go into the power industry are squandered in fraud, waste, and abuse instead of modernization and clean energy.

It is all Bitcoin’s fault. Ban Bitcoin before people paid outrageous sums of money might be forced to actually do their jobs.
> I recommend a Weller WE1010.

My budget is more in the $20 - $25 range. Cheap adjustable-temp soldering irons are available for under $4 [0], surely there is some middle ground between those irons and the $115 unit you suggest?

[0] https://www.aliexpress.com/item/1005005058271470.html?
Why's that a problem?
You might also want to set ServerAliveCountMax to something high, the default is 3 which means if your network is down for 3*30s the SSH client will disconnect.
I've had the same thought. Formally proven code can give powerful security assurances (cf. Project Everest[1]), but it's also very, very labor-intensive. I've heard rules of thumb like, "100x as much time to prove the software correct as to write it in the first place."

If LLM systems are going to give us a virtual army of programmers, I think formally proving more systems software (device drivers, browser engines, etc.) would be a great use of their time.

[1]: https://www.microsoft.com/en-us/research/blog/project-everes...
> Wouldn’t withdrawing from your 401k and transferring it to a checking account limit the pool of funds available for equity investment and move it into lower risk assets

Yes, at the margins. But these are still financial effects. When a capital project is delayed because the bank they hired to sell stock came back with a lower price after talking to the retiree’s asset manager, that’s a real effect.
>In the modern world, the white robes of the religious authorities have been replaced in many areas by the white robes of the scientific authorities,

Clearly humans do not change and will not change. There were always a small number of independent thinkers and their proportion will generally a constant, as long as humans do not change biologically.
Because you are avoiding tax, if you get caught you’ll pay the duty and a fine.
Wasting decades on String Theory? We've learned String Theory and Brane Theory both yield the same results as the Standard Model (QFT). Nowadays physicists use the model that makes the computations easiest for the problem at hand.

My own thoughts as a well-learned armchair physicist is GR is the wrong model and Einstein's field equations aren't the right model allowing us to include gravity in QFT. This is what most actual physicists believe, and for good reason. Of course it's entirely possible that QFT is also the wrong model and we need a completely different model from everything we have today in order to form a theory of everything. That's what String Theory and Brane Theory attempted to do. The problem being is thus far the new models don't predict any different results than does the existing model - they all appear to be equivalent. But you can't know that unless you tried, so it's not a waste of time.
That's an interesting thought.

I prefer to use the word "de-globalization", which covers some of the same effects.
Smart Watches often can track sleep and approximate blood oxygen levels.

Does anyone know how accurate Samsung or Apple Watch are?
No. I presume that low-income neighbourhoods have higher crime rates than high-income neighbourhoods, which is universally backed up by statistics.
Curious: can the Apple Watch detect this sort of thing?
Ex-SVB bankers on the last days, their departures and what comes next
PostgreSQL Commands
Not having an explicit ranking system means that things are ranked by submission time. This too incentivizes certain behavior (frequent posting). Maybe one can get around that with certain guardrails like rate limiting submissions/comments but that's yet another can of worms to open.
raises hand I'd like more tools that involve me putting in no work, please. They help me achieve my real-world goal faster.
Agreed. A cheap 40 watt soldering iron is really meant for touching up plumbing. And a cheap 10 watt one will cool down too quickly.

Electronics are heat sensitive. A reliable solder joint needs to heat quickly, flux stripping off any oxidized layers, everything melted, before the heat goes up the lead and fries the component.

This means you want an iron that is temperature controlled, and heavy enough it has some thermal mass so it doesn't cool quickly.

I've worked with cheap irons after getting used to my $60 temperature controlled iron, and yes you can use them, but it requires more experience, skill and care to do well, which in practice is equivalent to saying less reliable results.
On Efficient Training of Large-Scale Deep Learning Models: A Literature Review
New study sheds light on how amino acids “evolved”
Maybe try drawing the key points instead of text cards. Idea sparked by the below, which is awesome but requires someone else who already understands to create the learning material first.

"Each 5-minute video, or 'cartoon', is the equivalent of 50 minutes of a university-level computer graphics class. ... there was no statistically significant difference in learning effectiveness between [cartoons & lectures] as measured by exam, homework, and project scores. In other words, the cartoons were just as effective as traditional classrooms for teaching the material."

https://g5m.cs.washington.edu/

https://youtube.com/playlist?list=PLWfDJ5nla8UpwShx-lzLJqcp5...
Obvious counter-point - are the banks actually investing, long-term, in those properties? Or are they just doing short-term financing...then selling the risky long-term mortgages, bonds, etc. on to less-risk-adverse investors and/or "government guaranteed" organizations.
> the display has another microcontroller attached

No, they just use a better MCU like an ESP32. I bought an MKS DLC32 3D printer board hoping to repurpose it for something else. It has a 2.4" TFT touch panel, 3 or 4 motor drivers, and a bunch of I/O, all controlled by an ESP32. Source code on github. All that for $50!
Isn't that all the more reason to dislike his reading on the topic? Exacerbating an unconstructive attitude that people will naturally grow out of on their own only postpones that maturation.
Not without paying the duty and VAT above the exemption limit it doesn’t matter if the goods are for personal use or not.
You're saying "exactly" and then advocate exactly the opposite of what I'm talking about. "Making" somebody do something with their property is the very definition of violence.
The boomer playbook has always been voting themselves benefits to be paid for by their children and grandchildren. This seems to be universal: liberal, moderate, or conservative. See the national debt.

And I say this as a boomer myself.
Also, it's not to be confused with an amazing REPL library, rebel.

https://github.com/bhauman/rebel-readline
As long as they don't name the home Tontine
The limits are set in login.conf, it's not hardcoded.
They can either cling to welfare programs or stay developed.
To be fair, Christianity and Jesus are a package deal...
Learning foreign languages as an adult is valuable for facilitating thinking about the world in very different ways.

In my case, learning Korean in my 20s helped me understand group dynamics and hierarchies (they are built into the verbs themselves) in a way my English-language background never could. Classical Chinese gave me conceptual gifts, such as "principle" 理 vs. "material force" 氣 , and Japanese (very similar to Korean, but with important differences in nuance) the power of understatement and indirection.
popular with conspiracy theorists

https://en.wikipedia.org/wiki/Reptilian_conspiracy_theory
I can safely say this is not something anyone needed or should have asked for.
No.

https://www.federalreserve.gov/monetarypolicy/reservereq.htm
Quite possibly.

Another way to look at this is from the resource, instead of financial, perspective - the boomers will stop producing but will carry on consuming, this will put a burden on the rest of us (modulo automation and immigration from / offshoring to places with different demographic characteristics - crudely, robots and immigrants would be cleaning up after them). Financial engineering (i.e. pensions) ensures that they (mostly) will be looked after, instead of tossed on the scrap heap.
Huh that is interesting.

https://www.census.gov/newsroom/press-releases/2020/estimate...

Here is a pretty clear indication that people are just not having children.

Maybe the percentage of stay at home parents has stayed the same but the number of stay at home parents has shrunk because the number of all parents has just shrunk as well.

None of that really helps indicate why IQ in certain metrics related to communication would be in decline. Since the percentages are the same you would think outcomes would be similar then.

So are kids getting dumber or are parents just getting worse?

Or other factors in our environment are contributing to this. An increase in smart devices autocorrecting and doing 'math' for us for example.
Nice write-up! Haven't tried SRS yes, I definitely see how it can work well for learning facts like you show. For fuzzier subjects like history or psychology, I've had some success with writing questions for myself that require more of an understanding of the subject than mere facts. (Never got to the repetition part, though.) I found that writing non-trivial questions also helped me understand the subject matter better. How would you work with such subjects?
IMHO this is taking it too far: free software first, means that it is not exclusive. Also it does not mean that you need to do it yourself. IMHO government contracts can help selling FOSS and thus sustaining FOSS. IMHO there is clearly a reason to drive quasi standards in areas that move quickly (aka implementations) and not rely only on clear standards. In cases where there is no fitting standard FOSS makes sense. One other thing is that should be weighted in procurement is that if one government body pays for development others should be able to profit. Vendors actually exploit the fragmentation of administration in Europe, reselling customized solutions and exploiting dependencies commercially. I do not that this has lead to much innovation in gov tech over the last year's...
"The exception proves the rule" refers to a logical/legal situation where a rule has been posted with specific exceptions.

A sign that says "no parking on Sundays" logically implies that parking is allowed all other days.

The concept you're looking for is closer to "any statistical group has outlier cases".
From a strict evolutionary perspective it probably hasn't been for a long time and likely never was as significant on an individual level as people like to believe.

The only things being selected for in modern humans, if anything, are going to be things like disease resistance, maybe tolerance to some chemical contaminants in food & water, air pollution. And even then only in some parts of the world.
You mean journalists noticed a problem and never formulated an idea of the core reason for it, or examined it beyond the surface level realities of what it's done to people?

That's what I'm seeing here: A kind of "hmm that's strange... Anyway, incels are evil! Where did they even come from!?"

The truth is that modern society sets people up for failure in that regard, in a multitude of ways, and this isn't being talked about.
This kind of, “Just what the heck in this pile of parts is impacting the other stuff and how is the other stuff impacting this part?” was precisely the angle we took with our V&V tools.
Never heard of him before but his whole life is apparently science focused:

> In 2011, Krauss defended his association with Epstein, saying "As a scientist I always judge things on empirical evidence and he always has women ages 19 to 23 around him, but I've never seen anything else, so as a scientist, my presumption is that whatever the problems were I would believe him over other people
It's relatively straight forward to recompile the kernel. Especially compared to Linux.

https://man.openbsd.org/release#2._Build_and_install_a_new_k...
Because you need to pay VAT on imports into the country above a certain value (which is much less than the cost of a Macbook).
I think this is just a temporary slump caused by the SVB failure.
The economy is not doing great but it is not in a complete metldown.

I do expect interest rate to continue going up: inflation seems to be quite stubborn.
The concentration of voting power is an issue, but not because of the "increased responsibility." Large funds like Vanguard and BlackRock end up owning huge portions of many different companies. These companies are often direct competitors with one another, e.g. Vanguard owns over $62 million in American Airlines and $136 million in United. This creates incentives for anti-competitive practices.
To simplify the understanding I will limit to mentioning just the "stack memory". When a function is called, memory on the stack is reserved for the function that is called. In addition to other elements on the stack, the stack contains the memory for the function parameters and local variables of that function(I am avoiding the mention of heap memory here for simplicity). So, the local variable `a` in your example is on the stack. When the function returns to the caller, the stack memory associated with that function is "freed"(freed is in quotes because the stack elements are not freed but "popped/removed" as in a stack data structure). So how does the value of `a` that was on the stack which is removed when the function returns passed to the calling function? Well, the value of `a` is just copied into the variable from the calling function that is assigned the function value that returns `a`. That is why, if you return a very large object from a function, it becomes a performance issue. But with some latest compilers this is resolved by performing return value optimisation, i.e instead of copying, the value is "moved". There are various techniques to achieve this and is a much broader topic.
Because it would show that all the models are just slightly different Hopf algebras. And yes to interpretability and modularity. It would provide guidance for building new architectures.
I agree with you mostly (and will give you an upvote). I think we've seen enough to understand that upvotes and downvotes are dolled out based on how well a comment agrees or disagrees with the voters preconceived notion of whatever the topic is.

I also question the concept of 'hiding' comments. Are my eyes so delicate that I can't see certain comments by default? It seems like just a feature that exists to bias subsequent viewers against comments.

It'd be really interesting to see a system where voters have both one upvote/downvote for the submission and the ability to upvote one comment and downvote one comment.
Peter getting smeared in the press and losing his job because of frank (and not even uncommon or spicy by today's standards) criticism of Margret Thatcher to go back to school and become a lawyer was special. Also that first interview with Paul's wife who shamed the director and whole production was certainly something.
Thanks, I appreciate it!

> There have been media headlines about the potential for modern AIs to turn evil and destroy the human race sci-fi movie style.

Yeah, the public debate isn't very balanced in either direction.
> How do you think amphetamines work? Norepenephrine and dopamine.

And serotonin—amphetamines are SRIs as well.
The only time I look at the actual web interface for bitbucket or github is during PR reviews. Otherwise I'm either using the respective desktop app or grabbing blames from my editor. So, I'm always locally browsing branches.

So realistically, only Commit (under Browsing Git repositories) and Code review actually matter. Lighthouse metrics don't matter much at that point (if I'm at the PR stage I will put up with an unusual delay to get the PR through).

I think that's what you're seeing with these metrics.
Dev's don't care about a repo's browser experience. They care about the terminal/desktop-app experience.
> 99% of Apple's customers don't know what an M1 is or what the difference is to an Intel CPU.

I don't think that actually matters at all to most Apple customers. What I do think matters to most is the advertising that went into it that turned "Apple Chips" and "Apple Silicon" into phrases people actually using outside of tech circles.

They wanted one because it was new and different, regardless of what those differences were.
That snippet is the result of printing out the internal structure of the proof, not how the proof was actually written. You'll notice that what a human actually wrote and would normally read is the code block mentioned directly above in TFA, which is much more sensible:

lemma nat.add_comm : ∀ n m : ℕ, n + m = m + n
| n 0 := eq.symm (nat.zero_add n)
| n (m+1) :=
suffices succ (n + m) = succ (m + n), from
eq.symm (succ_add m n) ▸ this,
congr_arg succ (add_comm n m)

Also, this example proof is explicitly about math (the commutativity of addition on natural numbers), so it's appropriate and not surprising that it uses mathematical notation.
Digital Nomads: Putting ideas into practice in a Portuguese village
There's a couple of mentions in other comments about the Riemann Sphere (https://en.wikipedia.org/wiki/Riemann_sphere) which does define division by zero, but sacrifices the numbers forming a field under addition and multiplication.
Lol, yep that’s the etymology. But pretty sure y’all really don’t get it:

https://youtu.be/DnHOxZgvdWM
> unless the AI is deeply integrated into their brain.

At which point, are they people anymore?
Despite being nominally on your side in this discussion, the way you reply makes me actively wish I agreed with you less, because you are so hostile and abrasive.

This is no way to talk to other human beings.
We use formal at Apple to verify hardware. We are always looking for good people in this area.
All you need is tdd https://github.com/yellowdragonlabs/TDD

- Separate tests from code.

- Compiles instantly.

- Generates tests more powerfully than templates.

- Can access private members.
Doesn't seem to do IO Kit, DriverKit, Metal, Instruments Plugins, UI frameworks, XPC, and plenty of other stuff dependent on Objective-C/Swift.
Yes, this!

What would be helpful is if formal methods were powerful enough to be able to prove contracts and assertions about expectations and invariants; however, all formal systems I've experienced are not powerful enough to do this at scale in any interesting program, not without spending way more time reconstructing the entire system in the formal world, with the attendant likelihood of introducing spec bugs in that reconstruction.

It is entirely different in the world of hardware, where the specification in many cases is the RTL and the thing being proved is the, supposedly identical, physical implementation.
Wait "Is Debian reproducible yet?" breaks the are we part of the syntax!
I mentioned upthread that I bought an ESP32-based DLC-32 3D printer/laser controller board. It uses a 2.4" TFT SPI display. Admittedly, I didn't use it for very long before reflashing it with my own test code, but the display seemed pretty responsive.

I've been doing a lot of work with TFT_eSPI recently, but only on the display side (not using touch input) using the LVGL framework and it is very nice and smooth.
I have one of the too, it’s great but _might_ upgrade soon.
You need to meet more gen z folks.
yes if you are trying to memorize facts and reference material and maybe even language, then yes, using premade cards are probably chill. especially if all the material is standard.

if you are reading abstract stuff or more novel stuff that people are still understanding, then your own breakdown and understanding used to make cards is incredibly more helpful. If i was learning differential calculus, someone's analogies and metaphors of cards would not be understandable to me at all.

i have to admit i added my own bias here so thank you for expanding.
I think it’s useful for quickly finding rust resources. Definitely something worth bookmarking.

Must admit though, it’s a little irritating that “are we…something…yet” seems to trend once a week on HN for no reason.
Free ChatGPT for Sutdents – Brain Buddy