skysight-inc/HackerNews huggingface dataset:
> Nobody asks such questions about climate change

They do actually. Climate doomers are not a pretty group. They do shit like glue themselves to roads and try to vandalize paintings because they're convinced (wrongly) that the world is ending. The outside view here is that these people are weird, dangerous and cultlike and you don't want to get involved with them.

So listening to those signals can actually work. That's the message of Zion Lights, who joined Extinction Rebellion and eventually quit, telling the world it isn't a green movement but rather a cult oriented around its leader Roger Hallam.

https://www.thefp.com/p/climate-activism-has-a-cult-problem

The people I worked with had big hearts and good intentions. Some are still my friends.

But there were red flags.

At my first XR media training, I was instructed to cry on television. “People need to see crying mothers,” Jamie Kelsey-Fry, the trainer and longtime XR activist, told me. “They need to be woken up to what they should really care about.”

What she calls red flags is the outside view.
This might align with your interest, from 2023.

https://applied-langua.ge/~hayley/swcl-gc.pdf
I think this is a slightly different case than the WSL one. The headline is accurate, but perhaps a bit jarring. It might have been better to say "io_uring support in libuv" but I would say using from is not incorrect.
That would be the other consequences, yes. So can't say I recommend it.
Supercharge Your Code: Apply Log4j2’s Internal Optimisation Techniques
You can disable lot of AI in settings, you can also enable saving RAWs.
Speculation always devolves to a waste of time if extending indefinitely without reality checking. When it comes to people in power the speculation can, at the very least, encourage them to be loquacious with respect to the reasons for their decisions.
Interestingly, as I'm sure you're aware, Wittgenstein later moved away from his ideas of language as more direct representations of thought and reality in his Philosophical Investigations, suggesting it matters more how language is used in language games. I agree with you though that the tractatus is a better framework for thinking about LLMs.
Is everyone supposed to comprehend the domain name of the post?
Reading smart contract and learning from it
i there folks , today I’ll be sharing with you my adventure on reading tonwhales nominator smart contract, and what I learned from it. Given the extensiveness of the smart contract, and that I’m completely new to FunC, I’ll only analyze in this post the deposit operation on this contract. I’ll also share with you my attempt to craft a request by myself to interact with this smart contract, and what my mistakes were. Really a valuable lesson for someone who is starting in blockchain.
Websites or services that act as personalized recommendation middle-men with a less "trashy" presentation for the recommendations themselves are a great idea. Essentially, I'd like "Rate Your Music" for all sorts of things. There's a reason why a handful few are trying to get those "Action Button" Youtube videos submitted to Letterboxd.

I guess I also believe that plenty of platforms with user-generated content have boundless stuff to see, and making the platforms themselves responsible for recommendations gives them almost too much responsibility. I understand it's part of the business plan, but recommendations would become less toxic of a phenomenon if they weren't forced onto your regular user experience as you engaged with the platform.. and better if they were more individual and something you'd have to access separately. Like movie reviews in the paper!
Cool, thanks to know there was precedence. I've never seen one, but to be fair I don't have a comprehensive experience seeing every keynote :)

