skysight-inc/HackerNews huggingface dataset:
> solar radiation management

Hahahaha. I can see it now: "Exxon Stratospheric Sulfur Shield - using dirty fuels in long-haul flights to create a particulate-based solar shield [0]. Partnering with governments around the globe [1] to protect the earth and boost tourism. Because we care."

[0] https://www.nasa.gov/topics/earth/features/stratospheric-aer...

[1] https://e360.yale.edu/digest/fossil-fuels-received-5-9-trill...
probably what can happen is that at one point the cells will start dying mysteriously or becoming cancer cells. they will have learnt to kill themselves, a strategy our white blood cells employ all the time, except that deeply they are just depressed.

And so with an unexpected turn of event, this research paves way for a new understanding of depression and consciousness. And humanity is once again saved from the greed and irresponsibility of itself.
My results suggest that the main reason their entire thing works is because they compare substrings between some query text and all texts in the corpus. By precompiling the list of substrings that occur in the corpus, I can get their algorithm to have linear complexity at inference time, instead of quadratic complexity as described in the paper.
I think it is fair to allow poorer countries to catch up.
I think Prolog really shines as an embedded query engine (I know this is old and it's been removed since). It's perfect for declarative configuration, very easy to write powerful queries once you wrap your head around it.

The Yarn constraints plugin also used (Tau) Prolog, although it looks like it's in the process of being replaced with JS, which makes me a bit sad. The reasoning is here: https://github.com/yarnpkg/berry/issues/1276. Seems like the biggest issue is lack of a nice dev environment. I maintain the Trealla Prolog Wasm port (npm package 'trealla') and I hope some day to use it for a VSCode extension or LSP or something to provide a nice dev experience. Tau's performance has also been cited as an issue[1] but Trealla is quite fast and I expect it could easily handle a complex Yarn workspace with tons of facts. If this sounds like something you'd be interested in helping me with, feel free to contact me or make an issue/discussion here: https://github.com/guregu/trealla-js

[1]: https://github.com/yarnpkg/berry/issues/4079#issuecomment-10...
I feel the same. Tattoos, I think, have gone though a cultural perception change similar to what to deepfakes will happen. I don't expect deepfakes to be as accepted as tattoos are, but they won't pose a problem as many people will understand they are fake.
When you open squirtle's profile, there are many dead comments in a row.

It's possible they are shadowbanned and the comments that are not dead (such as the one in this thread) have been aproved manually. But in that case dang already knows.
Ownership Checks for C [pdf]
> and its also getting phased out

That's disputable
If they offered those solutions, knowing aws, it means that most likely customers requested them at some point.
Interphase (Atari ST)

You take the role of a hacker and fly through a computer system altering the security of building that your partner is trying to infiltrate. You have to coordinate what you are doing in the 3D computer environment with protecting your partner as she moves through a building shown as a 2D overhead map.
Tech didn’t bring us here, greedy business practices and decades long misinformation campaigns did that.
Who else would fund basic research that will likely not yield any profits in the near future? Obviously most basic research is funded by governments.
I don't think any amount of ethics education will matter in the end in the face of the incentive structure that appeared in the industry.

Strong cultural norms (e.g. hacker culture) might help for a while. But incentive structures eternally erode opposition.

It could make it easier for developers to band together and try to collectively veto things like this. But corporations with money can always buy the expertise of people, have them undermine the community, create their own parallel communities and influence public opinion and legislators.

FAANG salaries supercharge people's cognitive dissonance. They will find ways to excuse, minimize and ignore their contribution to the current situation.

Even HackerNews developed a sub-subculture of people that were constantly going on threads and calling remote attestation worries as "FUD".

It's unclear how to preserve cultural norms that stand in the way of market dominance. The only thing I can think of is having competing interests in the market. But whenever these align -- hell breaks loose.
I did the same and Focault’s Pendulum is one of my favourite books. So when the Dan Brown books came along, I enjoyed the, but the depth was lacking.
What tricks are you thinking about?
Sharing the history still means you need to save the state of the autoregressive transformer, which is usually prohibitively large?
Seems like it would benefit from some kind of standard protocol. Perhaps just and extension of RSS feeds or the like? A life dashboard seems like it would just be a feed reader.
That was an Alice in Wonderland level of rabbit hole to fall down and a fantastic read about a device I never knew existed!

I wonder if something like Linux or NetBSD could be burned on to the ROM card to get the system into a more 'friendly' state for debugging the broken SCSI adapter the author mentioned
>You mean, like, switching to a vegan diet, using public transport and stop flying? Those seem radical enough for most people in the Northern Hemisphere.

One of these things is not like the other.

Vegan diets — and I support them in principle — do little or nothing to reduce carbon emissions.

Vegan diets just don't deliver enough calories and essential nutrients without (industrial) supplementation, and veganism depends on broadscale monoculture crops with massive fossil-fuel inputs to grow, harvest and distribute, and exist in places largely that used to be healthy ecosystems supporting animal life.

Nice idea, and I'm cool with the overall philosophy and principles of veganism, but yoking it to climate activism, conflating it with strategies to "save the planet" is misguided.
> I've never even understood the obsession with minimizing base image size

In theory image size shouldn't matter because of Docker's caching. In practice, however, many of the things we use around Docker (CI/CD, testing, orchestration and deployment tools...) don't take advantage of that cache.

A GitLab CI stage to build my container will still pull the base image and build up from layer 1 every time. The subsequent testing stages will do the same with the final image. The deployment stage will also need to pull it first, just to push it to the registry again, but with a tag this time.

The difference between the base image being a few dozen vs a few hundred megabytes translates directly into not just how much strain I'm putting on the network, but how long the pipeline takes. If I can reduce that by essentially just swapping the base image and search-replacing apt-get with apk, why not? Of course it isn't always that simple, but for most things where you're just something like Node or Python with minimal native extensions, it's definitely worth it.
I hope the magic of HN will bring one of the men in the photo to intervene here.
I guess it is limited to specific industries. Check the product description of Mathworks Simulink, which has many examples of things rightfully called model. In reality though (I don't have a reference for that, just my own observation) it is almost exclusively used as a graphical coding tool and the graphical code is called the model.

A case of cargo-cult. Attempt to apply the practice but badly (use the tool, but not the way its use is advertized), and use the terms for use of the tool instead of the practice, reserving it for that to promote their beloved tool over alternative approaches.
It is an interesting argument. However, it is possible to simulate continuous phenomenon on discrete systems (eg, we can simulate real numbers on computers, and certainly build computer systems that reason about real numbers). Similarly the human brain can contemplate infinity although it is obvious that we can't comprehend it in totality because brains are finite.

So it isn't clear that maths is limited by physics. It might or might not be.
And this article is literally the same shit word for word as the AI post that they are complaining about. A newspaper article about a reddit thread.
As I said last week, compiling source-code does not cost millions of dollars.
How much does it cost to gather training data ? Training llama costed around 30 millions in infrastructure + 50k in power costs (source: https://news.ycombinator.com/item?id=35008694).
Trinity Nuclear Test’s Fallout Reached 46 States, Canada and Mexico, Study Finds
One could flip that question around: given there's all these fast C/C++/Fortran libraries, why do we have all these scripting languages?

The answer usually is there's a bunch of IO/parsing/configuration that we need to do, and doing that in a lower-level language isn't that much faster overall, is much less maintainable or accessible for users than wrapping in a scripting language, or simply avoids the need for recompiling each time you want to modify something (e.g. game engines with a high-level scripting component).
I don’t understand and have been going through the comments in hope for an explanation.
What's the news in this release, according to another page [0] this ran from 2019 - 2023; Or does this announce further collaboration?

Am I overlooking a PDF or detailed report?

[0] https://www.iaf.fraunhofer.de/en/researchers/electronic-circ...
I see a lot of dead people and violence.

Loss of glaciers in Himalaya ... 500 mil people on the move

Tropic & wet bulb or 50+C temperatures ... 2 mld. people on the move

Deforestations & droughts ... mass migrations, almost everybody affected

Large scale crop failures (temperatures, droughts, polinators ...) ... famines, wars

Biodiversity loses (it's critical) ... famines, huge loses for future ppl

Thermohaline circulation slow/shutdown ... cooling of northern countries, agricultural loses, extreme events

Loss of ice cover (Arctic, Greenland, Antarctic) ... rising oceans for several meters, major cities underwater

Cascading tipping points ... who knows

I'm starting to believe the sooner the system collapses, the better for the future of humanity.
Huh? Propane is quite easy to deal with, though?
Besides being flammable, but that merely means you have to ensure it gets sufficiently diluted in case it feeds indoors, doesn't have an opportunity to asphyxiate occupants, and isn't eager to burn the house down in a typical catastrophic malfunction.

Unlike fluorocarbons, you don't need to worry about leaks beyond the flammability/asphyxiation aspects, and could conceivably flare excess/contaminated charge off (just to prevent an explosive food from being able to form), with no environmental worries beyond the burning/flaring of fossil fuel (and whatever contamination the oil contributes). Might not be legal in a particular jurisdiction, but I assume that's a product of fluorocarbons being the norm and them being an environmental issue to leak, supporting a blanket ban on leaking any.
The US defense apparatus is literally the most bloated, bureaucratic and inefficient institution on the planet if you ask me.
Great. PHP became a very good programming language. Sadly it has to fight with a bad reputation from its past.
It is the case at Google and none of them are actually air gapped in the real meaning of "air gapped".
This article is excellent. I did not expect that. I'm what you might call an experienced software engineer (late 40s), who has designed a number of large systems. I found myself nodding enthusiastically as I was reading.
It wouldn't be 50MB. Five maybe. That's not that unusual today already anyway.
You just said with a straight face that the lifetime cost of a PLC was below that of an Arduino...

Arduino cost = $10 for hardware, and a few hours of amateur coding, and an expectation of a 25 year lifespan as long as no changes are needed.

PLC cost is $15k for the hardware, and $10k to hire an expert to code it, who probably forces you into a $10k/year maintenance contract.
Simpson Fan Grows Tomacco (2003)
Man we made hard to use websites back in the day. Fixed breaks and tiny font on a mottled similar colour background!

I wish more browser apps had a reading mode
Well according to an interview with the group leader at Fraunhofer, they achieve 1 Kelvin in the lab, long way to go. Of course some current has to flow in order to establish the field and as long as the polarized atoms in the material are aligning (the thing is a capacity, the ceramic material a dielectricum).
comments like this make me wish for a block feature on hn
Dijkstra's "Solution of a Problem in Concurrent Programming Control" from 1965

https://rust-class.org/static/classes/class19/dijkstra.pdf

The entire paper is just one side of one page. In it he describes a basic, fundamental concurrency problem, gives a solution, and then provides a proof of the solution.
Software engineering is held back by having to get as much mindshare and reach the lowest denominator to have as many contributors or developers possible, so a niche language which might have been very productive to get the ball rolling, is cast aside once the project reaches maturity, and I would argue never for the best.

Two examples off the top of my head are Reddit and SICP abandoning their Lisp roots because it's hard for new engineers (of average quality) to get into.

Imagine if in mathematics there was a culture of avoiding abstraction and domain specific symbols because the average undergrad might have a hard time understanding them. Good luck exploring quantum mechanics with polynomials equations as your ceiling of complexity.

In fact, it might a cultural problem at large: give people a chance to learn, and most are able to. But we are afraid of people needing to become familiar with it, that we strive to dumb everything down. Much of the UX focus of the 20 years has been on targeting the beginners, forgetting the fact that beginners eventually become power users and need force multipliers, not rounded-off scissors.

(Sorry, Saturday morning philosophical rant after a week of thinking about the future of computing)
some staff = most engineers who work with the monorepo
Any tip to ban regular flies?
I hate those with my all heart. Possibly in a non disgusting way? (i.e. jar filled with dead flies to display..)
I imagine parent commenter meant OS-level packages.

I.e. things like installing and updating clang, cmake, etc
If only this was how it worked :(

From my experience a substantial fraction of programmers learn the absolute minimum to get a job.

Then they either learn on the job or ask the same questions over and over again, never learning. The latter being the really annoying people to work with.
In US equity markets, retail get tighter spreads than institutions and lower transaction costs. Retail can trade at tighter spreads than the nbbo with ‘zero’ commission (yes, there is still payment to the broker, but this commission is missing out on an even tighter spread). Institutions trade at actual exchanges, pay fees for trades, fees for connectivity, fees for market data, etc. Institutions can have advantages with eg cheaper financing.

I think most of what you have written is basically false, at least for US equity markets.

The reason institutions like trading with retail (for equities in the US) is not that they get to charge big commissions. It’s that they don’t have to pay for the high risk of adverse selection. I.e. trades with retail tend to not be regretted because the market is not particularly likely to quickly move in the direction that favours the retail trader.

If you are retail and you have some actual edge, you could find the brokerage which gives the tightest spreads (mostly this means the one with the worst traders except some take much more pfof). But there are likely better ways to get leverage than trading on your own account, eg selling a newsletter or working for a trading firm where you have more capital.
How did he fail in the 2016 election? He produced one of the best prediction models.
- Why? It's social media, not a pacemaker alarm. Your friends will survive just fine if you have a day of downtime.

- Nothing stopping the possibility of having redundancy though relays. nostr actually has this by design. If one node goes down, the service might get degraded but never interrupted.

- "self-hosting" does not necessarily mean the act of hosting it yourself. One could, e.g, use a service provider like elest.io, yunohost or my own [0] to run the services. You'd still be responsible for the basic administration, but you'd have actual professional support for uptime, software maintenance, backup, etc.

[0]: https://communick.com
Not in my experience, I had to start manually feeding my Venus fly traps. Otherwise they would die after some weeks. Never managed to keep one alive over winter.
They probably don't even know, and why would they care? OP never said they were pasting personal information or proprietary code.
Now the question is going to be how the other half is funded.
>This first idea that math have some intrinsic limitations - eg: you can’t compute all the Busy Beaver Numbers

But this is not a limitation of mathematics at least not any more so than there being no largest prime number is a limitation of mathematics. It is a limitation on abstract systems, such as Turing machines.

The halting problem is not that you can not deduce whether any given Turing machine halts, but that there is no Turing machine that deducing this.

Gödel's (ö and o are different letters, by the way) theorems are far more wide reaching, as they appy to large classes of axiomatic systems, but they are only making claims about the systems in relation to themselves.
I actually didn't know that .me was a cctld so now I have surname.me and am kinda worried. I also own surname.dev but I'm not sure if my wife would like to change email addresses...
Some types of low level programming require you to know about CPU architectures and op codes, but certainly not all types of programming. You can be an excellent web dev without knowing how a CPU works, for example.
Over the decades, I've noticed that most news stories about political trends have this "$HUGE_CHANGES are happening / have just happened, and things are gonna be very different from now on!" tone. Then, the next news cycle, or next month, or next election...the $HUGE_CHANGES is pretty much forgotten and gone.

I've also noticed very occasional in-depth news stories about the youth vote, and why politicians clearly don't care so much about their younger constituents. Bluntly, making it in the Big Leagues in politics requires you to win a lot of elections, or at least have a very devoted base of supporters - preferably with plenty of money to donate. Vs. youth voters, from a veteran politician's PoV, have the attention spans of toddlers. And about the same on the donation budget side. Politics is mostly a long game, and the real winners are the folks with the attention spans to play long games.
It would be pretty strange for experts to recommend doing something that they consider ineffective or harmful.
I always wonder if this is the economy of scale or they sell these at a loss. I think just buying off-the-shelf bldc controllers would cost me more than $1600.
"most people that become journalists do so because they failed in their primary choice of career."

Well this is braindead. I assure you most journalists want to be journalists more than anything else -- that's the only reason to hang around in that industry.
How big do you draw your asterisks?
Because Tantacrul was the main person on GitHub telling people they're wrong for being upset.

The audacity devs all left. What was left were a few unknown, unvetted developers from a state known to employ extensive surveillance against users, quietly putting Google Analytics into FOSS software without asking the community.

Tantacrul was present, active, and patronizing throughout the entire ordeal.
Sure. But Fossil Fuel vs Nuclear is a false dilemma
Telegram? How so? I'm still only using it for chatting. How would you even find anything on Telegram? The simple global search? I wouldn't like to join random shady groups found through there.
Chain Letter
Same here. I do have .dev as well though if things go south.
I cannot say I'm surprised by the lack of response but that's disappointing nonetheless. I guess the comments I asked about 'fit the culture here'.
Such a load of bull. I'm sick of people ignoring the science. Educate yourself before writing anything next time. It's clear as day you're wrong. It's the most impactful thing you can as an individual do.

We need to stop fossil fuels asap, stop animal ag (deforestation, pollution, biodiversity loss, etc.), reform agriculture (soils, biodiversity, poisons) and start reforesting/afforesting.

There are tons of studies that show it's the best way to stop the climate crisis.

How Compatible Are Western European Dietary Patterns to Climate Targets? Accounting for Uncertainty of Life Cycle Assessments by Applying a Probabilistic Approach

https://www.mdpi.com/2071-1050/14/21/14449

Global food system emissions could preclude achieving the 1.5° and 2°C climate change targets

https://www.science.org/doi/10.1126/science.aba7357

Biodiversity conservation: The key is reducing meat consumption

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

Which Diet Has the Least Environmental Impact on Our Planet? A Systematic Review of Vegan, Vegetarian and Omnivorous Diets

https://www.mdpi.com/2071-1050/11/15/4110/htm

The way we eat could lead to habitat loss for 17,000 species by 2050

https://www.vox.com/future-perfect/22287498/meat-wildlife-bi...

Our global food system is the primary driver of biodiversity loss

https://www.unep.org/news-and-stories/press-release/our-glob...

If the world adopted a plant-based diet we would reduce global agricultural land use from 4 to 1 billion hectares. The expansion of land for agriculture is the leading driver of deforestation and biodiversity loss.

https://ourworldindata.org/land-use-diets

Rapid global phaseout of animal agriculture has the potential to stabilize greenhouse gas levels for 30 years and offset 68 percent of CO2 emissions this century

https://journals.plos.org/climate/article?id=10.1371/journal...

Which Diet Has the Least Environmental Impact on Our Planet? A Systematic Review of Vegan, Vegetarian and Omnivorous Diets

https://www.mdpi.com/2071-1050/11/15/4110/htm

Without Changing Diets, Agriculture Alone Could Produce Enough Emissions to Surpass 1.5°C of Global Warming

https://www.wri.org/insights/without-changing-diets-agricult...

Global food system emissions could preclude achieving the 1.5° and 2°C climate change targets

https://www.science.org/doi/10.1126/science.aba7357

Livestock and climate change: what if the key actors in climate change are... cows, pigs, and chickens?

https://www.semanticscholar.org/paper/Livestock-and-climate-...

The carbon opportunity cost of animal-sourced food production on land

https://www.nature.com/articles/s41893-020-00603-4

Study finds forest protection successfully leads to reduced emissions at global scale

https://phys.org/news/2023-06-forest-successfully-emissions-...
Being in NW England this seems a promising endorsement of surviving the levels of sunlight we get down south.