skysight-inc/HackerNews huggingface dataset:
The text of a contract can either be long and very explicit, or short but full of implicit assumptions. A DSL is the second kind: you encode those assumptions I the structure of the DSL and the text as written is based on all of those assumptions.

The problem than becomes that anyone who wants to understand the contract now has to read not just the contract as written, but also all of the definition of the DSL itself. This can actually be OK if the DSL is very commonly used, such as a DSL for contracts between two parties which sign new contracts every day.

But it is a huge waste of time for parties which rarely sign contacts, and is often used as an explicit moat to keep laymen from participating. If I give you a contract to sign that isn't even written in plain English, you will have no choice but to hire a lawyer specialized in understanding this contract DSL to advocate for you.

I imagine (savvy) lawyers actually love DSLs that purport to make contracts concise.
Software was there in 2017 already. I've worked on a device for blind people that did basically this (except there's no need for a stereo image).

Here you can see how flattening works (this was handled by the library, we didn't need to do any custom code):

https://youtu.be/DPu0iJtK2sI?t=1542

There's also a feature where it tells you to turn the page, detects that it has been turned, takes a photo, etc. And in the background it flattens, splits into pages and OCRs the photos. With a little practice you can scan and OCR a whole book at 1-5 seconds per page.

https://youtu.be/DPu0iJtK2sI?t=1909

Then it saves the OCRed book and it can read it to you whenever you like.
Not obvious indeed, but after some thought it actually feels natural to have INT32_MIN (a negative number) at the bottom.
It makes me sad that the last post was a swan song from a year ago
Before chatgpt people were putting stuff online and were fine with their lot. OpenAI found something else to do with that data, and it feels like people are upset they aren't getting a cut, even if their economics haven't changed.

I can see that potentially having info available on chat gpt would mean less page views for content that exists to show ads, but I'm not sympathetic to that business model.

People who have models other than trying to get views for ads are just as incentivized to create new content as they were before.
I don't know if I agree with this comment. Small things like cash bail keep people honest and you're assuming a binary scenario.

Let's say I'm selling my car privately on craigslist and the guy wants to drive my car. If he gives me his ID or the keys to his car, I'll let him take it for a spin. (Let's assume I don't want to ride with him because I'm doing something else). Most likely, he'll return because the headache of stealing my car is greater than the worth he'd get out of taking it. Sure, the odds aren't 100% he'll return it but they'll be high. Now if he shows up, has no ID, has no cash deposit, or anything else he can leave with my, the temptation to just take the car is definitely more than when I have something of his.

Cash bail has definitely been corrupted but I do think it serves a purpose of keeping people honest just like a lock on your house keeps people honest.
But not those freeze-dried or flash-fried in restaurants?

A curious concession to human sensitivities, while ignoring bigger issues I think.
Sigh.

