skysight-inc/HackerNews huggingface dataset:
Laziness is the enemy. I spend a lot of time on things that some might consider frivolous. I always make sure to set up pin assignments and constraints properly so ERC and DRC checks mean something. I've found that the 3D models are quite helpful in finding pain points in clearance for multi-board assemblies, large components, and user interactive components. It's also really handy for checking mounting configuration (hole size, standoff height, will standoffs obliterate traces, etc.)
The ProductHunt link at the top suggests perhaps that is where the testimonials are from. It's not clear why you think they're meant to be tweets. A quick scan of the Product Hunt page quickly found at least one that has a reply saying they'll add it to the testimonials if ok.
That's exactly the challenge though. The puzzle isn't in the compiler internals, it's in the language syntax.

The happy case is you have an instance of a linear type, you call some unrelated function which doesn't use that instance, then lexically later in the caller you do something with it. All typechecks easily, all is well.

If that unrelated function wants to throw an exception, reinstate some other continuation, or in any other way not execute the use of the instance after said function call, you have a design puzzle.

Affine types solve it by saying the object didn't need to be used anyway, so whatever. No type problems. Whatever deals with garbage collection will handle it.

Linear type systems usually solve it by refusing to let the called function branch to somewhere other than the nominal return site, aka no call/cc or exceptions in the language. Possibly function colouring to say no call/cc or exceptions in anything branched to within the lifetime of a linear variable.

The obvious answer to a compiler dev is that call/return is sugar anyway - all the variables "live across a call site" are implicitly arguments to the branch, so they're available tn whatever continuation the callee invokes. The plumbing is all fine. Typechecking is abstract interpretation so that's all good too, one can totally build the thing.

The missing piece is how you get the programmer to describe what they intend to happen to the linear instance on any continuations which are not the one denoted by the code immediately lexically after the function call 'instruction'. Where the syntax in question is an exception, it means "branch to somewhere implicitly recorded in a side table", so for the linear type use to work out you need to somehow annotate what is supposed to happen to the thing in that case. I don't know of a good notation for that.

