skysight-inc/HackerNews huggingface dataset:
Same here. I failed at soldering with my cheap iron, and there was nobody to show me what was going wrong. When I got a job assembling circuit boards, they provided a Weller, and suddenly I was able to make perfect joints every time.
Ah, fantastic and thank you. I had suspected I picked it up somewhere, I just couldn't find any proof of it. My previous failure to find the origin was likely because I was searching for "boats" rather than "submarines".
But what got the cycle going in the first place?
That is because it was discovered that the D-shape tokamak was more stable than toroidal ones. All of the major ones since the 80s have used the D-shape.

The D-shaped "advanced tokamaks" and spherical tokamaks are similar shape but the spherical has smaller center hole. That is the most efficient but it is harder to build. The center hole is the most confined space in giant ITER.
What a teaser! Can't wait to see it. Anything you can share right now about what you are building?
Yes. It's not going to erode my faith, since I'm loyal to Christian values and principles more than any individuals, but the things some of these people in power have done are unacceptable, immoral, and fundamentally un-Christian, and they should be held accountable.
There are multiple ways to look at this.

One is to stay small - the things you do matter in your individual sphere.You don't take care of your body, you die. You don't exercise your brain, it atrophies. You can increase this sphere to friends, families, community etc till you can see the effects and have feedback. Of course as in all system, those might be a bit delayed, so it helps to have some context.

Or you can go meta, why should things matter. This innate drive that we have to find meaning in all things is very confusing. Things simply are - accept them.

And if nothing actually matters at all - then you have a blank canvas to paint what you want.
Apple is pretty tight lipped about revealing the details of our work. Formal is a bit of a niche area, but you can find some info online.

Here is a course taught at UT with some slides from guest lecturers from industry that looks like a decent overview:

https://www.cerc.utexas.edu/~jaa/verification/

Also, the main conference in the area is FMCAD, you can find a lot of related work there. More recently the conference has moved more towards software, but if you look at some of the older proceedings you can find a lot of hardware related stuff.

https://www.fmcad.org/

There is decent amount of overlap between formal for hardware and software, so if you study one you will likely have enough background to get started in the other.
Every time I add or complete a task, ChatGPT outputs the latest complete copy of my task list (I only had to ask it to do this the first time, then it just did that automatically). So, in other words, it always updates the latest "live state" in its most recent message. If I hit the limit on context window it would just take me ~30 seconds to open up a new window with my original prompt and the latest iteration of my task list if I so desired.

Here's where I posted a snippet of this convo a couple weeks ago: https://news.ycombinator.com/item?id=35390644
https://en.m.wikipedia.org/wiki/Linus_Pauling#Medical_resear...
You just reminded me a slightly related strip: http://www.stripcreator.com/comics/elemental/605973
Forall (n: Nat)

Is perfectly reasonable.

If conciseness was that important theorem provers would have syntax like APL.
Why would it fall? Steady seems just as fair an expectation in absence of pressure either way
I agree with this. I consider myself a person who is very interested in a quality music-listening experience in that I want it to sound good (I can't believe how many people listen to music out of their phone's speaker these days) and I want a high degree of control/convenience out of my music player (mostly oriented around playing entire albums and/or dynamically building playlists on the fly based on where the mood takes me). But I really don't want to be called an audiophile, because of the crazy pseudoscientific baggage that word carries. So for a product to label itself "for audiophiles" creates a little "ugh, poor choice" flinch in me.
Is it possible the key fob just needs replacement and is causing the intermittent sleep failure?
https://docs.ankiweb.net/filtered-decks.html

You can use filtered decks and set them up so they don't alter the schedule of the cards when they're "returned" to their actual regular deck. Useful for a cram session before an exam where you don't want to actually alter the regular study schedule.
First-ever April tropical storm could spin up in the Gulf of Mexico this week
I hear you: I've got a STEM background as well, and for many years I was a Catholic-raised agnostic, having bailed from belief at age 12 (and having been skeptical starting at age 5). In later life I worked my way back around to sort of a general agnosto-monotheism, to coin a phrase, and am now at least nominally an Episcopalian (I married one).