My general feeling is that keynotes are for "setting the tone" of the conference/conference day.
From what I recall, the "undecidable" part of the halting problem isn't determining that something halts, but determining that it _doesn't_ halt (i.e. the halting problem is verifiable, as opposed to the inverse "non-halting" problem, which isn't verifiable, which is always the case for the inverse of a verifiable problem).\

I've never properly learned brainfuck, so the answer to this might be trivial without needing to write a solver, but what's the shortest non-halting program you found?
Yes, there is clearly a need for a go-to solution. MapLibre and Cesium are doing a great job with their open-source renderers. Baremaps complements this by providing open infrastructure components, such as a data pipeline and a vector tile server. For instance, another missing piece in this space is an open-source IP to location solution. Our current prototype is rudimentary but demonstrates that this gap can be filled.
1. Transform digit pcm audio file to real sound
2. assembler
Whatever it "looks like" to you, the fact is that Gemini was made by people who had been using Gopher extensively.
Benevolent dictators make things way easier.
Touché! Maybe its just the blinding whiteness then.
I hope your planning on going beyond what Carto does. Baremaps currently doesn't render highway=busway either, leading to awkward gaps in the map. It's an accepted tag supported in every renderer except Carto (look at OsmAnd or Organic Maps for instance), because the two or three active maintainers remaining (having lost a number of maintainers in the past two years) don't like the tag. Carto has pretty much stagnated despite its past achievements.

As the default renderer for openstreetmap.org, Carto is currently an embarrassment for OpenStreetMap.
solely

I agree with that, but that stuff you mention is still a factor. Politics is creeping into everything, and there are lots of reasons why choosing a relatively politically stable language is important, though obviously not the only factor. I think the best one could hope for is a lot of diverse groups with different political views and motivations being invested in the future of a language, so that despite any culture war stuff, there's likely to be a useful version that survives.
Note: it's not asymptomatic, but asymptotic - without the ma. I can only wonder whether you've always been writing it like that, or if this is the toll that the pandemic had on you.
Agreed but I didn't want people to go through auth. Hopefully the hard-limit from OpenAI would kick in.
Community drama is a terrible way to evaluate a language.
By “outside view” I believe he is referring to the anthropological term “etic” so it is not made-up. See: https://en.wikipedia.org/wiki/Emic_and_etic
Functional Programming in Lean
This is NOT a complement.
Lean 4 is an interactive theorem prover. It's also a programming language with a self-hosting compiler. This is a free book on using Lean 4 as a programming language, written without assuming any background in functional programming. It's intended to be accessible to Python, C#, Rust, Kotlin, Java, TypeScript, and Scala developers. Today marks the final release, after more than a year of writing.
>> The when is harder to know.

Next question:

How?
The issue is that the product is scalable, desirable, profitable, and the work can be done by almost anyone.

Industries like this are natural monopolies where connections matter much more than talent.

The ability to extract value out of people in these scenarios is quite sickening.
The effectiveness of prompts can also depend on the specific capabilities and limitations of the ChatGPT model.

Recently, my company launched a very cool ChatGPT on WhatsApp: https://transcribeme.app

You can check it out and try it!
My $0.02. PFAS.
This article seems to be looking for problems. The US will pay its workers a living wage, and that seems to be a reason the author says our industrial chip mfg plants will fail. They also claim that "industrial planning" will not work in the US like it did in Taiwan because the president is not an Intel/TSMC employee. What? The author literally refutes their own claim by saying "in the words of one Arizona insider, the state has 'government, academia, and industry all rowing in the same direction.'"

I think the author misconstrues the true nature of this bill. This is supposed to kickstart chip manufacturing on US soil. It is not supposed to make the US the dominant player in the chip industry overnight. We are literally investing in TSMC facilities! The US would not do that if they wanted to be the dominant player in chips-- they would only allow US companies to receive investment.
Mike Lynch uses $50M in Darktrace shares to secure US bail
https://archive.is/uRSwu
Clearly the solution is to clone Russ Cox.
They'd have to key the votes by the hash.
The internet doesn’t equalize things like hiring and conference representation though. Imho it’s a complete non sequitur to this discussion about the real world.

I think assuming that the anonymity afforded by the internet extends to real life is naive.
The "don't leave, stay and fix things from the inside" pitch is how the political schemers try to pull the tech talent back into an arena where they can be worn down into submission, so that their skills can be co-opted by those whose only real talent is to steal the productivity of others.

The only way to free a project from such entrenched rot is an ultimatum; "You can have the builders or the schemers, but not both".
> Similarly, as the number of particles in a system increases, the less you have to worry about Heisenberg uncertainty bounds on your momentum/position measurements.

This certainly makes intuitive sense, since it explains why we don't have trouble measuring both the speed and position of objects in everyday life with fairly high precision.
I think the problem is obviously that there is a sub-group that is making decisions that were supposed to be made in committee. If there is some sub-group operating this way for this instance then what does it mean at large for the language? Is the democratic process a complete sham etc
https://youtu.be/4qsFI9l0bJk I’ll do one better, here’s a video explaining the system and shows how to escape dangerous terrain in a flight simulator. :)
New KAUST tandem solar cell breaks efficiency world record
And an alternative to push marketing -- rate-limit the site to a capacity you can afford, with a prominent message saying that you enjoy working on the site and would like to keep it going but can't afford to, with something like a Venmo/email address and a mention of sponsorships?
A Rare Form of Dementia Can Unleash Creativity
Agreed. Evil wins because good does nothing. Or in this case, evil reigns because good resigns.
I think there might be a connection between Go's pragmatism and the culture fostered around it and Rust's correctness and its culture.

On the other hand, it could be that Google owning Go makes the bigger difference. I know that Ian Lance Taylor created several versions of generics that got shot down, which must have been frustrating. However, I don't remember hearing the slightest bit of internal conflict from the core team. (I pick on generics because it was the largest and longest "conflict" in Go's history.)