(functions taking sum types are prone to being implemented as a branch on which field as active so you're definitely right that success+failure continuations can be transformed into one taking a sum - it's a reversible transform - but I don't think it helps the notation challenge).
>and zero military hardware committed there..

Where'd those Bradleys come from, then? Zero troops yes, but the US has absolutely shipped a ton of military hardware to Ukraine.

Ukraine would absolutely fold without the inflow of NATO military hardware, that's the crux of Russia's strategy for winning - hope it can undermine Western support for a Ukraine war, and then crush Ukraine once they're on their own. That's the entire reason why Russia blocked gas exports to Europe - they lost a lot of gas profits forcing the EU to choose between supporting Ukraine or having Russian gas for the winter.

The US itself isn't fighting in the war, but they're undeniably a key participant in it. With military hardware and training and intel support and money.
Even with limitations, pretty interesting - anything like this list for other countries?
The Most Common Rust Compiler Errors as Encountered in RustRover: Part 2
Oh, see what you mean now.

> My side hustles have been online affiliate marketing and web development. Currently, this website is on page 1 of search engines for it’s keyword.

I still think the main issue is that the Godot team didn't buy the domain, if they did none of this would have happened.

With that said, the site looks kind of like a language's official site, so it can be quite confusing for people wanting to learn GDScript, who aren't familiar with the official docs.
Thanks for the link but surely you are not implying this is what the general public over there is being fed
Name and birthday isn't enough entropy to resist even a naive brute force attack.

Why didn't they encrypt it with a random key and then put a QR code of the key on the inside of the passport? Or just use a magnetic stripe or similar instead of something that can be remotely accessed by an attacker?
The difference is that persistent data structures allow you to traverse the history of the data structure to find past versions.

That capabilities is not a required property of persisten datastructures.
The copy on write and collect the unique parts when a root is freed semantic that you describe is exactly the common behaviour of persistent data-structures in the wild.

Libraries like Rusts "im", even do some nifty optimisations where they combine the borrow checker with reference counting to only perform copy on write when the reference you have is non-unique.

So based on your description you build a path-copying persistent data-structure.

I'd recommend this book if you want to compare your work with the state of the art:
https://books.google.de/books/about/Purely_Functional_Data_S...
> ”Time to phase out that last coal generator!”

Ratcliffe-on-Soar, the last coal fired power plant in the UK, is scheduled to close in September.

They probably won't close earlier as they will be under capacity market contracts until then, and will have a supply of coal that needs to be disposed of (ie: burned/used).
> 1. America was built on people willing to leave everything behind for all sorts of reasons. America is great because of it.

America is great because it was founded by rule following British people with a long tradition of self governance. What’s come after that is debatable. It’s certainly made America rich, I’ll give you that.

> 2. American immigrants feel a very high amount of affinity with the US and the opportunities afford to them by the country, regardless of how much affinity they feel towards their neighbours.

Yes, but what is the “US” they feel affinity for? I think the “US” they have affinity for us a very shallow concept. It’s not like say the French or Chinese that have a thousand years of shared history they identify with. My whole family is immigrants. My parents just got back from visiting family in Canada and Australia and were complaining about how much better America is. But what is America to them? They don’t care about Appalachians, or the constitution, etc. They like that you can make a lot of money and live in much bigger houses than in Australia or Canada.

> I think the main problem is that native born Americans feel a fairly low amount affinity towards each other - and that has little to do with immigration.

I think the two things are directly correlated. The vast majority of people don’t want to leave their home countries. That means the ones that immigrate tend to be the ones that have weaker social ties. And I strongly suspect that persists for at least a couple of generations within family cultures—if only because it takes longer than that to really develop deep and broad family networks in the country. But most Americans are just a couple of generations away from those initial immigrants. (None of Donald Trump’s grandparents were born in America.)

> 3. I think having a low immigration, stagnant tech and finance sectors is probably beneficial to the median person who is already in the US and doesn't really wanna work that hard and compete with immigrants. I agree with you there. If you go to Australia the ones who are getting the highest grades, becoming doctors and lawyers, buying expensive properties are all immigrants (usually East Asian / South Asian).

I agree. So I think where we differ is on whether that’s a good thing or not. A bunch of my family is exactly that kind of immigrant to Australia. They’re doing well individually. But does that make the country better for the median Australian that’s already there?
The cable was laid, then needed a post lay burial with an (optional) depressor.

Inuendo by AssO (not a nsfw actor name). Who said trenchers don't have a sense of humour?
This is a report from Dec 21, not a new statement.
I just stuck it on a public server, behind a Basic Auth login. It’s not fancy but gets the job done in the easiest way for my family.
Have taken two of his courses (Compiler and SICP) and highly recommend them. The only thing that is stopping me from taking more is I live at the other end of the world and have to stay awake the whole night for 5 days.
I'd use Nanoc for this kind of thing.

It's more of a SSG kit and it's dead easy to write a rule + filter that, for example, takes every markdown doc in a directory and builds a pdf with Pandoc.

https://www.nanoc.app
For what it's worth, I liked Blackadder season one, it's a different character but it's still great, and in some ways I find it much more original, if less funny.
If its stupid and it works, its still stupid and you're lucky.

Maxim 43

https://schlockmercenary.fandom.com/wiki/The_Seventy_Maxims_...
Fascinating as in should have been added to .gitignore?
i have a browser extension so i guess i could do that but not sure
I don't know the full depth of the trade space of stackup parameters. I go with what the fabs provide. While trying to do some 200 V routing recently I found out something interesting. Higher weight copper layers have thicker prepreg. This is interesting to me because the rule of thumb for 200 V clearance is "0.4 mm in outer layers and 0.2 mm in inner layers". Most prepreg is 0.1 mm, but going to 2 oz copper means 0.22 mm prepreg. This lets me route 200 V without having to worry about arcing through prepreg, specifying a more expensive board material, or going to more layers.
Scanning one package is one thing, but distributing what are essentially entire disk images for a functioning OS plus whatever software you’re after just never seemed appealing to me. It’s doubly laughable when it’s Java or something else with its own VM, because for some reason we never have enough abstractions.

I did like the idea of running an OS that is a purpose-built container host, and containers that are stripped as bare as possible, until I thought about it more and realized that that’s supposed to be what a normal OS does with normal software. Zones and jails and cgroups and LX(C|D) were good ideas that we needn’t have reinvented on top.
What do you mean by network build?
You can basically guess the language based on the script in which it's displayed. It would be better if the language choices were displayed as a translation to your native language. So instead of 日本語 it should just say "Japanese"
MAROONED IN REALTIME, A FIRE UPON THE DEEP and A DEEPNESS IN THE SKY are excellent. I could re-read them. THE PEACE WAR and RAINBOWS END are just average and I would only read them once. CHILDREN OF THE SKY is awful and I wish I hadn't bothered reading it at all.
That's a fascinating idea. I like the idea of "custom user script extensions" that folks can plug in, author and share.

If you're passionate enough you could contribute a write-up, some code sketch or even a full PR of how this works. I'm sure you're probably too busy for that, or just not interested, and that's OK. I really appreciate the contribution you've already made with this idea.

I think allowing folks to filter, or sanitize (for whatever purpose really, sanity, focus, etc), sounds very useful.

Thanks! :)
Yes I've read Snow Crash, Diamond Age, Cryptonomicon, Fall; or, Dodge in Hell, Termination Shock and I'm currently reading Reamde
Why Can't All Prices Just Work Like TVs? [video]
Sorry for dumb question, but can someone please explain to a non-programmer, why the author made the title "The Curse of the Excluded Middle"? What is so special about "middle"? What is middle in programming?

