skysight-inc/HackerNews huggingface dataset:
My Minisforum V3 arrived a few days ago. I like the overall package, but there are a few things I would like to add, after using it for the past few days (running NixOS with Plasma 6):

- The screen panel QC seems very inconsistent. My unit got at least 2 dead pixels and over 6 bright pixels and a horizontal faint line across the screen, possibly caused by coating. I don't notice the dead pixels that much during the normal use due to the screen PPI being quite high (215 PPI), but it has way too many. (I'm trying to arrange a replacement with Minisforum, and JP store seems to have better support than the rest, so I'm keeping my fingers crossed.)

- The overall pen experience is quite good for writing. There's no perceivable lag in Krita as far as I can tell. I would still prefer Wacom Cintiq or iPad Pro for any serious drawing/painting session (the V3 pen pressure detection doesn't feel accurate enough to me).

- Everything mostly working out of the box as of kernel 6.6 (LTS). Sleep works great. The only thing that seems broken so far is the audio, which lacks any volume control. A lot of people suggest setting pipewire to use soft-mixer, but this caused the device to be muted during the machine startup. My workaround to this is to have a soft mixer Virtual Sink in pipewire and leave the audio device as-is.

- Tablet experience is suboptional. As mentioned in the article, if you happen to use more than one language, and have to use Fcitx5 for text input, then you're likely going to manually have to switch between Maliit and Fcitx5 every time you detach a keyboard (because Plasma only allow one Virtual Keyboard to be used).

- Also, Maliit lacks Ctrl/Alt/Cursor Keys, making this very unsuitable for an emergency console during travel/transit unless you also pack a keyboard, which adds thickness/weight. At this point, ThinkPad may have been a better choice. (I'm looking into possibly adding at least arrow keys to Maliit). (Also, Maliit Japanese keyboard uses a flick layout, which is broken because Maliit also uses a downward-drag gesture to dismiss itself... so you can't type any letters that require a downward flick)

- Battery life is, as mentioned in the article, 6 hours if I use powersave with power EPP, and around 4 hours if I use powersave with balance_performance EPP. Under Linux, battery drain during sleep is only around 1-2% over 8 hours (tested by charging to full before bed and leaving it unplug).

- The touchpad experience is fine. They're not amazing, but good enough to get the job done (there are certain angles that the touchpad sensor will stop registering touch events).
llama.pdf when?
Right. I think many don't really appreciate the famous Einstein quotes many of us are familiar with. When Einstein referred to quantum entanglement as "spooky action at a distance" it was not in the context of describing it, but mocking it. Picture more like him making a face while adding some scare quotes to the quote.

In fact Einstein rejected, to his death, what would come to be seen as the standard/Copenhagen model of quantum mechanics precisely because he refused to accept this apparent violation of causality, to which there remains no clear explanation.
Remusic
What makes you think autocomplete on steroids with no internal reasoning capability or representation of knowledge would be at all useful for inferring intent? Or have you been fooled into thinking an LLM is something like Eurisko/Cyc?
If you have a reliable-byte-stream abstraction, you only need to add a way to serialise your messages into bytes, and you get a reliable-messages-in-order abstraction for 'free'. That's convenient! And you don't need to teach your lower level protocols about where your higher level messages start and end.

You can also stick your higher level messages into a structure that's more complicated than a stream, eg you can stick them into a tree. Anything you can serialise, you can send.

Of course, the downside to this is that when you don't need these strong guarantees, you are paying for stuff you don't need.
Luau and Roblox..

> When possible, upstream flowtype and definitely-typed types have been translated into Luau type annotations.

> This repository is a fork of roblox/react-lua with the intention of being the Roblox and global Lua community go-to for React in Lua. Roblox's repository is a read-only mirror of their internal project, and as such cannot be contributed to by the community.
Of course anything can have its own flag. That’s how the British stole entire countries /s