The primary language developers/owners work at the same company, so presumably they have more bandwidth (behind closed doors) and more financial incentive to provide a united front. Or, they're just a pragmatic group of engineers with drama turned to -11.
Stephen Hawking's last collaborator on physicist's final theory
Ehh, local being a keyword (instead of local default, global only if required) was a significantly bigger gaff. The other would be no nulls in tables. 0/1 based indexing is familiarity only.
There's not much end-user documentation the Tree-sitter project can really provide. It's a programming interface. The stuff that an Emacs, NeoVim, ... user is actually interacting with depends on the integration in the editor. So it's up to those docs to explain what features they expose based on Tree-sitter.

For example, the multiple cursor thing at the end is enabled by having the concrete syntax tree from Tree-sitter's parse, but Tree-sitter has nothing whatsoever to do with the cursors: it just provides locations in the text based on particular queries (like "all `identifier` nodes named 'foo' that are sub-nodes of this other node").

Even the headliner feature, syntax highlighting, isn't provided directly by Tree-sitter. It's up to the client system to inspect the syntax tree and apply attributes to its rendered text -- however it does that rendering.
Then pass a new bill to adjust the budget. We shouldn't skip out on our bills. It makes no sense. I'll say it again. There is no merit to having a debt ceiling. Further, it's unconstitutional.
Spring's MockBean is an anti-pattern
I was gonna say, I experience this a lot. Most rust users I meet and see on HN are nice and welcoming.

But on twitter, it’s all tribalism and attacking other languages and other people. Gives a distorted figure of what the community really is.
Yes! I'm currently learning Lua now just because of redbean.

I also recommend the excellent ZeroBrane IDE - https://studio.zerobrane.com/

As a Java/Python dev there is something about using such light weight and fast tools like redbean, lua and ZeroBrane that brings a smile to my face.
Let's put aside the god-awful 1-based tables, in 1993, which alone should have killed the language. My big problem with Lua is that it tries very hard to make possible all styles of language to all people, and as a result it is a language with a lot of boilerplate to do any one of them.

For example, consider Lua's OO. The most obvious inspiration for Lua here was Newtonscript, via Self. They're quite open about it. Newtonscript and Self are prototype-style OO languages done well, as opposed to Javascript, which is a prototype-style OO abomination. Lua advertises itself as being able to do prototype-style OO, all you have to do is make some tweaks to its metatables. But while this stuff is baked into Newtonscript and Self, it is an amazing amount of boilerplate to do it in Lua, to the point of parody. https://www.lua.org/pil/16.1.html
I just don't understand how people can say that we can end fossil fuel consumption.
Do they think it is a moonshot or do they really mean it?
Did they really researched what it means? Don't they realise that everything in our world is made of fossil fuel and its derivative?

Or is it simply aimed at the list visible stuff like transportation?