I did a lot of thinking and writing on the subject and concluded that we're part of what could be called "The Great Project"; see https://www.questioningchristian.org/2006/06/metanarratives_... and the other "Favorites" links in the right-hand column.
Nice. I ran into an nvi bug years ago... if ":set numbers" and ":set noleftright" and then loaded a file of more than several kilobytes it would go into a malloc loop and segfault. We tracked it down and submitted a patch (this was to FreeBSD) and was told patches to src/contrib were not accepted (nvi was still "owned" by sleepycat). Good to know that at a certain point, function can overtake form!
I also know someone in a similar circumstance who suddenly turned to religion. Turns out he was becoming schizophrenic.
the short answer is "no"

this is a question that came up often when he was asked on his motivation to dedicate so much time on debunking religion and religious practice

it wasn't a question about God or some God, it was a question on the supposed rational golden era that, according to Richard Dawkins, God and religion were stopping

his view that religion would be replaced by a judicious form of rationalism has been thoroughly discredited IMO, so no, he was not right about that

Dawkins' fear of the religious person looks to me exactly like the fear of the unknown that serves as the basis for many religious beliefs, and his belief that humanism would save the world completely analogous to Anglicanism, Catholicism or Orthodox Christianity, all of which have a scientific/gnostic eagerness[*], and a goal to unify the nations of the world

listening to Solzhenitsyn describing the humanists of the post-war, Dawkins completely resembles the figure of the zealot of a non-Deistic religion - "Humanism" - so blindingly fanatic of his beliefs that he cannot fathom that, once people are presented with them, some people might just not accept them or agree to them

* those religions actually try to track scientific truths, adapt to them and teach them
So the Casio F-91W is a great example. It's been in-use for decades. Does 4 things perfectly: Time, date, alarm, stopwatch.
> I think I would just be easier to hit compile on that spec

I have a hard time not being similarly skeptical about formal methods. They promise the ultimate holy grail of software development - release software with zero defects - but demand what appears to be years of study before you actually see results. On the one hand, there's lots of examples of techniques and tactics that promise amazing results if you "put in the work", even outside of software (like fitness and music) - but in over 30 years of software development practice, I've never met anybody who was applying formal methods at all, much less to achieve defect-free software. If it could deliver what it promised even with a "mere" five years of dedicated study, I'd expect it to be more widespread by now.
> Map is not the territory

I think this one will get fuzzy real fast when you talk about cognition itself. Otherwise, thanks for the thoughtful response. Food for thought.
Or disconnect the battery (you’ll have to reset the clock, etc., which is annoying).
"That's XCOM baby!"
Don't you have to "inflation adjust" any value that is denominated in dollars (like this revenue metric) over time?

$1.00 in January 2019 is $1.20 in 2023 https://www.bls.gov/data/inflation_calculator.htm
I would like anyone that considers Microsoft to be a recent champion of Open Source to reflect on corporate doublespeak. It's plausible that this bug was engineered as an attack on Firefox.
Dirty deeds, done dirt cheap.

Not shocked to see it was published by Paladin Press, also (in)famous for publishing The Anarchist Cookbook
A thin-film optogenetic visual prosthesis
Education is not IQ
It's nonsense! If a car is dying after not being driven for several months, ok fair enough. If after several days a particular year make model dies it deserves a recall!
If DDG continues to sleep on their advanced search syntax[1], then (in my opinion) their audience is going to eventually become just "privacy folks," which isn't nearly as big of an audience as users who enjoy alternative search engines or folks that don't want their whole life ingested into Google

I bring this up because expanding that "Tips" section really highlights just how many facets Google offers for getting to what you really want from a search