https://youtu.be/hYeFcSq7Mxg
It would be interesting to have a workbook of what people consider valuable examples of issues we are trying to solve. Like property checks are sometimes easy to write, when your property aligns well with property checking models! But then time-based stuff like TLA+ ends up working way better, sometimes.

There are plenty of canonical examples out there for resolving some issues with types, and having a bunch of one-pagers on issues people hit that people might or might not want to tackle with some flavor of formal method.
The goal is to have short aliases. That explicit call syntax isn't exactly convenient. That's what doesn't work.
> A generalization without any evidence. Also, capitalism is currently the dominant system in the West, making it both the obvious starting point for discussion of economic systems, and the most productive candidate for legitimate criticism.

If someone made the same remark about non-democratic political systems, would you say the same thing? "Democracy is the current dominant system in the West, making it both the obvious starting point for discussion of political systems, and the most productive candidate for legitimate criticism." I doubt it. I think some honesty is useful: you want to criticize capitalism but you don't want someone to defend it, you want a space to criticize it. I think if you're going to criticize capitalism then you need to be willing to fend with someone willing to defend it. It's fair game. It may seem unfair, but just like we hold onto our values of democracy tightly so some hold onto their values of capitalism.

If you want a space specifically to criticize capitalism, there are plenty on the internet, and HN isn't one of them. I'm pretty sure you can throw a pebble randomly at literally any Bluesky English poster or Mastodon instance and you'll find one though.
Per the official position of the US State Department, Taiwan is a territory of China.
that is free tool to generate music with ai.
I'm able to get 250MH/s with this. M1 Pro
I am not sure which part is impractical. In India we already use QR code for metro tickets. The system design is definitely different from one mentioned and mimics more of how airport tickets work.
> "One thing is for sure, it's not a silicon fab."

Why do you say that? Yes, the EPA report seems to be redacted to obscure what they're actually doing there. But there are multiple reports, some from Apple employees, that refer to it as a being some sort of small scale, "skunkworks" silicon fab.
I had a sheriff's officer I knew tell me he'd been stopped five times for drunk driving and each time he'd just pulled out his badge and they'd waved him along.
One of my claims to fame was being part of the team that built the first online banking site for a bank in my country around 1997.

One of the things you could do was pay certain types of widely used paper invoices. When I was brought on, the UI for this was just a standard HTML table with labels and input boxes. I decided to build a prototype with a paper invoice image as the background and a textboxes places where the numbers appearred on the paper invoice.

When people paid the invoice, they would have the paper version they had received by postal mail next to them. Now, their mission was to enter the numbers so they would end up with a visual one-to-one copy of the paper invoice on the computer screen. It made it easy for everyone to figure out which numbers to enter.

People embraced this immediately, and all forms were changed to follow this principle. All banks implemented it in their banking apps and still use it today.
Mobile works for some games (for me).

Eg playing something like 2d Mario on a GameBoy or the Switch works. 80 Days on the iPad works.

I wouldn't really want to play something like Alpha Centauri on a mobile device or a couch-sitting console.
> AirBnB is another example. There are benefits to living in a desirable location and they're often free for the residents.

To be more precise, they are baked into land values / rent.

> I believe the Coase theorem suggests that paying off the neighbors would be somehow efficient, if a deal can be reached. It can be difficult to agree on a price, though.

Yes, transaction costs always kill you.
This is a classic problem you can make in any language. If you were doing Java, and forgot to use `finally` for a resource, you'd have a leak due to an exception.

I do not know what metric you use to define "better"
In my opinion formal methods are what's missing from software engineering to make it a serious engineering discipline. In all other engineering fields you have to produce calculations and "proofs" that your design ought to work. In software engineering everything is basically overcomplicated handwaving.
Now I have to wonder is there a place where this is not true?
This really isn't a good idea for the consumer.

You have to go a long way down surge pricing to "want" this and it always favours the seller, and the rich. Manipulation of price represents a classic asymmetry advantaging one side.

