skysight-inc/HackerNews huggingface dataset:
I got my license in my gap year before uni a long time ago; it's not valid here, but in my country I got trained with a lot higher standards than where I live now so I can do anything besides actually hooking stuff up to mains. I helped some people out and they told others. Like said; there is a massive shortage of handy people and as this is not my day job, I have to say no a lot.
You keep talking about data but then looking at the wrong data.

Average commute or distance traveled per year isn't the interesting number. If you're considering an electric car with a range of 300km, it doesn't matter if your average commute is 16km or 100km, what matters is, do you take trips in excess of 300km?

https://finance.yahoo.com/news/more-aussies-holidaymakers-ta...:

> The number of survey respondents who have taken a road trip increased to 91.9% in 2024 from 88.4% in the same survey in 2022

And if anything, fewer total miles traveled per year would make EVs less attractive there because of less in terms of fuel savings.

> Plug-in hybrids are mostly not a thing here.

Plug-in hybrids are relatively new because they're basically normal hybrids with bigger batteries, so the batteries had to get cheap and light enough to make that work, and they got faster adoption in countries like the US because of tax incentives that favor PHEVs over traditional HEVs. Meanwhile from your own link, 25% of new cars in Australia are some type of hybrid of BEV, compared to 19% in the US. Consistent with "they are buying more fuel efficient vehicles", it's just that those vehicles are turbocharged low displacement or hybrid SUVs.

It's possible that the difference in tax incentives is causing carmakers to allocate PHEVs to the countries providing incentives specifically for those given a finite amount of battery production capacity, but according to your own numbers PHEVs are a good fit for Australians. Average commute is well within their all-electric range but then you still have no trouble taking the occasional road trip.
If the goal is something that can be used to improve existing C code, I have a few thoughts.

To get to memory safety with C:

- Add support for array bounds checking. Ideally with the compiler doing the heavy lifting and providing to itself that most runtime bounds checks are unnecessary.

- Implement trivial dependent types so the compiler can know about the array size field that is passed next to a pointer. AKA

void do_something(size_t size, entry_t ptr[size]);

- Enforce the restrict keyword. This is actually the tricky bit. I have some ideas for a language that is not C, but making it backwards compatible is beyond where I have gotten. My hint is separation logic.

- Allow types to change safely. So that free() can change the type of the pointer passed to it, to be a non-dereferencable pointer (whatever bits it has).

This is an idea from separation logic.

Allowing functions to change types of data safely could also be a safe solution to code that needs type punning today.

I think conceptually modules are great, but if your goal is source compatible changes that bring memory safety then something like modules is an unnecessary distraction.

Any changes that ultimately cannot be implemented in the default C compiler I don't think will be preferable to just rewriting the code in a more established language like Rust.

On the other hand I think we are in a local maxima with programming languages and type systems. With everyone busy recombining proven techniques in different ways instead of working on the hard problem of how to have assignment, threading, and memory safety. Plus how to do proofs of interesting program properties with things like asserts.

Unfortunately it appears that only through proof can programs be consistent enough that specific security concerns can be said to not be problems.

What I have seen of ADA Spark lately has been very tantalizing.