I am a fairly dumb person, but I am lately super interested in 1=0 math paradox/proof and it just occurred to me, what is the middle of rational numbers? What is the middle of irrational numbers? To me, it feels like the middle of all numbers is 0, but if irrational numbers are not considered "real", it can't be 0.

These 2 things are probably wildly unrelated, but I would appreciate any explanation of the linked blog post in the simplest terms. Thank you!
> I can't imagine how jarring the transition between _The Magician's Nephew_ and _The Lion, the Witch, and the Wardrobe_

> Nephew feels more like Lewis' earlier science fiction novels, while Wardrobe has a fairy-tale quality

Will vouch for this. I started Narnia in my early teens. I knew Wardrobe to be a classic but the edition the bookstore carried had Nephew labeled as the first book. Honestly? I felt kinda short-changed at what I got. Nephew set-up this expectation of being a myth-heavy story, something in between Harry Potter and LOTR/Earthsea in terms of world-building. Jackson's LOTR was at peak popularity at the time too so I really lapped Nephew up.

Honestly though, I loved every book in the series. I can understand why people might have issues with Caspian---maybe the weakest book in the whole Chronicle IMO---and looking back now the Christian imagery might be heavy-handed at times. But as children's/early teens' fantasy series, the stories and the world are entertaining. Which, as a teenager, was all I really needed of the books. Maybe Lewis' only fault is that he peaked too early with Wardrobe, setting up expectations for the rest of the series.
Creating an OpenBSD WireGuard VPN Gateway
>You forgot that US took every German and Japanese engineer as prisoner.

Do you mean took them prisoner for a few days to sort out paperwork, or do you mean took them prisoner and kept them?

The latter is provably nonsense as indicated by e.g. Heckler and Koch, a German engineering company (and later gun company) formed by three former Mauser engineers. Mauser, the gun company.
The comments in this thread are missing the point of the tweet.

The point is that "moral" rights conveyed by certain copyright legislation may pose a threat to "AI" companies. These rights are separate from the "economic" rights that commenters are focused on. They are not for sale.

In some countries, creaters of copyrighted works retain moral rights even when the copyright, i.e., the bundle of economic rights, is owned by someone else. The moral rights are not a means of commercially exploiting works ("monetisation"). They are a means of protecting proper attribution, integrity and maybe even privacy.