Ultimately this will go to the lowest level of regulator able to tell them not to do it.
Depends on the exact age, and how much your kid expects to be trolled.
Show HN: I made backward compatible HTML theme with browsers since the late 90s
The dot com crash didn't happen in the late 1990s.
Those were physical artefacts. They are a lot harder to handle, and don't get any smaller as time progresses.

Here we are talking about data.
Statements about free will aren't even wrong without some indication what's meant by the term. Typically it's not even a well-enough formed concept to discuss.
It's very, very hard to preserve only exactly what you do, and nothing else. There's always context, and people might be interested in the context, even if they ain't interested in you.

Btw, there's lots of diaries and autobiographies published. Some of them quite popular.
`finally' is a word though, harder to forget than a single punctuation mark.
Why? Just pick an industry standard tape. There's still a big market for them, and will be for approximately forever.
He did this translation as a part of his job or out of passion?
Tangential, will we ever certify current LLMs as "medical grade", for example they reveal suicide steps too easily, pick up Redditor snark as serious content, contatenate parts of random sentences together etc?
Right, yes. In some sense it's not sexpr as usual either, the evaluation strategy gives it a rather different feel than one might be used to from other parens syntaxed languages.

'macro can be used to control evaluation, https://software-lab.de/doc/refM.html#macro , but there is no compilation in Picolisp, hence no compile time macros.

Don't see the problem with that. How is it different from using strings without quotation marks as global symbols?
What will AI want to be when it grows up?
But the problem is with the new stuff it hasn't seen, and questions humans don't know the answers to. It feels like this whole hallucinations thing is just the halting problem with extra steps. Maybe we should ask ChatGPT whether P=NP :)
OK, so a web forum then. I avoid Reddit, I don't believe in corporations as stewards of web forums.
Not my website, but I agree - it is fun indeed.
I had this perfect mosquito repellent - all you had to do was catch the mosquito and spray the solution into his eyes blinding him immediately.
there's also a good paper - Can a neuroscientist understand a microprocessor - by Kording's lab which is also an excellent read.
On the topic of white-noise machines:

There are headphones out there that are purpose-built to help you fall asleep faster and stay asleep longer.

My favorites right now are SoundOFFs, which emit pink noise, no apps required.

I'm also going to experiment with the Ozlu Sleepbuds, which many are calling the unofficial Bose Sleepbuds III since Bose discontinued the second iteration of these buds and sold off much of the IP to this team.
Not wishing to undermine a good IPv6 argument, I do wonder if the latencies from CGN and CLAT are worse than the Kubernetes "traefik" induced intermediaries and address proxying.

If K8s had been released pure V6 I wouldn't be asking this because the rules would be implemented differently. That said, HAProxy and/or some kind of iBGP intermediate to shard the load and do failover implies work being done, albiet not every packet (once the state is done to get to which backend handles which frontend query)
PostScript is deprecated in PDF though.
I found the http://www.emulators.com/docs/abc_arm64ec_explained.htm article extremely helpful at understanding what the ABI is doing, you might like it too.
OpenCV was not the "AI" here, the "AI" was a computer vision model trained at the roboflow website that he mentioned multiple times and that he used in the line commented with "# Directly pass the frames to the Roboflow model".
No human had a chimp ancestor. But humans share a fairly recent common ancestor with chimps.

Some human had Neanderthal ancestors, some did not, as you rightly suggest. However, all humans and Neanderthals share a common ancestor that's much more recent than our last common ancestor with chimps.

Ie we only have 'chimp DNA' in the sense that we share a lot of DNA with them, and that we haven't changed too much since our last common ancestor. Exactly the same is true of us and Neanderthals.
I have been thinking about the sync-only-server model for sometime and providing a way to use application specific logic, like CRDT, while keeping the server generic has been a major headache for me.

This solution/pattern is the best I have seen so far. It does not require anything special server side, all the logic live on the client, which also make plugins way easier.

Thank you!
The term hallucination is a fundamental misunderstanding of how LLMs work, and continuing to use it will ultimately result in a confused picture of what AI and AGI are and what is "actually happening" under the hood.

Wanting to use accurate language isn't exhausting, it's a requirement if you want to think about and discuss problems clearly.
I love LINQPad, it reminds me of first learning to program via DrJava in college. Just write and run code, completely free from all the configuration, structure and other concerns related to building and shipping a binary or other deliverable.
> Please name a satisfying ready-to-deploy industrial nuclear reactor not needing uranium. There is none.

There are certainly options in the wind, as you likely know given the overly precise wording used.

The Chinese TMSR-LF1 ( 2MW ) uses uranium fluoride but doesn't require it, thorium suffices to heat the salts.

That's now out of pilot testing and is running (since July 2023) with a ten year licence while a second much larger version ( 10 MW ) is currently being built.

It has been stated that should the 10 MW 2026 early trials go as planned that a full industrial GW scale version will break ground ~ 2028 ( but that's admittedly intended policy speak and not concrete in ground yet ).

https://en.wikipedia.org/wiki/TMSR-LF1
It’s the same in Malaysia. Indoor spaces are freezing to the point I wear fall/winter clothing if I know I’ll be in a mall or airport.
The Antwerp Declaration for a European Industrial Deal
Our bowls uses the chip to recognize the cats (and open only for the correct cat, so we can give each cat the correct amount of food, called SureFeed)
>To be fair, peer-reviewed publications are not what they used to be.

They were never what most people thought they were. At their best, they amounted to "a few relevant experts in the same field read the paper and didn't find any blatantly obvious methodological errors."
Also, their more expensive furniture can be of a pretty good quality (e.g. Idåsen for office furniture).
>"In 2020, scientists discovered a jellyfish-like parasite [common salmon parasite called Henneguya salminicola] that doesn't have a mitochondrial genome – the first multicellular organism ever found with such an absence. That means it doesn't breathe; in fact, it lives its life completely free of oxygen dependency. [...] It's a cnidarian, belonging to the same phylum as corals, jellyfish, and anemones. Although the cysts it creates in the fish's flesh are unsightly, the parasites are not harmful, and will live with the salmon for its entire life cycle.
Tucked away inside its host, the tiny cnidarian can survive quite hypoxic [oxygen deficient] conditions."

This sounds like a very interesting candidate organism to bring to Mars in the future...
Show HN: We are building your AI co-founder to help your run your startup
Hey HN,

I quit my 9 to 5 to join an accelerator. Let's say things didn't work out there. After launching my fourth startup and failing miserably again I decided to work on Frederick AI.

I realised a lot of the early stage processes from idea to startup are the same and we can use AI to automate a lot of it from the way we come up with an idea to how we run startups.

Frederick AI is a set of tools for early stage founders we collect Market Data 24/7 to detect consumer, business and government problems for other startup founders to go and solve.

We then create a business plan and a landing page to help you get feedback in less than a minute.

We are super early still would love to get some feedback from the community!. Let us know if we can build anything for you.
Since apparently this list allows decimals (bozo: 0.208), why does the regex need to exclude words ending in two o's? Words like "boo", "goo", and "igloo" can be made with the same rules, and it's a simpler grep -i '^[izehsglbo]\+$' /usr/share/dict/words
I do that all the time to the point that it makes every acronym a TWoT (total waste of time)
beautiful site. I recently created a similar template with mock DOS, take a look: https://github.com/turboblack/DOS2_template_for_HamsterCMS

good luck in your endeavors
Freckin' love my Fit. I don't know what Honda's engineers paid the devil for its reliability but we thank them
for their sacrifice.
I have been circling that since I came across permaculture — or more precisely, permatech after deep diving permaculture.

It’s easier to understand permaculture as a regenerative paradigm in a living systems world view. Only living systems can regenerate. Living systems adapt and grow all on its own. It _evolves_, rather than innovates.

Technology, from the machine world view, is incapable of regenerating, growing or living on its own. It requires an external force to set it in motion, as well as external force to innovate and make changes. The source of innovation comes dominance as long as someone views the world in a way where nothing happens unless you make it happen.

But now we are reaching technologies that are complex enough to start resembling living systems.
Thanks for liking it. I will incorporate more LLMs.
QR code reading does not depend on the orientation, at-least as per its spec. there are many apps and devices out there that can read a QR code in any orientation.

In the app that is used by me, the brightness of the screen is automatically increased by the app as soon as I open the ticket QR, and then reduces to its previous state, once the QR code display is removed.
Resilient Sync for Local First
The suggested viewing angle of 30-40 degrees has been stable, so it becomes a matter of how far away the seats can be to maintain that angle on a reasonable budget.
TIL. It understand languages, but debates only in Ænglish.

Anyways. The eternal kwestion "Oliko Urho Kekkonen diktaattori?" produced better discussion I have seen in years.
Sign, Notarize and Staple Your Go App for Mac App Store Distribution
How does the system know that the ticket was already used?

The thing with plane and long-distance train tickets is that you buy them for a specific route. So all the checking only needs to be done at your departure station/airport, the code for which is encoded in the ticket, and the rest of the system doesn't need to know anything about it. But you can't do that with city transport. When there aren't multi-use tickets, people would often buy multiple single-use ones at a time and use them as the need arises, without knowing in advance when, where, and from where they'll be going.
I really want to upvote you but you're at 13377 karma and I would hate to fuck that up!
KDE5, KDE6, tiling and other Linux rants
Chang'e-6 heads for Earth with first-ever lunar far side samples
Singapore has the most expensive meat in Asia ( https://www.picodi.com/sg/bargain-hunting/meat-prices-2023 ) and I guess depends mostly on Malaysia for fresh meat.

They're also big on future-proofing and environmental awareness in general as they have a very long term stable government that looks 10-100 years ahead.
A monad is a monoid in the category of endoplasmic reticulum

(I've made this joke before, but I've never had a chance to in a context where both parts of the malapropism are relevant!)
At that point why trust the emulator over the port? Either you have sufficient tests for your workload or you don’t, anything else is voodoo/tarot/tea leaves/SWAG.
If you're into dissociative media at the moment.
Brand-New Cybertruck Ends Up on Salvage Car Market, Looks Intact
QUIC
Not in that article, yet there are studies that claim they can move between cells: https://www.pnas.org/doi/full/10.1073/pnas.0510511103
This is actually written for lua with gradual types (luau) that roblox is already using
> Why do you say that?

Mainly because Apple's custom silicon could not even be prototyped in a small scale facility. It'd likely be in Taiwan.

> But there are multiple reports, some from Apple employees, that refer to it as a being some sort of small scale, "skunkworks" silicon fab.

I apologize if I missed them. Please highlight. Curious of the credentials of the folks reporting such a thing, as well.
Best at what exactly? I can’t think of a single thing you would pick C# for instead of Java/Go, C/C++/Rust/Zig, Python or JavaScript/Typescript.

Not because C# is a bad language but because it’s not particularly good at anything. It’s a jack-of-all trades which isn’t even the best jack-of-all trades. So unless you have a lot of years put into it, either in your software stack or in your employees there is very little reason to use it in 2024.

But maybe you know of reasons to use that I’m not aware of?
I went back to Wunderground after Darksky went … dark.

I loved Darksky and I hoped Apple would use some of its genius ideas in Weather.app but so far it’s a miss.

A shame on Apple.
Apparently aided by his talented stepdaughter, Thorpe started to earn his living as a translator of, mostly, Anglo-Saxon texts...