I cannot take this seriously
Very insightful discussion.
So we know that there is definitely little benefit from ingesting fluoride, and also that we can not rule out negative effects from ingesting fluoride. This seems like... a bit of a big deal?
That's what God thought too. Didn't stop Her.
Assuming you actually treat your car like a durable good, and not replace it every few years and get demolished by depreciation?

* Tires

* In-cabin air filter

* Windshield wiper blades

* Windshield washer fluid

* Brake fluid. It's hypergolic, after all

* Suspension realignment

* Suspension bushings

* Tie rod ends

* 12V AGM battery for non-powertrain systems

* Brake pads, though regenerative braking heavily reduces wear

* Rainwater drainage channels need to be cleared

* Air conditioner compressor

* Struts

* Wheel bearings

* Battery pack coolant. Eventually it will need replacement

* Battery pack coolant pump. Eventually it will need replacement

* Powertrain battery back

Over long enough timelines...

* Any rubber seals. Door seals, window seals. Frunk/trunk seals. Rubber oxidizes and degrades to UV over time

* Speakers

* Brake caliper rebuild.

* Brake master cylinder rebuild.

* Parking brake related items (modern electric ones just push out a cam against the brake rotor)

* Window regulators

* HVAC blend door actuators

* Soft-close door/trunk actuators

* Power seat motors

* Power mirror motors

* Seat foam and upholstery

* Door hinges. Eventually they won't stay open at a set position anymore.

* Auto-dimming mirrors

* Any backlit display

-- -----

Even eventually an electric motor may need re-balancing or servicing, but the timelines are very long. Powertrain costs are vastly reduced to internal combustion engine cars, but over a long enough timeline, all the other mechanical stuff needs replacing. Thermal cycling, oxidation, UV exposure, compression and friction affects everything eventually.

Some things people vastly underestimate as well. OEM-grade (not cheap aftermarket junk) door and window seals are NOT cheap to replace, and eventually the OEM ones may be entirely unavailable outside of collector grade cars. Even on VERY normal cars like a Toyota Camry you can spend $1500+ replacing door and trunk seals with OEM replacements.
>> My take is: does a human programmer in this case would have to consciously talk to themselves to not make a mistake? "Remember, remember, 'el eye en' prints, 'pee ar aye en tee' computes length". Would they have to double-check their output? If yes, then don't expect LLMs to do better in general case, unless you make them do those steps.

I'm pretty sure most people would not need to do any of that to answer the question in the motivating example correctly.

Remember: it's three lines and a question. Pretty much the Country Music of experiments, eh?
Sure, I'm just describing the general approach, not the specifics on how to execute it. No matter how you word it you're trying to understand the whys.
Electronics has and likely always will feel like arcane magic to me
I bought it to print the miniatures for wargaming. I’m subscribed to a few Patreons and have amassed a huge library of models to print. I’ve only printed a few.
On top of that, what's the method to keep "errors" from compounding? It also seems like the capabilities of the trained model would approach an asymptote that is the limit of the training model, and never pass it.
Nice, thank you for the pointer. Our workflow uses a DAG and the format is loosly inspired by GitHub actions and AWS data pipeline. This is an area we seek to improve, so no not hesitate to reach out on GitHub or by email.
Austin Evans ditched and criticized his Tesla Model Y
I don’t know the meaning of the detail either, but just because you don’t get why some detail was included does not mean it was unnecessary. It’s possible, even probable, that the detail has meaning to a certain subset of the article’s audience and that the detail aides the story.
That's even one of a long series of such talks Herb has given, about features Herb thinks C++ should have, but it doesn't, and in all but one case those proposals Herb made were not adopted in the C++ standard.

If your language isn't intending to just remain stuck forever in its current state, a conference is a reasonable place to explain a proposed direction so that other people know where you think it should go. Not every talk has to be speculative, but a speculative keynote seems fine to me so long as it's obvious that we're not in an alternate dimension where this works in Rust already, which I see no sign JeanHyde was intending.
If someone is in the minority, it's totally reasonable to ask, "could their minority status be a factor in their disenfranchisement?"

Then you look at the data, and in this case come to the conclusion, "no, it was not a factor."