https://www.jtl.columbia.edu/bulletin-blog/ai-created-art-an...
The idea that it's haram (I can't quite think of the right word; not merely wrong but disgusting) for someone to make themselves up as a different skin tone is a distinctly American cultural quirk.
This is likely here now due to https://news.ycombinator.com/item?id=38797640 being on top of the fp and referencing it.
Try to format dates in a generic way with XSL.

It's doable. It's also a massive pain.

The big problem was that the easy way out is that your XML ends up being changed to be "XSL-friendly", which means a ton of concessions that effectively encodes knowledge of the expected presentation no matter how much you want to keep it largely semantic.

Small presentation changes far too often result in changes to the XML to accommodate weaknesses in XSL.

I still like the idea. But not the use of XSL to achieve it. Unfortunately, we don't have any great alternatives that aren't horrible in all kinds of different ways.
1 of 3

https://youtu.be/l0gZAlZgI34
For parts of the game's logic where pure performance is paramount you can even drop down and write a gdextension in C++ or Rust (or a couple other languages that people maintain bindings for, or write new bindings for another language that can compile to a dylib/so/dll)
I don't know why people dislike THE LAST BATTLE. Too Christian I guess.
I've written a locally running app that is a lightweight version of this. You can download all your emails, it loads it into sqlite, and you can browse and sort by aggregate email counts (how many emails each sender sent). Once you select a sender, you can archive all of the emails it sent you.

I'd have loved to have made it a full fleshed app like this. Kudos!
Books We Read in 2023 to Prepare Us for the Future
https://archive.ph/ZX9Zw
Would have never guessed mobile percentage is this high.
>The resulting webstuff was 50MB without audio.

That sounds about right for a full engine build before compression. When optimizing for size with Godot you rip out the parts of the engine you don't need. From what I remember some of these are not that hard to remove like 3D support. It still will be more than what it would take just doing it from javascript so you would want to make sure Godot is actually bringing value to the project.
I don't know why publishers keep insisting on chronological ordering of fantasy/SF book sets. Don't they understand literature? A lot of novels are not chronologically ordered, even within one book.

Would you introduce someone to Tolkien and tell them to start with The Silmarillion? Absolutely not.

Fortunately, film and TV producers seem to know what works better. IIRC I've watched at least two Narnia movie franchises, and both started with The Lion, the Witch, and the Wardrobe and proceeded in publication order. They usually don't go beyond The Silver Chair, though. Which was probably the right decision, because the remaining three books feel more like Hollywood milking the franchise with contrived prequels, sequels, and spinoffs than a proper part of the same canon.
A very nice and funny demonstration of the Moniac.
https://youtu.be/gkNaZJmii28?si=7SHd3R3xBFxc86HS
If by Russia you mean the US with the (even more embarrassing) aid of the Swedes you are spott on.
I think the main point was justifying getting new M3s
Ah indeed I mixed up the two.
Nope that should be fine. Most eurorack modules run on ±12V rails, but the convention for output signals in the maximum ±10V range (with trigger signals at 10V).
even his example make no sense... if you lose your biometrics/phone, guess what... the new ones should be an exact copy even if you dont provide a file, otherwise it is completely flawed.

If they are able to recover your private keys, you know that E2EE is not being used... or it has a back door (we learnt that a backdoor was usually their solution of choice with Snowden).
What dictionary are you citing? My dictionary says: arousing or intended to arouse angry or violent feelings.

But you didn't answer my question, so I'll pass on answering yours (especially because it misstates what I said). Good day, strange stranger!
A lot of these pages look movie related, so it’s likely people looking stuff up on their phones after watching something.
MVGROUP

Episode 1: How to Build an Intelligent Machine magnet:?xt=urn:btih:106dadf848d00ec577b1bb523b17003606f730a1

Episode 2: My AI Life magnet:?xt=urn:btih:5a7013ef89de3b7d035c33358c64a80e06e068af