I have a personal project that I think I have solved the memory safety problem, while still allowing manual memory management and assignment. Unfortunately I am at a stage where everything is mostly clear in my head, but I haven't finished fleshing it out and proving the type system, so I really can't share it yet :-(.

While implementing modules, memory safety, type variables, and functions that can change the types of their argument pointers. I think I will end up with something simpler than C in most respects.

I keep going well that doesn't make any sense today, as I go through all of the details and ask why is something done the way it is done.

One of those questions is why doesn't C use modules.
The FAQ talks about this a little:

Q: Does Hyperspace preserve file metadata during reclamation?

A: When Hyperspace replaces a file with a space-saving clone, it attempts to preserve all metadata associated with that file. This includes the creation date, modification date, permissions, ownership, Finder labels, Finder comments, whether or not the file name extension is visible, and even resource forks. If the attempt to preserve any of these piece of metadata fails, then the file is not replaced.

If you find some piece of file metadata that is not preserved, please let us know.

Q: How does Hyperspace handle resource forks?

A: Hyperspace considers the contents of a file’s resource fork to be part of the file’s data. Two files are considered identical only if their data and resource forks are identical to each other.

When a file is replaced by a space-saving clone during reclamation, its resource fork is preserved.
The opposite is true. The new law makes it considerably more risky for large companies because the law is specifically designed to hold them to account for conduct on their platforms. The (perceived) risk for small websites is unintended and the requirements are very achievable for small websites. The law is intended for and will be used to eviscerate Facebook etc. for their wrongs. We are far more likely to see Facebook etc. leave the UK market than we are see any small websites suffer.

A small website operator can keep child pornography off their platform with ease. Facebook have a mountain to climb — regardless of their resources.
Good idea.Maybe you should sit this one out,Bigrat.
I'm not sure why you're comparing total posts to monthly new posts. The tragedy here is that 2.6 million posts, potentially full of great content, is being deleted.

>The forum is so inactive that they’re deleting posts faster than creating them.

They've been in read-only mode, more or less, for awhile. Primarily, again, due to the (at the time proposed, now passed) law.

Not to mention, this comment is missing the forest for the trees. This is not the only forum or website to shutter operations in the wake of the UK Online Safety Act.
The framework 13 laptop chips have Zen 5c cores.
Sure, maybe - but a LOT of car buyers don't look at it this way. They don't compare specs or value for money. They just go "I have £30k, what can I get for that money" - and more often than not, they decide on the looks or immediate availability or finance deals, not on things like heatpumps or hepa filters. I know a lot of people whose criteria are "my dad drives a KIA so I'm also buying a KIA" or "it has to be a volkswagen, I'm not interested in any other brand", or "I like how Alfas look, can you help me pick one". You can argue whatever you want about features or drivetrains, but they will go and pick their preferred thing anyway. When I bought my Volvo the guy there said maybe 1 out of 50 people actually read the specs, they just pick the model they like the look of and pick a spec they can afford. Maybe 1 in 10 actually test drives the car before buying.

All of that is shocking to me - but I guess for a lot of people cars are appliances, no different than a fridge(but then again I do a lot of research before buying a fridge too, but maybe that's just me).

But back to my original point - those people I describe above, few years ago if they were dead set on buying a Volkswagen and also wanted an EV for whatever reason....there really wasn't anything to pick from, if the eUp/eGolf didn't work for them. So someone dead set on an EV would eventually gravitate towards Tesla because that's what was available. Now the same buyer walks into a VW dealership and walks out with keys to an ID.3/4/5/6, never even looking at Tesla and whether it's a better deal or not.
If you send a copy of the code, is that sending the code? If it is, what about sending a copy of the code with a Caesar Shift?
lmao I was like "wtf is going on with that stick"

the slab design I wonder, I made my own camera bodies (for RPi) and the straight edges do hurt your hand

The size reminds me of the hype I felt with Sony Alpha Nex-5n when that was new (tiny body and big lens)

The body reminds me of Teenage Engineering

edit: oh yeah Sigma FP that was another tiny body camera
> Makes double the money he did doing remote coding.

Yes, but I presume at a high physical cost in the long-term? (I mean, more than the physical cost of sitting in a chair)
[dupe] https://news.ycombinator.com/item?id=43174477
I think you have an unrealistically high bar for who is suitable to be an expert witness. People who are not even remotely experts are often trotted up as "expert witnesses". OP is very easily an expert in his field; the only issue is that his communication style is not quite tuned properly for legal matters. Which shouldn't be surprising; that's the case for pretty much anyone who isn't in the legal profession, doing this sort of thing day in and day out.

And I think this is the correct state of affairs. The kind of person who does have their communication style tuned for legal matters probably engages in so much legal work that they aren't doing enough work in their field to truly be considered an "expert".
Grok 3 Hallucination
I created a service via prompt-smithing to generate 3 most-discussed, current stories for a specific country. The prompt specified that Grok would striclty review the X.com post traffic generated by users in that country. Under Grok 2, it needed more curation that I wanted to do, so I decided to wait for Grok 3. I had been under the impression that Grok 2 saw posts in real time, but then learned it did not. Grok 3 purportedly (and it insists) does see X posts in real time.

I switched to Grok 3 as soon as my account had it and tried the prompt again. When running the prompt for The United States, I noticed that the stories were not current. One story stated that Antony Blinken was Secretary of State when he hasn’t been for over a month. Another talked about the upcoming presidential election, showing that the time frame Grok was operating with was months ago.

I then asked Grok 3 to review and refine the prompt itself to ensure that the stories it generated were current topics and actively the top stories users were discussing. It provided a more concise draft that did seem to get better results for a number of countries. Then I ran on the United States again and… the stories did not seem to be the biggest and more relevant. Rather than negotiations to end the Ukraine war or Macron’s visit to the US or the raging about DOGE, it came back with a Timberwolves’ player opting for free agency. Really?

So I asked Grok 3 to show me the posts that led it to choose these three stories. It came back with quoted posts, one for each story. One quickly notices that the length, tone and style of all three example posts were identical. As if they’d been written by the same person.

I asked for the user accounts that generated them. Grok 3 produced 3 user accounts. None were actual accounts. When I pointed that out, Grok 3 helpfully explained that it was providing representative quotes that it had assimilated from X.com posts, and the account names were also representative of the types of account IDs that would post those representative quotes.

I then explained that doesn’t work for me. I need to see real posts from real accounts. Grok 3 apologized then helpfully presented 3 more accounts stating they were actual user accounts.

They weren’t.

So there it is.

I’ll move on to some other endeavor.
No. Privacy and social courtesy.
There is no way to verify that. It's just something they "pinky swear they won't do". The stringent hardware integrity is to protect against supply chain attacks (Apple making sure they fully control the stack down to the hardware and can run any software they want that connects to any external service they desire - such as the CCP, NSA, 3rdPartyAds, etc.)
we lived in rona hills for about 4 years. not biking distance, but close enough to visit frequently. and as a youngster they let me conduct the AF orchestra there at the AF 25th anniversary. Very good memories.
That's why it's important to push for "public money - open source" initiatives like some countries in the EU are trying to implement.

Off the top of my head, I think the last (now failed) German coalition had this in their programme but didn't deliver. Maybe the new government will.
The SGI Indy was their low end line with a price starting around the $5K range which was much cheaper than the Indigo2 line. That was about the same price range as a Dell Dimension Pro150 at the time.

They went on an acquisition binge in the mid 90's buying Cray, Alias, Wavefront and, Intergraph just when the PC industry busses where starting to catch up and they they announced that they were dumping MIPS and moving to Itanium....

But the sub $2k price wasn't really possible. Remember even the 256K version of the Pentium Pro was more than $1000 for the CPU alone in the mid 90's.

The UNIX Wars, PC improvements, NT optimism, Itanium mess and a directionless M&A killed a lot of companies. Dec, Novell, SGI etc...

Dell targeted that high end consumer market, with enthusiasts as a their target to avoid the higher support costs and low profit of the home market.

As someone who was running SGI's at the turn of the century in the movie industry...nothing about SGI really promoted brand loyalty, it was a tool to run software that you needed. Once Maya was ported to linux, you were far better off running a cluster than buying more expensive SGI units.

The good old days almost never were. I still remember having to re-insert the same CD what felt like dozens of time for even a simple IRIX install. I also remember that the remote install required bootp, tftp, and password-less root rsh! on the server...so you ended up using the CD's to install.

That said, I do miss CXFS and CXVM, their clustered filesystem.
Isn't it funny how a puzzle test your capabilities,but a sandbox is just a giant kity litter?
If the autofocus is reliable, it will sit perfectly between the Ricoh GR III and the Leica Q3, which could be the right mix for some people

GR III = ultra-compact, fixed focal length, $1000, poor autofocus

Sigma BF = compact, interchangeable lens, $2000 + lenses, ??? autofocus

Leica Q3 = compact, fixed focal length, $6000, reliable autofocus

These cameras are loved by street photographers, casual landscape photographers, documentary / environmental portrait photographers, and there's a significant Japanese lifestyle photography scene ... I often wonder if Sigma has this market in mind, which is not so visible if you're not in Japan or don't know where to look on Instagram (dig into the #sigmafp / #sigmafpl tag and look for washed out / blue-tinted photos of flowers/nature, for instance).

The major downside is no stabilization, which will severely limit the shooting envelope compared to these other cameras. I shot with a Sigma FP for awhile and the combination of poor autofocus, no stabilization, no viewfinder, and it still being heavy compared to, say, a Fujifilm camera, made for a very limiting experience. This will, however, be a user-experience upgrade for people who are happy with FP (which, honestly, I still miss sometimes).
Letter to Yi Ŭngt'ae
Interesting concept.

For me the deal breaker is the lack of viewfinder. However this might be designed for people who've not grown up with SLR or rangefinder cameras, but phones instead.

The ux is interesting it looks like the thumb wheel is the only real physical controls and only works on the selected item. For me thats probably ok, as I only really set the shutter speed during shooting.

I wonder what its actually like to use? I wonder how it compares to something like the AliceCamera (https://www.alice.camera/)?

However, if I was on the market for a camera, of that rough size and quality, I'd probably go for a second hand GFX100, which is around the same price as the BF. Its the only mirrorless camera that is easy to use (in shooting, the setup isn't great) and shows me what the picture looks like live. (I'm looking at you Canon RP)
Growing up in Minnesota I would see them quite a bit. We have a lot of lakes, so it's an environment where you would see a lot of them.
Spreadsheets are poorly structured. Different entries in the same column can have different data types. There is no concept of a superkey, so duplicates are allowed. There is a concept of ordering by row/column number which does not necessarily exist in a DBMS. Querying facilities are generally poor.

Now you can kinda fix this by restricing the type of column, etc. but most people don't bother

They are good at what they do - quick manipulation of relatively small datasets. WYSIWYG printouts with decent formatting and charts. But they are only a "database" in the same way that say, a bunch of random data is.
> I would love to buy a broken SGI machine and put some modern hardware in there, just for the aesthetic. Maybe someday.

The closest you can easily get is the 230/330/550 cases which are strait up ATX. I have a 550 case with a threadripper in it. The only issue was I had to modify the 750W PSU to fit in the case by replacing the IEC inlet with a short pigtail cord.
That’s a gorgeous-looking camera. I am really happy to see Sigma still taking chances on their cameras. The FP is still one of my favorite cameras, it’s fun and really inspiring.

Looking forward to the BF.
It's U "and" I.LMAO.
Yes it requires collective empathy. There was a time when we never required the nanny state to constantly watch over us. A sign of a high functioning, free and unified society is that you shouldn't need be forced by the hand of the law to conform to the lowest common denominator.
>Yes, but I presume at a high physical cost in the long-term?

Why? Electricians aren't doing intense labour, and I'm 99% certain that being in a job where you move around a lot (as opposed to sitting at your desk) has long term health benefits, without even getting into carpal tunnel syndrome and other RSIs associated with being at a computer.
What is the meaning of "illegal content" given in the OSA? What will social media platforms be forced to censor (, remove, ..) ... let's take a look:

Table 1.1: Priority offences by category
( https://www.ofcom.org.uk/siteassets/resources/documents/onli... )

Disucssion of offenses related to: prostitution, drugs, abuse & insults, suicide, "stiring up of racial/religious hatred", fraud and "foreign interference".

So one imagines a university student discussing, say: earning money as a prostitute. Events/memories related to drug taking. Insulting their coursemates. Ridiculing the iconography of a religion. And, the worst crime of all, "repeating russian propaganda" (eg., the terms of a peace deal) -- which russians said it, and if it is true are -- of course -- questions never asked nor answered.

This free-thinking university student's entire online life seems to have been criminalised in mere discussion by the OSA, there may have been zero actual actions involved (consider, though, a majority of UK students have taken class-A drugs at most prominent universities).

This seems as draconian, censorious, illiberal, repressive and "moral panic"y as the highs of repressive christian moralism in the mid 20th C.
From what I know, what actually killed the XB-70 was ICBM advancements.

The B-52 survived by becoming a low altitude bomber and an excellent, cheap nuclear-capable cruise missile delivery platform that was comparatively cheap to operate at the same level of effectiveness as the B1-B and B-2A for similar roles.

Russia more or less mirrored this with the Tu-95.
The 12-inch laptop might be interesting as a potential upgrade to my remarkable, with the obvious benefit of also being usable as a laptop.

I wonder how writing on the touch screen feels?
It's mentioned in LTT video: https://youtu.be/-lErGZZgUbY?t=126

(video also features Framework's founder/CEO)
>> Will geometry kernels ever be fully robust, or is there still a holy grail to be discovered here?

WRT robustness maybe not. Even the commercial ones tend to fail in certain situations. I'm not sure if there's a widely desired holy grail people are looking for and I don't even know what that would look like. I might recognize it if it appeared, but maybe not.

BTW for FEA I think a major new thing is available in Altair products the last couple years.
I'm equally sure there are true believers who've drunk the Kool-aid and really believe AGI is right around the corner, just need to fix a few bugs and wait just a few more generations of Moore's law. What difference does the beliefs of a nameless engineer at an AI company make?
I thought that was a tech site, are they hosting porn now? I'd have thought they'd already police hate crimes, encouraging suicide, self-harm, and such?? Perhaps they have a special section where they encourage kids to huff glue?
Apparently any piece of informational older than a year has no value to you?

Thankfully you aren't writing the laws in my country.

Creating a law that makes internet creators want to delete all historical record for fear of potential prosecution under extremely broad terms -- doesn't seem like it's in the interest of the greater good.
The Act does in fact scale the obligations according to the size of the community/service.
Ideally what you'd be paying for is Valve's first-party partnership, and therefore a commitment to tailor Proton development to specifically ensure that this hardware keeps working (at least as well as a Steam Deck works, anyway). I believe this is what Valve has done for the Lenovo Legion Go S.
Hawking radiation is almost painfully constructed to avoid the problem of anything, even information, crossing back through the event horizon.
it’s very refreshing compared to those “free trials” you have to remember to cancel (pro tip: use virtual credit cards which you can lock for those so if you forget to cancel the charges are blocked)

however has anyone been able to find out from the website how much the license actually costs?
It took me into my forties to realize that I needed to stop thinking about what I want to be and focus on what I want to do. Only then did I have enough perspective to understand that when I tried to make career decisions based on expectations about what it means to be in a role, it always steered me wrong.

OTOH, when I focused on doing what I wanted to do or enjoyed doing, I generally ended up both happy and successful. It has, however, led me into roles where I have a hard time explaining to people what I am, exactly.
How so? This is just the UK. While the UK really does want to enforce this globally, they really have no enforcement power against non-UK citizens who do not reside in the UK.

Certainly it's possible (and perhaps likely!) that the EU and US will want to copycat this kind of law, but until that happens, I think your alarm is a bit of an overreaction.
If it is your autistic hyperfixation, then you can do it for fun as well. Not necessarily as a job.
The price does seem very high. It’s probably a niche product and I’d imagine developers are the ones who would see the biggest savings. Hopefully it works out for them
Oh, that's far more interesting to me than the desktop thing. I have a 13" Framework now, but a 12" would be super-nice as a travel laptop -- and the tablet conversion might let me use it as a on-the-go ebook reader.