Yes, we are experiencing a crime wave. No, no one is bother reporting much of it, except for murder, which is illegal not to report. If you want a good idea of where crime really is, look at the homicide rate.
I don't know if what you say about laws is correct, but it's certainly not a correct description of contracts. The general public is constantly confronted with utterly unreasonable legal documents: far too long, far too unclear, far too complex. The lawyers writing these, and the entities paying them, both know that the public will never read or understand them. It's pure cinicism.
I don’t disagree but I do wonder how much the food pyramid played into developing those habits. Think of all the schools and parents trying to follow it and conditioning their children into eating all that grain and dairy every day. I don’t think it’s solely responsible but I don’t think its effects were negligible.
As we learned from Phil Dick, the Roman Empire never ended.
I'm not sure this is true. For instance, consider reading textbooks for linear algebra and functional analysis out of order. You might still grok the functional analysis if you read it first but you'd be better served by reading the linear algebra one first.
I presume this is / was trending as the paper won a 2023 Ig Nobel prize [ https://improbable.com/ig/winners/#ig2023 ]

"CHEMISTRY and GEOLOGY PRIZE [POLAND, UK]

Jan Zalasiewicz, for explaining why many scientists like to lick rocks.

REFERENCE: “Eating Fossils,” Jan Zalasiewicz, The Paleontological Association Newsletter, no. 96, November 2017. Eating fossils | The Palaeontological Association (palass.org)

WHO TOOK PART IN THE CEREMONY: Jan Zalasiewicz"
> Almost all jobs (perhaps excepting FAANG meat grinder) are filled through personal connections.

Yes and No. Lots of jobs are through personal connections but plenty are through applying to the company.
Having hobbies is not only infantile but "hollow and sad"? Very strange take.

If it bothers you so much, don't engage with it. Taking time on a Sunday to write really nasty things about people sharing their hobbies on the internet doesn't seem especially full or joyful.
No data past 2021?
I assume they're talking about tabletop/board games and such, not video games.
I’ve been doing LaTeX for some major portion of its life and I’ve see so many “LaTeX killers” come and go. But my documents from 25 years ago still compile and render.
Peak crime was around the 1990s. Crime has been dropping ever since and no one really knows why, though some theories are interesting. All this crime wave talk is just news / politicians trying to scare us.
COQ applies a while bunch of stylistic appliques to the "console" look that may not be possible or at least easy in other game engines.
One word: deadheading.

Any time you share a vehicle in time but not in space (only one rider per trip) you've increased congestion due to the trip out to fetch the person. Net loss every time.
The issues are closed, not lost. They can probably ask them again later if they are still pertinent
linky-linky: https://en.wikipedia.org/wiki/Nomic

an example of the game rules: https://agoranomic.org/ruleset/slr.txt

In the context of this thread, I'm sad that the game rules don't appear to be in a constrained vocabulary
Yeah I'd love to see how he goes about achieving the COQ signature look in Godot.
I think different people could do the same thing for different reasons. For me it's just about catching people up, and sometimes people return the favor.

Regarding social networks, though - people aren't exactly looking at your photos because they want to. Most social networks decide what you see, so the algorithm will put vacation photos in front of you even if you don't like that content.
> How many people have been improperly punsihed/set free because of a poor interpretation of the word "child" in a specific law?

How many improperly punished people is good enough? How many cases go to Supreme Court because the amount of needless ambiguity just adds up, one word at a time?

> This is far more relevant than every law taking up valuable space to define what such a common word means.

Right? Why do many laws redefine it?
The difference in effort is not appreciable enough for me to consider it if I have the time to sit down and eat at the table anyways.

The only time I would be concerned would be if I was pressed for time - in which case I’d be looking for something like a granola bar or protein shake over cereal.
Or over 2700 during the war.

Germany expected to use its big U-boat fleet to block shipping to the the Allies in Europe, but the US was building Liberty ships so fast that Germany only managed to sink about 10-15% of them.

The massive amount of weapons and ammo and other supplies that those ships delivered was a big part of enabling the Allies to win. With the ships being made too fast for Germany to stop that shipping, and the US being too far away for Germany to attack the factories, they were screwed.
Yeah my symptoms aren't anywhere near bad enough to warrant even a monthly trip to the doctor. I was miserable for 3 months of the year either sleepy or sneezing and scratching, now I have a daily pill for £10/month for the summer.
Why you think Apple and other phone makers are trying to move manufacturing to India?

Large young workforce, far cheaper than building in the US or Europe, along with still being closer to China for resources, and the more pro-western government is another added bonus.
As someone who has tried to read the Black’s law dictionary once, I must tell you that the law does use a lot of formal language.
Plenty of people have an incentive to report higher numbers of crime. Why would they stay silent?

Even the news would love a higher crime rate and they the most capable to sell the story and extract the profits.
> The cells want to grow in a one-cell-thick monolayer all over the inside of the bottle. What they won't do is to grow a double layer. This is because they have "contact inhibition" which is a major mechanism for preventing tumor-like growth: when cells are touching each other, they stop dividing.

How does that work inside the human body, where presumably they do form 3D structures?
maybe today but MLGO, the initiative, uses whatever. To wit: chris cummins (first author here) was on last year's MLGO panel.
I understand the desire to use Markdown - if you’re not using an editor that will dump the “begin/end” for you with a keystroke or two it feels faster.
I'm bad at math today.

https://www.macrotrends.net/countries/USA/united-states/murd....

We do have an uptick, but calling it a "crime wave," is loaded language.
Last time we had something like this, the word "super predators," was thrown around and we got the 1994 crime bill which put a whole bunch of petty criminals (drug users) and innocent minorities behind bars for decades. It also was the start of really aggressive policing and little care for constitutional rights, which lead to the state they are in today. All this while crime was actually going down. Be very careful with the crime hysterics in the news.

Any meaningful change will require funding and supporting youth programs like the YMCA, Big Brother programs, getting kids interested in organized sports and whatnot. It will also require fully funding schools in the middle and especially lower class zip codes. You have to get kids to see there is a way to be successful outside of gangs and crime. Any politician that promises to fix the problem by throwing people (petty criminals) in jail for longer (tough on crime) is just trying to serve a dual agenda (more aggressive police headcount) and not trying to solve the crime problem.
This was a little bit later in the timeline, but I remember attending an event in Philadelphia about F#, and I walked out of it with a licensed copy of Visual Studio .NET and SQL Server. They were just handing them out. I had an earlier copy of Visual Studio from when I was in college, and I was working in .NET at work, but no one at the event knew that. It was just - thanks for showing up to hear about functional programming, take some DVDs on your way out!

It always felt to me like there was a culture of openness in the world of Microsoft in a way that didn't exist in Apple culture. You gotta pay for dev tools to use dev tools on a Mac. You want an FTP client on a Mac? Buy Cyberduck or Fetch. My impression of Apple was that everything was proprietary and had a price. Whereas I could cobble a computer together that ran Windows, there was oodles of shareware and freeware as well as professional tools. You have full access to the registry and file system in Windows, and you could very easily hack the bejesus out of the OS if you wanted to. It was great for tinkering. Everything was backwards compatible - the point where I had Windows 10 running on a 2005 era Dell laptop that had come with Windows XP, and I had managed to upgrade legitimately without paying (I think the Windows 8 beta converted into a full Windows 8 upgrade, free).

Today, I'm typing this from a 2021 Macbook Pro with USB-C ports - when I travel for work, I bring one charger, and it charges my laptop, my phone, my earbuds, even my mirrorless camera. When I need software, I can usually find something using Homebrew. The value you get for your money on a Mac is much better, but it's still a steep barrier to entry, IMO - even though I'm in a much better position today, and bought this without breaking a sweat. There's a lot of tinkering-related things I miss about the Microsoft ecosystem, but I've largely moved out of the weeds for my day to day work on a computer. All the software I was using on my Windows machine is multi-platform now, and the performance and battery life on these Apple native chips is hard to ignore. As a developer, it's just as simple, if not easier now, to build on Macs - ever since OSX opened up the Linux ecosystem to these devices. That, in conjunction with superior hardware, finally convinced me to switch after at least three decades of being staunchly Microsoft.
I have some friends in north NOLA and Baton Rogue. I've had gator a handful of times. It's an interesting experience for an outsider. You should stick around next time!
It sounds like you’re saying cash bail fixes this because they can’t afford the bail and are held indefinitely until their court date.
Hacking and exploitation is usually creative job of chaining unrelated errors into code executions. AI can currently badly repeat random learned facts but creativity - ability to come up with something new - isn't AI's strength.
I've gotta say your comment really fooled me there. They way you started and ended was not at all where I thought you were heading.

Unless it was sarcasm, then kudos - becauaw I did actually laugh aloud at that twist ending.
They are probably designed to be like that so you can rush into accepting the tracking across the web.

The web has become a sad place where most of the content is made for showing you ads and tracking you around, therefore tracking cookies are needed, therefore tracking cookie permission banners are displayed.
The only one of these that I think is even remotely valid is:

> Validation, scrutiny and repeatability over convention and ad verecundiam

The rest I just flatout disagree with. This sort of feels like a Project Manager's Data Science Manifesto. Which...is fine if it's titled as such. Otherwise...no thanks.
Do yourself and watch a public bond hearing. Guaranteed you'll be surprised by not just how much it's been "corrupted" but also how routine it is.
Muesli isn’t just plain oats.

Muesli is a mixture which contains CEREALS (e.g. oats, wheat, barley) dried FRUIT (e.g. sultanas, raisins, dates) and NUTS (e.g. almonds, hazelnuts).

Here’s an example of a typical British muesli… https://www.amazon.co.uk/Jordans-Natural-Muesli-Kg-Pack/dp/B...

And here’s the Wikipedia entry… https://en.m.wikipedia.org/wiki/Muesli
Does it really work like that in the US? You don't get judged in abstentia? Also, suspended sentences aren't automatically unsuspended if you get arrested a second time for similar crimes? I thought suspended sentences were a big thing in modern countries.
thats another article posted a few days earlier: https://www.washingtonpost.com/lifestyle/2023/09/14/roman-em...
Maybe if someone has nothing to lose they are a flight risk, but if they have $100k on the line, they won't be?

Or are you suggesting that incentives don't actually exist, and you can't change anyone's behaviour ever by offering them rewards or punishments for acting in certain ways?
The distribution along the basin and range parts of the country are very interesting. Just eyeballing it, it looks like there is a significant altitude component.

Is it just the second and third-order effects of higher transportation costs, or is it something to do with barometric air pressure?
It looks that way, yeah. It’s fine in English, but their “select languages” list has about 30 different languages listed, and I can’t imagine they’ve spent the money to do that the right way.
The green seems to be targeted at people who could probably get a Pi and install an OS and install basic HA and schedule/manually do OS/HA upgrades and whatnot, but would rather just buy a box that does all that work for them. I know lots of people who can sweat their way through everything up to but not including upgrades, so for them, it's a good product.
It’s more to see if I can, and maybe to learn something from it. Also I am very bad at generating ideas.
The embeddings are used by algorithms, not people, generally. You could ask something like "what's the most similar place to X within Y", and it would using the embeddings (which cover a variety of facts) to calculate answer. An embedding is an N dimensional vector (where the dimensions may or may not be meaningful to us), and similarity can be implemented by looking at the similarity between vectors.
memory is the non linear lever Nvidia uses to charge more for non gaming card.
InfluxDB 3.0 Infinite Observability with qryn-iox
There's the PiSCSI which is a board that hooks in to a Pi's GPIO pins and acts like a SCSI interface to Macs. I have one and in addition to SCSI drives it can emulate a DynaTalk SCSI/Ethernet interface and use the Pi's wifi to talk to the Internet. I've done this with a Mac SE.

It also will act like a AppleTalk file server using netatalk, it's an easy way to share files with other Macs on your local network.
There is a LaTeX package called “memoir” which is basically a “modpack” for LaTeX - and it has a detailed manual on how to do various customization things.

Or you can use its beautiful defaults.
There are clearly many texting dimensions.

Bathroom selfies are not a thing in the one I’m a part of.
For non-capital offenses whether to hold someone without bail at all or what the bail amount should be is explicitly not based on the crime the person is being accused of. The only determination being made at the bail hearing is how much of a flight risk the person is.
I find Sony the most egregious example of poor product placement - especially in Spider-Man films
Security professionals that simply go through compliance routines may get replaced with AI first.

The ones doing security research are often incredibly highly creative people that think out of the box and do things that have not been seen before, unlike LLMs mostly remix what they've seen before.
Because you report shoplifting or any other property crime for the Nth time without the police even bothering to show up, why keep reporting it? Even an assault on the street isn't worth reporting these days. Unless you have some sort of immediate danger, you'll just be shunted around the phone system and maybe a cop will contact you a few days later at 10PM at night.
Well, you annoyed me by the loss of time spent looking for verification of its date, given that half of Kipling's life fell in the 19th century.

Kipling was a genius, with some notable blind spots, to call them no worse. My summary is to say that given the qualities, brave, clever, and honest, groups other than the English got to choose at most two. (OK, the Scots could pick three, also.)

I would say that Kipling's genius comes through far more in his fiction than in his verse.
Thats pretty much the argument in favour of it.

The argument against it is that it makes life harder for everyone except those who have spare cash hanging around.

Coincidentally, those who have spare cash hanging around may not value it as highly as their freedom, so they maybe are still likely to ditch and run?

Which means that bail is really only a good motivator for that sweet spot of accused criminal who both has enough cash available to be able to put it up, and has so little cash available that getting their bail back quickly is hugely important to them.
Except that they dont get it back quickly anyway, it can take quite a long time...so ehh...
Asking Questions the Right Way
Just browsing the Mac Programming book's took me back in time. So many books I recognized by the cover, books I had forgotten that I had once owned and learned from. This was pre-Internet (well, pre-Web) and my copies of the books became well worn.
This is a joke right? "Ignore the evidence... no wait, just trust me bro, the actual facts are opposite of the evidence"

Can you back up your claim with evidence?
The 7640U (the cheaper Framework option) was used in a gaming handheld (GPD Win Max 2 2023... R5). There's a review with a few benchmarks here (also included is the R7 version with the 7840U). https://droix.net/blogs/gpd-win-max-2-2023-7640u-review/#rb-...

It can run Shadow of the Tomb Raider at 1080p at lowest graphics setting at just above 60 fps (pumping at full 28W). Cyberpunk at 1200p (why???) lowest setting at just below 60 fps.

I'm sure there are better reviews out there (probably out on youtube), but this was all I could find quickly.
I’m trying to think of when I want my browser to make noise.

Outside of Squadcast, YouTube and CBC, and… I’m drawing a blank. I feel like allow listing a handful of websites to make noise would be fine.

Edit: Also, let’s see if anybody replying to this actually read the article I know this isn’t exactly what the article talks about but it’s what came to my mind when I saw the title.
The data you linked and the comparison you suggest (2014 vs 2021) shows a ~54% increase in homicides over that time period ((6.81 homicides / 100k people / yr) / (4.40 / homicides / 100k people / yr) ~= 1.54.
Burden's on you to show there's "crime wave" considering "crime" is going down across the board, ignoring the spike that happened during covid and 2020 protests (which is normalizing back towards the downwards means). If you're able to provide a source that takes into account agencies not reporting NIBRS data, it's welcome.
Also bugs from this approach are going to be funny - program compiled with compiler version X will work as expected and same program compiled with version X+1 will start crashing because AI under some circumstances decided that dereference of a specific pointer was unnecessary, so it won't drop it into the assembly.

Good luck finding such a bug, because you will be looking on correct code, but computer will be executing invalid output.
You're completely missing my point. Of course a museum of retrocomputing would contain DEC VAX et al.; nobody said otherwise; nobody quibbled the bona-fides of the curator.

I legitimately asked how they actually manage with the SEO namespace having been namejacked by another unrelated topic, which is heavily associated with endless flaming. It occurred to me that I haven't seen the term 'vax' on social media in the old sense for several years now. It's been overrun. (If you go on Reddit and search "vax museum" or "Can I see a VAX in a museum?", zero of the top hits are relevant.)
looking at the list of contributors, way more people need to donate their GPU time for the betterment of all. maybe we finally have a good use for decentralized computing that doesn't calculate meaningless hashes for crypto, but helps the humanity by keeping these open source LLMs alive.
The population is older (there are fewer young people).

Put another way, octogenarians seldom rob at gunpoint.
I feel like "crime wave" is one of those loaded terms these days that's incapable of being discussed factually, just another victim of the culture wars. We don't live in shared realities anymore...
I mean, what have you done with your life? What have you accomplished!? Alexander the Great conquered the known world before he was 30. What have you made? A million dollars? Psh.
Great idea and I’ll buy one now
There was a recent dota2 LAN without soundproofing and the audience would ruin surprise attacks (aka smoke tanks) or surprise objective taking (aka rosh), it made the gameplay worse.