skysight-inc/HackerNews huggingface dataset:
> the number will drastically go up when Chrome 113 is out of beta

Which coincidentally is happening in about 5 hours (but it'll take many days for the update to actually go everywhere) according to https://chromestatus.com/roadmap, exciting :)
Yeah, Terminate was a big step up from Telix. Wow that takes me back.
I guess this is sort of Musk’s brand similar to how “virgin” is Branson’s brand. Now we have SpaceX, X, Tesla which has a model X, and of course PayPal which Musk originally called X.com.

All things considered I do think X is one of the coolest letters, and his companies are (mostly) in the business of doing cool shit, so it seems to fit imo.
Related: https://twitter.com/zetalyrae/status/1639474931086901248

My OCaml:

let foo (x: bar): baz =
(\* Is this quuxable? *)
match is_quuxable x with
| Yes ->
(* Then, we have to ... \*)

All the OCaml I see in the wild:

qlet%bind f = 's 't 'a 'b (fun ꙮ -> ꙮ ((<_<')) ꙮ)
[@@ppx_gov_backdoor (~b~e~p~i~s)]
> I think every major car manufacturer has some kind of remote unlock capability these days - people want an app.

Correct. And that (along with everything else related to it) is why I won't own a car that was made too recently.
Alibaba is super cheap because you're buying the literal bargain basement version of the product, and what you're getting almost always violates local product safety laws that domestic manufacturers and/or sellers must contend with.

Yes, the mattress at Costco is 5x the price. But it's probably 20x the value.
Thanks! Macroexpanded:

The Nature of Code - https://news.ycombinator.com/item?id=23157721 - May 2020 (1 comment)

The Nature of Code – evolutionary and emergent properties of nature in code - https://news.ycombinator.com/item?id=19632361 - April 2019 (8 comments)

Generative Coding – “The Nature of Code” Ported to Three.js - https://news.ycombinator.com/item?id=18122940 - Oct 2018 (12 comments)

The Nature of Code (2012) - https://news.ycombinator.com/item?id=14410201 - May 2017 (16 comments)

The Nature of Code: Simulating Natural Systems with Processing [video] - https://news.ycombinator.com/item?id=13295139 - Jan 2017 (1 comment)

The Nature of Code - https://news.ycombinator.com/item?id=8060179 - July 2014 (15 comments)

Basics of Neural Networks with example codes and illustrations - https://news.ycombinator.com/item?id=6300510 - Aug 2013 (29 comments)

* The Nature of Code free online book with live examples* - https://news.ycombinator.com/item?id=5153895 - Feb 2013 (2 comments)

Daniel Shiffman launches "The Nature of Code" online for free - https://news.ycombinator.com/item?id=4709551 - Oct 2012 (11 comments)
Disabling engines remotely by police has been a thing since at least 2010, in pretty much every modern car.
The alternative is to drop the purposeful error in GPS positioning systems.

GPS has a built-in error for the civilian use, and a higher-accuracy system for military use. The concerns when it was deployed included unwanted parties using GPS as a guidance system component for missile / drone attacks, etc.

This led to the early GPS enabled phones needing an enhancement to their positioning system. The early releases (think car navigation systems) would be tuned to un-do the GPS offsets, but as that was rarely a 100% solution, they would "smart match" to the nearest viable alternative. This is why in many older car systems, you are sometimes registered as being on the feeder road (or a parallel road) until the system can no longer resolve your travel with your map position.

For smart phones, the error was deemed to great to have decent customer satisfaction, so enhancements to GPS came into being. The phones would listen for nearby markers (typically wifi stations) and report them back to a data warehouse, effectively building a dynamic map of all the wifi points. Then one could anchor that map based on non-moving items (like cell phone towers) and obtain fine-grained positioning information by running relative strength matches to the nearest 3 or 5 wifi access points.

The system updates eventually for broadcasters that change ids, are powered off, are relocated, etc. It has error checking built-in to reduce confusion around one or two new / missing / relocated markers.

All of this was driven by customer demand, and the data collection necessary was mentioned in the past. As the maps are unlikely to ever be placed inside of phone devices, and would require intensive storage to duplicate into each phone, as well as intensive bandwidth to update each phone, odds are that the calls to the manufacturers (which are selling "enhanced GPS" positioning systems) will continue for a very long time.

The solution? Pressure the government to release accurate GPS positioning, so industry will see the running of an independent positioning system as redundant and not-cost effective. Then, when you get a position with GPS, you get an accurate position, and you need not send a signal to correlate nearby signals with your true position.

Does it suck? Yes. Is the current system subject to abuse? Yes. Is the current system abused? (I'm a skeptic of human nature, so) Yes, but its abuse patterns seem to be nearly identical to its use patterns, with the difference being that the companies providing this service can use it to help people find their way to the grocery or to help other people find their way to a specific customer.

Qualcom and others have a very vested interest in not abusing the system, as they would lose their competitive edge should the government decide to take action against them. That said, many people worry about the government being the party abusing the system.
This might feel less useful for CS, but for other sciences and even engineering (mechanical, aero, materials, chem, electrical, marine) you need differential eq.

And than natural sciences in general (climate, space) also have applications there.

Subjects that feel useful post graduation, if they are being taught in high school early college the time gap makes it less useful. HS and early college classes fundamentals are needed for the specialized curriculum that needed for higher college and post graduate education.
Starting with F# on Mac is worlds away from what it was in the past, I bet you could be up and running in 5 minutes:

brew install dotnet-sdk
dotnet new console -lang F# (in your project directory)

Start VS Code in that directory, install ionide via extensions, write code…

dotnet run
Idle speculation, idle speculation that picks up just where the compliance handwaving stops: the legal team takes the better safe than sorry approach of listing everything they might perhaps infer from the particulars of aGPS refresh, and the blogger basically continues that line of thought: wow, that would be pretty wild.

The "no packet analysis" is an interesting angle, because it would take all the fun out of complaining about plain http: would we prefer open messages with a known low amount of things to hide, or hidden messages with an unknown amount of secrets?
yesterday i started using gpt4 as a todo list manager and it's pretty amazing. I can brain dump thoughts and tasks into it and it automatically prioritizes things and will let me be conversational around my tasks... i used a super basic prompt that could be improved, but so far it's really nice:

Hi! you are my secretary and todolist manager! I will generally ask you to add things to my todo list, organize the todo list by time and topic and subject, ask you to remind me of my list and also ask you to help priotiize things, soudn good?
>"Shitty condtions" is subjective.

I don't think it is. I worked as an electrician's apprentice for 3 years in school. Trade work absolutely destroys your body. Every day you are up and down ladders, squeezing through filthy nail-studded crawlspaces or 130 degree also nail-studded attics, construction sites with dubious safety, power tools operated by people who are drunk and high while breathing in wood/concrete/glass fiber/and whatever else kind of particulates. At the end of the day your body hurts (and only hurts more with time), so you drink several beers, pass out in front of the TV, then do it again. Go to a construction site, guess someone's age, then ask and be surprised to learn the person who looks like a rough 55 is really 42.

There are really only 2 ways to be a tradesperson without killing your body before you are 60: 1) become staff tradesperson for something like a hospital or a university. This is open to you once you have some experience, the pay is not great but it's usually a fairly cushy job as the demands are not high or 2) start a business. I won't go into it, but it's really hard to do this and be successful. Most people who try can't make it for one reason or another.
That's true but it doesn't need to process the whole bill in one prompt.

For example you could split a 200K token bill into 10 parts that are 20K each, and ask GPT-4 to create a 2K token summary of each part. Then combine those summaries to create another 20k prompt, and ask it to summarize that.
Checking up on other old favorites such as BitchX/irssi and slrn, I found they're still being developed:

slrn --- NNTP/spool-based Usenet newsreader
last updated: 2023-03-18T04:31:51 [UTC]
repository: git://git.jedsoft.org/git/slrn.git
tarfile: slrn-pre1.0.4-9.tar.gz ( size: 1563860 bytes; md5: f193d983e104a82ef4fd70b1037f8b60 )
github: https://github.com/jedsoft/slrn

https://github.com/BitchX/BitchX1.3

https://irssi.org/2023/03/31/irssi-1.4.4-released/
> a higher ratio of micronutrients

I'm assuming here that we're talking about "nutrient density"—the ratio of nutrients per calorie. Is that what you means? Or are you using something like "per gram"?
This is the sort of thing which Copilot on the command line is great at, actually. Copilot X is decent, too, but I prefer `copilot.vim` in my neovim plus `EDITOR=nvim` plus C-x C-e "# kill all processes listening on port 2134" which then proceeds to put it into your history and with a comment explaining it and keywording it so you can find it easier.
Agreed, the search is actually improved from the last version and I have zero issues with it after daily use since the release. Moving to electron seems to have been a net positive for the whole product. It would have been a mistake to listen to the most vocal HN users and this is an important lesson for hackers turned product people.
Crypto isn’t anonymous. Governments and private companies have ways of identifying you. After reading the book Tracers in the Dark, crypto isn’t so anonymous anymore to me.
Nice post there. There's definitely a lot of 20/20 hindsight that people apply to PARC's history with respect to computing.

It's clear that just the investments that Xerox did have would have been huge had they just held on to them. That's ignoring what they could have done had cashed out less conservatively and reinvested in ongoing technology concerns the same way that Intel Capital or Google Ventures has.

Beyond that, it would have been beyond epic for Xerox to have had all the right pieces to replace a huge chunk of the high tech ecosystem by itself. Each of the successes that "should have belonged to PARC" involves VCs, hundreds or thousands of employees, business pivots, decades of existence, and plain luck and timing.

Hank Chesborough's (formerly of Harvard Business School, at Berkeley Haas School of Business last I checked) lists 35 companies that spun out of Xerox in "The Governance and Performance of Xerox's Technology Spin-Off Companies". Just that level of brain drain/distraction was bad enough at times for PARC's ongoing work.
Seems another way to AGI with LLMs is to curate the inputs as well as possible. Letting an LLM loose on the broader internet is undoubtedly quicker and easier but a little discipline sometimes helps. I don't know how well-curated GPT-4's inputs are.

In any case I don't want an LLM to sell me Viagra or talk to me about how crystals will enhance my spiritual vigor et al. An LLM that is educated to Masters' level in the languages, science and computer science should be a good start. Seems we're close but I am uncertain whether news that GPT-4 can pass the legal bar exam is a "good thing":

"The first thing we do, let's kill all the lawyers."

- William Shakespeare in "Henry the Sixth"

https://www.enotes.com/shakespeare-quotes/lets-kill-all-lawy...
YouTrack 2023.1 has been released
GPD Win 4
> You could imagine a timestamp being built into the signature, and maybe even gps coordinates, although I agree it wouldn't be a complete solution.

Both those things can be faked. IIRC, they make chambers right now that simulate GPS signals for testing receivers. If you can fake GPS, you can fake the time, too.
> You keep suggesting that I am saying we should take no actions. All I am saying is that one cannot engineer society without committing at least a few sins.

I would characterize my position more like: I'm rejecting your definition of sin.
Commercial lunar lander presumed lost after moon landing attempt
What would be the point of that? Upstream will never accept GPL licensed patches and your fork is also available under the Apache license from the original source (except the readme changes that nobody cares about).
Also “boxen”: https://foldoc.org/boxen
"Qualified dividends" are taxed the same as capital gains. To be qualified mostly depends on a minimum holding time, 60 days for common stock.

https://en.m.wikipedia.org/wiki/Qualified_dividend
Wow. I miss those days. Back when life was simple. I really wish my kids could experience working with TSR dos programs, and being intentional of what you are trying to do with a computer. Every k mattered back then.
Cicada looks very promising, congrats. I'm wondering why you choose to use Fly.io for the CI/CD runners, instead of using VPS / baremetal servers that are a lot cheaper? Do you need the edge features that Fly.io offers?
I mean outside of the two World Wars, practically all the history I was taught in high school was pre photography.

Surely you’re not going to be fooled by a photograph of Julius Caesar.
Use Gröbner bases to solve polynomial equations
There are quite a few EV sedans and small hatchbacks available. Hyundai Kona is an affordable, small hatchback.
That's part of the explanation. It might not make sense at first, but you'll figure something out to avoid being slapped.
>This seems like much bigger news than it's being received as.

Well, it's an ad for another phone. That doesn't take away from the truth, but it's marketing even if it's true.
Good article. My only nitpick is with using "idempotency" as the example. It does not drift from its definition when used in CS/programming contexts.

"containers" is a much better example. Most people know what a container is. When a tech-knowledgeable individual drops it in a sentence as if the linux kernel cgroup wrapper de jeur is what "container" means, time wasted >clearing the cache< (while the non-tech listener figures out that that word/phrase that they actually know has been overlaid with a new meaning packed with all sorts of detail that non techs have no reference for)
Is the market acting like infinite growth is baked in, or is inflation simply out of control? And I’m not talking about CPI over the last three years. Stocks have been insane over the last decade. Real estate has been insane over the last decade. Neither of which is measured by CPI. So yea… the market is pricing things like the Fed will keep printing money to prop up assets it explicitly ignores in its inflation calculation.
This has been true for the past 30 years.

I’m beginning to suspect peak oil was never an actual prediction, and more of a statement—or rather a lie—that we would naturally wean of fossil fuels in a couple of years as production would slow. I’m beginning to think peak oil was always a ruse so that the fossil fuel industry could delay climate actions for another couple of decades (and doom us all in a climate disaster while they were at it).
Yup, the code in the above repo is based on https://github.com/metavoicexyz/tortoise-tts-modal-api
It’s a straw man argument, which gives you a good idea inside the psyche of the dev.

If anything picks up a URL and uses it later, that is definitely a web crawler.
He’s saying that the spreadsheet represents the “picture” of the cat in terms of pixels and RGB values etc.

The algorithm/workers are not really “looking” at a picture of a cat, they are analysing and looking for patterns in the data that defines the picture of the cat.
Netflix has successfully driven me back to piracy. Their catalog is shit, they have only one part of a lot of trilogies, Harry Potter keeps disappearing and their UI is so full of bugs I wonder if anyone working at Netflix actually uses it.
Is it big news?

It might be, but we haven't seen the packet captures yet. I'm not trusting this shallow analysis (from a source I don't have any particular reason to trust) without seeing more details or corroboration.
Superficially, this looks quite similar to conky. Can anyone comment on similarities/differences? (other than "written in rust")
They're both causes.
E.g. if there were only 500 million people in the world there'd be no issue. Similarly, if everyone lived a somali lifestyle it wouldn't be that bad environmentally.
Many problems can be solved by dramatically reducing cattle population and consuming more poultry.
You seem to think the answer is obvious? Why?
this.

I may actually use gps once or twice a week only, disable geolocalisation when it is possible on all apps I am using.

There is no justifiable reason to say gps is not possible without this. Besides you should be able to decide you don't mind waiting 15 minutes to get full gps service.
A tool should be simple with good defaults requiring little to no configuration but offering enough flexibility to get your work done and no more. Anything more or less is just noise.

More often than not, your work does not require complex tools with unlimited flexibility and configurability. Notion is an amazing tool but it can get in your way. It was designed to be shaped and transformed by each user in the way they want. That should be a good thing but only a few people actually need that level of control.

Even for team-based workflows, I have personally been more productive when using simple tools with good defaults. Whenever there is talk of setting up things and learning curves outside of your actual work, know that it is most probably unnecessary.
thermal expansion would also be an issue I think.
Been using Haskell full-time for a year or so now, and using it part-time a few years ago for a side project. The reliance on indentation is nice and light but definitely bites you every now and then.
Developers find themselves in tnis situation sometimes and are not sysadmins. I had this situation before, and I would need to google to know what lsof does and how to use it. And so do many others that are commenting positively here.
This lists about 40 or so, doesn't seem like nuclear makes the top ten.

https://www.ipcc.ch/report/ar6/syr/downloads/figures/summary...
Some of those who would pirate aren't going to pay regardless. This is unremarkable economically -- we're all used to the ideas of price points and elasticity. Every market for a good or service will segment into people whose demand is inelastic, people who register at somewhat elastic levels of demand / substitutability, and people whose demand is very elastic and substitutable. Piracy & other forms of uncompensated acquisition just invite us to think about segments where the price point is vanishing.

DRM probably works best in situations where it's also paired with convenience and there are modest to high levels of inelastic demand (and in the realm of low-to-modest levels of inelasticity, convenience might be enough even w/o DRM)

The other fact about piracy that's probably worth considering is that in some cases it can produce future sales. Not all people have an agreeable desire to contribute economically and understand that piracy means they haven't compensated the provider, which threatens their incentive/ability to provide more, but some do, and will eventually buy in when they're less price sensitive or more convinced of the value in a work by experience with it.

(This last point, incidentally, is one reason why I think Spotify's narrative of having saved the industry from piracy is self-serving and wrong to the point it may even have done more damage than the piracy it replaced via convenience for many. Someone engaging in music piracy knows they aren't contributing to a musician economically but may well decide to make legit purchases once they're a fan with a relationship to the artist's work. Someone using Spotify is encouraged to believe they're engaged in a legitimate economic exchange with the artist and is less likely to feel a need for later fan buy-in... when in fact the economics of platforms are practically indistinguishable from piracy for many artists.)
Yeah, the ”post-truth era” is a weird catchphrase which has been going strong for the last 5 years or so at minimum, yet the described dystopia has never arrived and never has been on track to arrive.
I even remember its creator’s name: Bo Bendsten. I hope he’s doing okay.
While I agree that the Economist is infamous for having the occasional-to-frequent terrible take under a common pseudonym, I think you're wildly overselling the quality of most mid-brow subreddits (Or have a definition of "middle brow" that only includes the top 90th percentile).
How many is just right?
I’ve resisted putting my passwords in Apple’s keychain, because it’s the last “egg” I DON’T have in their “basket,” but I think 1Password has finally turned up the heat a bit too far on this frog.
Functional programming community likes this stuff. They go into the classical mathematicians’ trap of writing more and more general versions of something even though it’s not necessary.
If the entire polar ice caps melt sea levels will rise approximately 230 feet. That's the end of every coastal city in the world.

Given how all data trends point to how we are pretty much going to fail at stopping global warming, the glass bubbles are 100% worth considering EVEN when you consider the potential negative side effects.
That is fair enough for me! This is sometimes called "The Exceptional Man". The one who can murder murderers without committing a crime. I strongly recommend "Crime and Punishment" - the investigation of the exceptional man who is morally strong enough to "set society in order" is the entire subject of the book.

I have lived long enough to know that I am not the exceptional man. I suspect that he does not exist, or at least, has not yet existed.
Who teaches the kid that individual consumerism comes before everything else?
Even if there is no evidence today, they can start doing it at any moment. Are you fine with that? Are you checking your connections every day?
I wonder how this will fly in an European Court with GDPR.
I don't know where you live (Ikea has local lineups), but for instance, where I am (Baltics), I couldn't find a wooden dressing cabinet last week.
Japanese startup ispace loses contact with spacecraft Hakuto during moon landing
Scala is probably not a good example because if you need some quick and dirty printing you can override toString and keep the rest of the generic code intact. In OCaml, Rust and Haskell you would have to add type constraints in a bunch of places to make println! T.to_string and show work.
Well here's a start: humans are not dinosaurs.

>Having warm Earth is much better than having an Ice age, right?

This is not the choice we're dealing with? We are not in a situation where we either continue to cause global heating or else face an ice age.