1: https://help.duckduckgo.com/duckduckgo-help-pages/results/sy...
No, experiments are really only science in the usual sense if you have an expectation of how they will turn out and you run the experiment to test your hypothesis. And properly constructing the hypothesis, to include past knowledge and some causal mechanism is vitally important, the causal part being often neglected even in "real" science.

There was a lot of this during Covid (which I know is a bad example because of it's political baggage, but anyway). Various "x cures / helps with covid" trends (sometimes including studies) but not really based on a anything. It's not really scientific to just imagine something could work, and then try it. Contrast it with vaccines, where, regardless of your view on the covid one, there's an actual plausible causal pathway from being exposed to it to getting immunity, so it's possible and a legit thing to do to run an experiment to see if it works.
Yeah, the tests will only fail if the tests trigger UB. It's like all testing, it only detects issues if you trigger the issues in the tests. Using static_assert as your test system obviously doesn't obviate the need for writing good tests.
While I was in that camp for a long time. It's also somewhat enlightening to understand their perspectives. Some are hired to do the work from extremely poor backgrounds I believe.

The first and foremost is to ban public trophy hunting. Many governments in Africa allow it as a revenue stream. But, the outrage needs to come from the local population there.
First Interim Report to the Independent Directors on Control Failures at FTX
I’ve once worked on a system where everything was abstracted. Literally everything. You were basically not allowed to use any libraries. They had an ORM, but you could only use it via their wrapper („so it can be switched at a later point“). A lot of things were impossible with this wrapper, or just broken. You could file a ticket, but the library was just updated twice a year.

You could not make sophisticated HTTP-requests, because you had to use the in-house library. And off course it had much less functionality than some commonly used libraries.

So what I learned from that: abstractions can be nice, but they are useless if you can’t escape them. They must have „escape routes“ everywhere, to do things that are not covered by the abstractions.
How is an infinite universe that's been painstakingly engineered by an infinitely omnipotent being less mindboggling than evolutionary biology?
Thank you for that explanation, it did a lot to explain the title.

I didn't flag the article but I am now of the opinion it should be un-flagged.
A new tool that makes it easy to debug any domain-specific programming language
Devils advocate, why then did they fix it?
Posting NY Times articles isn’t an argument. If you believe climate change is the main cause here, post a legitimate and peer reviewed study by people on the ground. This looks like you’re high on sensationalist doomerism.
> That “guide” was natural selection over millions of years.

Small nitpick: millions of years is how long Hominini brains have been evolving with stone tools. Mammalian brains had already been evolving for at least a hundred million years, animals in general for seven hundred million years, and the basic molecular machinery like genetics and proteomics had been evolving for billions of years.

The scale at which evolution operates at is truly mind boggling.
Clearly, their creativity setting is too high and they're hallucinating answers to questions they weren't even asked.
I think the tone of the article is a bit too judgmental. He himself called it a 'crazy theory'. I took it to be a pet theory he thinks is interesting, personally would like to believe in, but knows he can't prove. We've all got some of those, there's room to talk about them without being called a crank.
As far as I can follow, the NHS has been severely and intentionally undermined of resources by the ruling party. They are in the cusp of doctors going on strike.
What does a software developer do every day that's the equivalent of a musician
What does a software developer do every day that's the equivalent of a musician practicing their scales?
I think that’s especially true this far into the pandemic telework shift: that both forced new purchases for a ton of people who had desktops in the office and also pushed more work into cloud services for ease of sharing. Neither of those are absolutes of course but think they line up well with your observation, further reducing the number of people who think that they need a new computer to be more productive.
I think you mean Pinkerman
> Either as some sort of inferior ally or maybe trying to sign up as a full Indian state

This overstates India's power projection and understates Australia's.

Instead - Japan, Australia, and India have been workng on Trilateral Defense and Economic relations since the mid-2010s, with this being formalized with the Quad (which offically isn't a defense agreement yet).

SK and VN have also shown interest in joining the Quad, and honestly, it makes more sense in the Asia context.

On the economic and energy policy side, ik India+Japan have put their renewable eggs in the Blue and Brown Hydrogen strategy - use Australian NatGas and Coal to create Hydrogen cells. This also allows both India and Japan to minimize any dependencies on Chinese battery tech and supply chains and integrate Australia's economy closer with India+Japan [0][1][2][3], and Australian mining companies are being selected by India to help with the Lithium deposits in Jammu [4]

[0] - https://www.csis.org/analysis/japans-hydrogen-industrial-str...

[1] - https://www.iea.org/reports/the-future-of-hydrogen

[2] - https://www.pv-magazine-india.com/2021/12/11/the-long-read-r...

[3] - https://www.dfat.gov.au/publications/trade-and-investment/in...

[4] - https://asia.nikkei.com/Business/Markets/Commodities/India-s...
no, I try to use desktop machines mostly
That says Pinkerton not Pinkerman
I'm trying to point out there are a spectrum of policy options and the whole thing is not black and white like most people look at it.

taxes are knobs and dials not on off switches. also, the levels of those taxes make sense based on the economy and the outcomes desired.

some services can be managed better by private enterprise and others by the government. It takes money to fund those government services.
Accepted just more or less means there is enough evidence that most people agree its a convincing explanation.

Nobody is filtering anybody. Acceptance is just the end of the process not the beginning. It is expected most hypotheses do not start as accepted and most won't make it that far.

To give a start up analogy: an accepted theory is like a company that is profitable. Most start ups aren't profitable. Some might become so, most won't and will eventually fail. There is nothing wrong with not being profitable, everything starts somewhere, but its still important to describe the stage the company is at accurately.
It refers the type of advertising that intentionally includes contradictory messaging (effectively, talking out of both sides of its mouth).

That's why it isn't "wild" at all for them to intentionally put out messaging that touts their product as authoritative and trustworthy - while at the same time presenting ToS boilerplate and other disclaimers that, of course, say the exact opposite. It is in fact the precise intent of this messaging to play with the users' heads in this way.

It kind of seems like your argument would apply to any marketing of ChatGPT as a useful product.

No - just marketing that disingenuously implies that, at the end of the day - it's still a reliable and trustworthy source of information. On which to base decisions worth billions and billions of dollars, no less.
We've been trying that for months. "ChatGPT gets things wrong" does not appear to be sinking in for a lot of people.

I used a strawman paragraph deliberately as a rhetorical device: that's what strawman paragraphs are for.
The title of the article isn't a fair representation of what the author actually says. The author dislikes specific technologies within the amplify umbrella, but admits other ones are acceptable.

From experience, AWS Amplify auth for interacting with aws cognito is a perfectly acceptable high value (low cost) solution for many use cases. I can't speak to the other technologies.
what happened before this universe is not cosmology, but religion, and that's not Penrose's field. neither is neuroscience, where he's giving air to similarly unsupported ideas.
FWIW that's exactly what it does (updates the current state of the whole todo list each time). After two weeks of use I've never had it make a mistake in keeping track of my total list of tasks. By default (I mean I didn't ask it to do this) it outputs the total estimated time for each category of tasks, and that summation has been wrong (which wasn't that surprising to me, as "LLMs aren't great at math" is a known issue), but even then I just tell it "Can you double check the category totals?" and it fixes them.
Termux And The ext4 Filesystem, Part 2 Of 5: QEMU, A Guest [OS], And darkhttpd
I’ve had unknown draws before and many times they’re not constant draws. A constant draw is easy and quick to find. A draw that only happens when some module or other wakes up is a lot harder to find.
> I've started in the last year or so to turn to the church (Roman Catholic) and theism, both to find answers to some of life's mysteries, such as the origin of the Universe...

Accepting God created the universe just moves the big questions one level of indirection upward: Why does God exist? Why does God exist with the characteristics that he does (e.g. why is God X instead of Y)?

It's unclear how this is more satisfying on an intellectual level. It's only more satisfying on an emotional level, as it usually comes with the belief of a personal God that loves and wants the best for you, not to mention an afterlife.
American Statistical Association also released a statement on pvalues:

https://www.tandfonline.com/doi/epdf/10.1080/00031305.2016.1...
A lot of our well-evidenced scientific ideas today would've been practically impossible to prove at some point in history. I think people forget that all hypotheses are nothing more than thoughtful just-so stories when they're first stated.
Sunsetting HN Notify
TSMC works with several node sizes, even bigger than 40mm. it is not where most of their profit and revenue is, but it is still a sizable market for them.
> AWS Amplify is a complete solution that lets frontend web and mobile developers easily build, ship, and host full-stack applications on AWS, with the flexibility to leverage the breadth of AWS services as use cases evolve. No cloud expertise needed.

How does this compare to say... a $10/mo DigitalOcean Linux VPS that you deploy stuff to with like... Ansible?
My wife gave up trying to use Anki in med school because it worked against her. There's no way to go through a whole deck in one sitting. Anki might be useful for a few light cards every day but it's useless for the long study sessions demanded by med school.
That seems reasonable since anyone could clear and tune an engine with minimum effort to pass emissions without a history requirement.
Maybe it is just my niche use cases but after spending a good few hours with both, 3.5 for me has actually produced more coherent outputs for me which is a little confusing to me. Maybe I need to rethink my prompting or something.
Very interesting point. They might have had the intentions of pushing everyone to use Edge, and it is not surprising after their so many consistent nags and misleading messages to think its the "better" browser compared to anything else.
This blog post asserts that IQ scores didn't drop for the population as a whole, and that the drop for each individual group is due to changing composition of that group:

https://emilkirkegaard.dk/en/2023/03/new-study-didnt-really-...

For example, if the % of people who do a postgraduate degree goes doubles, it's no longer such a select group, so you'd expect the average IQ of postgraduate degree holders to go down. This doesn't mean IQ scores are going down for the population as a whole.

One more thing: why do so many papers that present charts that show how a mean or median changes over time, without also presenting charts that show how the distribution has changed over time?
rising sea levels, may eradicate the Sunderbans, one of the habitats of the Bengal tigers according to one of the articles
To be honest, I think it's pretty obvious this has less to do with M1/M2 tech specs and more to do with the vast majority of Americans getting a couple checks from the government which basically cover the exact price of a new Macbook.
I don't have any experience with US healthcare, but presumably having insurance and whatever conditions they enforce is basically a form of socialized healthcare, no?

If one wanted to, couldn't they find a provider they could pay to deal with whatever issue immediately?
Caveat: For ChatGLM-6B, you can't use the pre-trained model for commercial uses:

> You will not use, copy, modify, merge, publish, distribute, reproduce, or create derivative works of the Software, in whole or in part, for any commercial, military, or illegal purposes.
> AWS Amplify auth for interacting with aws cognito is a perfectly acceptable high value (low cost) solution for many use cases.

https://www.passportjs.org/ is this an alternative or not really because you still have to "build it yourself"?
slow walk.. or.. in comparison, have you contacted your local city government to fix obvious holes in the road recently? Around here, a two-year wait time to fix it is common.
SuperOrbital | REMOTE | #contractor | #thebest | #kubernetes | #python | #go | #howdoihashtag

We’re a (very) small band of deeply experienced distributed systems people who help our clients with the most difficult of problems on top of Kubernetes. We’re looking for contractors (1099, project based) to join the team. This is actually DEVops, meaning we sling production-grade code (Go, Python, etc) as often as YAML.

We’ve always been 100% remote (US TZs ±1 only), work four days-per-week, pay our contractors within 7 days of invoice, and if I may say so myself have an outstanding culture.

If you’re interested, read more at https://superorbital.io/careers/.
Because it became public knowledge that it was happening?
The returns are on a short period. From the paper: Our main interest is the total return, defined as the cumulative market-adjusted return from the last trading day before the announcement to the first trading day after the implementation.

This has nothing to do with the "time in the market" as you mention above.