That seems healthy and normal, it's not outrage bait to acknowledge that yes, sometimes minorities are at a disadvantage or are under represented.

It's just as fallacious to say "of course race was a factor" as it is to say "of course race was not a factor". Much better to ask openly, evaluate the data, and make an informed conclusion.
Understanding that a .zip file can be seen as a program that's interpreted by the decompressor.
On the page you linked, I see four lines of boilerplate in a constructor:

function Account:new (o)
o = o or {} -- create object if user does not provide one
setmetatable(o, self)
self.__index = self
return o
end

Doesn't seem so bad. Are you referring to something else?
I watch a channel that has hundreds of videos playing a city builder, with playlists for each city they've streamed. I just looked and they're all oldest to newest, but yeah, I guess its up to the creator.

The frustrating bit if they get it wrong is YouTube autoplays the next video, which would be going backwards for you.
Ok, but we can still make an educated guess on who's behind the fictional cartoon character...
There’s a lot of doctor cartels in the US that emphatically force singular ideologies - babies sleeping on bellies die instantly, mothers who can’t nurse are creating sickly autistic monsters, everyone must take statins, etc. See parallel comment for source, or visit a dermatologist.
Similar situation here. I have on occasions seen all sorts of crazy looking split keyboards around the internet. They've looked interesting, but pricey, I can't touch them, and the MS ergo keyboards have served me well so I've not taken it any further. This will be what makes me take it further, maybe some interesting keycaps (maybe black!)
Agreed, and to add on to what you said - this whole thing is confusing so he is actually doing a service of trying to summarize all the context for people who don’t want to go reading a bunch of random articles or tweets.
Yea, I love how 0 indexing is such a big deal. Like tabs vs spaces, it doesn’t matter even a tiny bit, it’s like a religion. It’s not that hard to index off of 1, and like I said, you can write like 5 lines of code to make 0 indexing the default!
I'm glad you stated this.
right, I don't think the comment was disregarding bregading. That a multi-billion dollar company's algorithm is too dumb to deal with it is what astounds.
To me, a lack of indication of models/versions shows a fundamental lack of understanding of AI. I can’t take any opinion, that omits it , seriously.
I wonder if they’re popular enough that you’ll see some Unicomp phenomenon of sorts in the future.
Anytime Lua comes up I'm reminded of John Earnest's Lil scripting language[1]. It's inspired by Lua and Q, built for Decker[2] which is a re-imagined version of HyperCard. Generally though, I love lua for its embeddability and am extremely happy anytime I see someone chatting about integrating it. Modding and scripting in games was a tremendous motivation for me to dig more into programming and these approachable languages are a core aspect of that.

[1] https://beyondloom.com/decker/lil.html

[2] https://beyondloom.com/decker/
Scrolled over the title (thought it was some programming algorithm concept) and then by chance I've read the site name saying it's about Emacs which prompted me to open the discussion.

Maybe on some setups the site name is not as easily visible as the title?
https://archive.is/QwzCT
Bigger conferences tend to put two particular keynote talks in. Something for people to discuss among themselves over the course of the conference, and then something to take away afterwards.

I watch a lot of conference videos, but I don't attend many conferences, I don't get value out of the so-called "Hallway track" and I dislike commercial air travel which limits where I could go anyway. I like where I live, that's why I bought it, so remaining here is great.
FWIW I've never seen this happen. In fact, I've handed Youtube Music URLs to yt-dlp and so far haven't had any problems downloading the content. (Admittedly I don't do this often; but at least one of the things I downloaded was a soundtrack by Disney, whom I'd expect to be more strict about this sort of thing.)
It's a bug. Bugs happen. Systems are still systems whether they deal with people or code.

When big bugs happen, we evaluate why, and improve the system so it performs better next time. We don't blame people, we focus on what allowed people to make bad decisions. In this case, it sounds like a bad decision making process that needs a patch.
This is just a response to the title of the article and nothing whatsoever to do with its contents, right?
Parent likely meant accountants or tax advisors / attorneys.