Episode 3: The Future of AI: Dream or a Nightmare? magnet:?xt=urn:btih:e3b66526ec3013fae6966894404f2de04a566dfc
Anyone have any idea why this one is at the top today with almost double the 2nd entry? https://en.wikipedia.org/wiki/Murder_of_Dee_Dee_Blanchard

EDIT: Ah, her daughter was released from prison today.
https://www.bbc.com/news/world-us-canada-67833339
We have been excited to dig into the Iceberg era of more managed parquet storage... But they are still years behind on supporting fast GPU IO (GPUDirect/cuFile). So every time we look at bringing them to a customer for powering AI workloads... We hit that wall.

It seems inevitable, more of a when vs if. Being able to have our cake & eat it too will be very cool :)
Google settles $5B privacy lawsuit over tracking people using 'incognito mode'
Adding to the other positives listed here another one is low latency. If you absolutely need to do it fast, analog computers are hard to beat.
Fascinating how many pages in the top 20 of today of topics I have never heard of. Seems like a great way to see what is being talked about in the culture, without depending on the news?
Important Update on GGPoker Security
But any place can get bitten by one of those gotchas. In the example, maybe they are a perfectly safe cook by instincts without formal certification. Then nothing would ever be detected, or it would be on par with those who did pass.
Backstory:

GGPoker is currently the biggest online poker network.
In January, someone wrote an article in CardPlayer Lifestyle[0] about how their client is quite badly programmed (with Adobe Air) and sends data as clear text with real name information that shouldn't be shared with everyone. It seems GGPoker didn't really take it that seriously, but at least enabled SSL for their connections.

Lately a bunch of players noticed player named "MoneyTaker69" was playing with extremely loose strategy (which usually would be losing big time), but winning at insane 90 big blinds / 100 hands rate (good players might win from few to maybe 10+ big blinds per 100 hands on average). Lots of hands played were really suspect, and definitely anyone playing hands like that should never be getting so lucky that they'd win during thousands of hands. Also the most winning leaderboard is full of people who won at really, really good rate for ~15 000 hands, and then just disappeared - which would be strange to do for any gambler or even a profitable poker player in a great winning streak.

So this leads to this statement by GGPoker. I linked the archive link as currently the real url is leading me to another page, so it might be removed. GGPoker has a feature that when players are all in, their winning probability gets shown, and apparently also some thumbs up / down button that depends on the odds. It seems like player(s) were running a modified client that could request that information at any time in the hand, even when the hands are not shown yet or the players all in. GGPoker also said they returned $29 000, while "MoneyTaker69" won $48 000 in a single tournament, even without counting any of their cash came winnings.

It isn't the first time this has happened - in 2007 Absolute Poker and UltimateBet were found to have "superusers" that knew cards of the other players[1], that time they were insiders in the companies. They were found out in the same way - crazy hands and massive winrates that didn't make any sense, and an absolutely wild call in a tournament that the superuser "POTRIPPER" went on to win.

I thought this might be interesting for HN - mostly for how the biggest Poker Network has handled their security.

[0] https://cardplayerlifestyle.com/ggnetwork-acknowledges-fixes...
[1] https://en.wikipedia.org/wiki/Cereus_Poker_Network#2005%E2%8...
Killer got out of jail.
You don't need a Spark deployment. The first reference implementations for reading and writing were in Spark.

Now, with PyIceberg, there is read support in Python. Write support should be merged very soon - https://github.com/apache/iceberg-python/pull/41
So, very soon, you will be able to read/write Iceberg tables in Python.
I look forward to doing data transformations in Polars for data of reasonable scale (up to 100GB or so) and writing to Iceberg tables with PyIceberg. No Spark.
Yup, I bought a brand new 32-bit Intel Atom tablet from Toshiba in 2014, gave it away but the person I gave it to is still using it. It has 32-bit UEFI, which is also loads of fun. I once installed Debian on it, but I couldn't get touchscreen to work, so went back to Windows 8.