skysight-inc/HackerNews huggingface dataset:
I'm currently building a couple of regexp engines:

One, that's a formalization[0] in Coq with big-step semantics, which uncommonly has the intersection operator, and includes several equivalence relations and a proof of the pumping lemma, excepting one case (more on that below).

As a learning exercise and for historical reasons, I've also mostly ported Rust Cox's re1 engine to Rust[1], which includes VM matchers in the style of Henry Spencer, Ken Thompson, and Rob Pike. I also plan to port Doug McIlroy's engine[2], which is interesting for having intersection and complement and special handling for sublanguages, all the way down to just concatenation matched with Knuth-Morris-Pratt. I also want to examine the Rust (thanks burntsushi!), RE2, and Plan 9 engines in more depth.

Once I have time to get back to the project, I want to get back to my regular expression crossword puzzle solver. For that, I'm converting the hint regexps to DFAs, that match strings of some fixed length, and concatenating and intersecting them, until a single regexp is yielded, which should be a string literal, if the puzzle has a single solution. For backreferences, it's more tricky, but I plan on rewriting backreferences to the captured expression, where the lengths of both match, then either executing it with a stack like a pushdown automata or constructing a set of constraints on the characters by index.

As an aside: In my proof of the pumping lemma[3], I got stuck on the case for intersection and I'd love insight. Regular languages are closed under intersection, so the pumping lemma should hold for my implementation. I need to prove that if s =~ re1 and s =~ re2 can be pumped, then so can s =~ And re1 re2. s is is split into different substrings for re1 and re2, s = s11 ++ s12 ++ s13 = s21 ++ s22 ++ s23, then repeated an arbitrary number of times, (forall n, s11 ++ repeat s12 n ++ s13 =~ re1) and (forall n, s21 ++ repeat s22 n ++ s23 =~ re2). My intuition is that s11 = s21, s12 = s22, and s13 = s23, because they both match for the intersection, but I'm not convinced of that and haven't been able to formulate a proof for that.

0: https://github.com/thaliaarchi/recross-coq

1: https://github.com/thaliaarchi/re1-rust

2: https://github.com/arnoldrobbins/mcilroy-regex

3: https://github.com/thaliaarchi/recross-coq/blob/main/theorie...
The argument of OP is that you should first construct your input such that it adheres to a very specific type that contains all the information that you require, e.g. nonEmpty, and then allow that to go through the rest of your code.

Am I mistaken?

My mistake in the above snippets is precisely that TypeScript can not make the type more specific, i.e. Number to Prime, because `type Prime=number` is only creating an alias. I am not creating a type that is a more specific version of number but an alias.

Had I actually created a proper type, the parsing would have been correct. The parsing component is happening in the outer function because at some point I need to make the generic input more specific, and then allow it to flow through the rest of the program. Am I mistaken?
It's a great game, too!
Maybe Apple wants it this way to ensure their machines are handled gingerly and reduce warranty claims
Android: long press power, tap lockdown. Your entire point is now just inaccurate. I do this when going through security checkpoints, if I were to get pulled over, and Android auto trihgers it under abnormal conditions upon which I have a decently long device-specific password.
My experience, down to the moment, is that IRC may be "superior" to other services because it never tries to extend past its small set of core competencies. Which means it appeals exclusively to people who are fine with that small set, and every extension past that is lambasted and doomed to obscurity because there's no interest on the whole to push the entire realm as a whole into the late 20th century, much less the 21st.

My response was tepid because I don't like telling someone stuck in a little tiny fishbowl going "the fishbowl is perfectly adequate" and dissuading them that the fishbowl is not adequate. Not that Discord is "the ocean" but it's a cruise ship and it's expensive, and a very nice ride comparatively.

My weblog entry describes a situation beyond Discord, and that of knowledge, and is at best a framing of the problem in a static area, because I believe this is the year Twitter closes down, closes up, or dies.
The guy you replied to didn't advocate to leave people to their own devices but to have a retirement system that is a healthy mix of different sources of revenue / investments rather than 100% from the state.
Yep. Here's the saga:

https://twitter.com/iamharaldur/status/1632843191773716481

https://twitter.com/iamharaldur/status/1632947160416149504

https://twitter.com/iamharaldur/status/1633082707835080705
> Transceivers are still expensive though...

10Gtek sells 10gbit multi-mode SFP+ transceivers for ~10->15 USD per, depending on how many you buy at once. I have ten on my LAN and have had no troubles with them. (Now we "just" need to do something about how absurdly expensive 10gbit NICs are...)

(And no, I had never heard of them before I bought a few. I figured that multi-mode SFP+ transceivers have been around for more than a decade, so there's no reason for them to be 50->80+ USD per... purchased from several of the cheapest manufacturers selling on Newegg, and found that 10Gtek's stuff worked fine.)
How is this "unfair" when the opportunity applies to everyone?
The prices would go down if Venezuela had sufficient domestic car production. As it stands, they made 8(yes, 8) trucks and zero cars a few years ago.
I'm referring to the "TV" app, which aggregates content from all of your streaming services, or, at least the ones that participate in Apple's aggregation program like Apple TV+, Hulu, HBO. The article refers to this cross-vendor aggregation as "TV Guide".
An end to typographic widows on the web
Fascism: the oligarchy get its power from small to medium business-owners, lawyers and big landowner (petite bourgeoisie) (and the police/army). Franquism is basically the same. It's an evolution of Feudalism, with more Nationalism to replace the 'God's will' part.

For Nazis the oligarchy gets its power from bigger businesses (and still, the army and police, like all authoritarians). This is a very managerial system that promotes internal competition (Chapoutot wrote a book extremely interesting about it, especially when you lived through poorly implemented agile/scrum). It's basically the cousin of Fascim, one of their parents being Bonapartism.

I suppose communism/socialism/stalinism (depending on your definition) the oligarchy gets its power from the bureaucracy once they capture it from the proletariat. Again, a cousin of the two previous system, with the same parent (according to Trotsky, Kronstad's butcher)

For platformism (the most authoritative version of anarchism), it never got to the point of having that much authority, but it could have gone towards Bonapartism too. With a much weaker power base consisting of only the army and basic nationalism, so if you don't have Napoleon or Nestor Makhno, it probably won't work (and Makhno was too anti-nationalist to build his power on that, so I guess it wouldn't work).

'Oligarchic' and 'monarchic' aren't political ideologies btw. They're political systems.
Conspiracy theories have a new best friend
Can this be set up to yield data from individual functions instead of simply returning it?
Not many 13-17 year olds with enough foresight to think about stuff like that.
Another post on the Twitter thread about this issue was also flagged [0] despite having over 300 points.

The charitable view is that the flaggers are tired of reading more examples of Twitter's now well-known mismanagement (at this point, really, nobody should be surprised).

HN is exclusively my source for tech news, and this flagging almost caused me to miss the story entirely. I don't necessarily want to see a million threads about Elon's incompetence either, but this feels newsworthy to me and it seems like it should rise above the general "Elon does something dumb" background noise.

[0] https://news.ycombinator.com/item?id=35055839
This sounds similar to the nonsense that packets from China mean Chinese attackers.. Every country is capable of recruiting people who speak Russian and/or Ukrainian, and many wanted no way back.

If these people are government independent in origin, it still wouldn't surprise me if it later comes out that multiple governments had infiltrators to the group that were the only ones pushing hard enough to make it happen.. I think the FBI realized that some "militant" student groups were almost entirely passive aside from FBI and police sponsored infiltrators.
To all the HNers here commenting on having used this - are you entering your API keys into this app website directly?
YouTube is killing one of its most annoying features in April
It reminds me that time when we were made to stay locked at home and some people where elated because "Nature was taking over and Earth was healing it self..". Some even mentioned the "Overpopulation problem" while bodies were pilling up in some countries/cities.

This one is not as tone deaf but it reads as light as a kid wanting to play video games all day and only eat candy..
I don't like this line of thought because people and nations are not perfectly logical. People and nations sabotage and act against their own best interests all the time for dick measuring reasons. It still comes down to fallible humans making the decisions.
Sorry for the fox news link (the WaPo source is paywalled) but there's a lawsuit being filed against airbnb and renters because someone's baby died of a fentanyl overdose after being laid down for a nap in a rental:

https://www.foxnews.com/media/baby-dies-florida-airbnb-fenta...

It's not bullshit when it is really happening. Lots of people on the internet want to pretend it's not real, but there's actual video footage of it:

https://www.wfla.com/news/florida/video-florida-cop-treated-...

Does that mean you're likely to die of exposure to fentanyl tomorrow? Almost certainly not (unless you're doing drugs cut with it, like a friend of mine did). Does that mean we should sit back and let it happen? No, not at all.
Like what? Fight the government on the Chinese TikTok or the American Instagram?

You know what it is really unbelievable right now, in this era?

People renouncing to convenience and attentions in exchange for their independence.

In my country so called anarchists are posting pictures of the revolts in the streets where you can literally see their faces on Facebook and Instagram.

Call me an old fart, but no pictures, no names was rule #1 when I went to protests in my teen age.
I also first knew this as repton. Massive nostalgia from even playing this.
I think history teaches us the opposite. Oppressive regimes (of whatever sort) can only persist with the consent of the populace. "Consent" here doesn't mean overt agreement or being happy with the situation. It means the populace is doing nothing to change things.

Find the amount of oppression that people are willing to put up with, and you've found the amount of oppression they are subjected to.
i really don't understand why people don't like facebook. they're no worse than apple or your ISP (now they're truely evil).

dissinfo? just unusubscribe or don't follow that account? do you really want facebook censoring everything you can see or don't see based on political correctness? or some other filter?

and how is it "selling user data". I've always found this to be wholly inaccurate. it's targetted advertisement. do you really prefer untargetted advertising?

I'm no facebook fanboy. personally i don't use it much. i've read articles on the matter but they never make any sense. Is there an article somewhere that explains all the vitriol towards facebook, because i really don't get it.
It's not a hard clear deadline. It's just a talking point which allows politicians to pretend like they're dealing with the issue. Everyone who is actually working on these issues knows that the deadlines will be pushed back and multiple exceptions granted. This breeds cynicism towards the entire process.

We are not being led by serious people.
So I pay my gas twice as much as 5 years ago, the dude selling the gas gets twice as much money, but nothing changed ?

ok

http://cdn.statcdn.com/Infographic/images/normal/27887.jpeg
I am learning full stack and no code development. Hated the fact that all my work was at the infrastructure layer and not the actual development.

I am also shipping my ideas for the first time ever. Super excited about it.
As a side note, I like to listen to RFI or France Culture in the morning in my time zone since there are a couple of good science shows at that time (Autour de la question, La Science CQFD). Lately, though those radio stations have just been playing music as those shows are canceled during nationwide strikes in France. :-(
Exactly this. One of the reasons Maya remains favored in studio environments is its strong API stability guarantees. Python is excellent for automation when performance is less of a concern.
This simply isn't true. Look at the absurdity of all the cookie banners just to support basic login functionality. I'm all for internet privacy, but these laws are so sweeping that it's impossible to be compliant without a dedicated function for it.
I vividly recall Carmack describing some of the lengths they had to go to to get VR respond to body movements. IIRC it was crucial to get the scene to move around exactly when your head moves around, or else your body would think you’re poisoned/dying or something. The PC would be polling head position and rendering at like 90fps and even that was too much latency so they had this insane hack where the rendered frame was sent down the wire to the headset, and the headset itself had some onboard processor that would skew and shift the frame according to the last data from the accelerometer literally right before putting the frame on screen.

https://developer.oculus.com/documentation/native/android/mo...
I think you missed the joke, the first line says it was a bad idea in hindsight, the second line says it was also a pretty bad idea in foresight.
Not only are these not assumptions, they're trivially proven with even the briefest of research on the subject. Capital hoarding: go look at GDP graphed against wages over the last 60 years. Wages don't go up, so all that extra productivity is going in -someone's- pocket. Capital hoarding is destroying modern society: global news media is largely controlled by 7 organizations, the international housing market has been invaded by investment funds, healthcare outcomes in the US continue to lag behind most industrialized nations worldwide despite record profits, the list goes on. It has never been harder to get a leg up (at least in the US) at any point in the last 50 years, and the percentage of US households that are living paycheck to paycheck keeps increasing year over year. Not sure what you're stanning over there but that is definitely an impressive set of blinders you've got on.
Move adjacent to do Security work. That is, all companies need security help, and they know it and will pay for it. You help them.

Often Developers see security as a distraction from building features, so working with companies to ensure they have strong security is a good career.

I worked with a bank building a "secure cloud" on top of a public cloud. That is, our team got a long list of requirements, like "storage buckets encrypted at rest", we'd watch public cloud changes, then alert or fix the issue. The bank got to use the public cloud, but also had a much finer-grained control of a lot of security concerns.
> Maybe it was a mistake

I suspect many mistakes have been made. This isn't even anywhere near the Top Ten.
I am not surprised. Hire carefully with specific requirements in mind, stay hyper-focused on your product(s), and eschew corporate trends towards bloat, fomo, and "feel good" initiatives.
No idea if this was illegal but it definitely changed my opinion of Musk. With many of the other things he did at Twitter, you could say that they were not nice but they had a business purpose. This is not that, it just seems to be cruel for no reason. The guy just wanted to know whether or not he was fired. Didn’t even dispute whether or not it was warranted.

This is so far below the bare minimum of reasonable business behavior I think it will cause big problems for Elon hiring or acquiring companies.
It's a rough time. I survived prior rough times so I kind of recognize this.

It may take several months instead of weeks to get rehired. It might take extra effort now.

Sorry You feel bad. I think that's just the truth of a down market, it feels bad. You're right to feel Like this is a bad situation.

And You were a software engineer before so you can do it. You can do it again.
Pretty much every single one of these threads is about half full of people demanding more, larger foot-guns with which to shoot themselves because they just can't be bothered (just assure you'll hear when they're eventually locked out, etc).
Elon Musk Wants to Relive His Startup Days. He’s Repeating the Same Mistakes
I worked on the UIUC PLATO system in the 1970s : CDC-6600, 7600 cpus with 60-bit words. Back then everything used magnetic core memory and that memory was unbelievably expensive! Sewn together by women in southeast Asia, maybe $1 per word!

Having 6-bit bytes on a CDC was a terrific PITA! The byte size was a tradeoffs between saving MONEY (RAM) and the hassle of shift codes (070) used to get uppercase letters and rare symbols! Once semiconductor memory began to be available (2M words of 'ECS' - "extended core storage" - actually semiconductor memory - was added to our 1M byte memory in ~1978) computer architects could afford to burn the extra 2 bits in every word to make programming easier...

At about the same time microprocessors like the 8008 were starting to take off (1975). If the basic instruction could not support a 0-100 value it would be virtually useless! There was only 1 microprocessor that DID NOT use the 8-bit byte and that was the 12-bit intersil 6100 which copied the pdp-8 instruction set!

Also the invention of double precision floating point made 32-bit floating point okay. From the 40s till the 70s the most critical decision in computer architecture was the size of the floating point word: 36, 48, 52, 60 bits ... But 32 is clearly inadequate. But the idea that you could have a second larger floating point fpu that handled 32 AND 64-bit words made 32-bit floating point acceptable..

Also in the early 1970s text processing took off, partly from the invention of ASCII (1963), partly from 8-bit microprocessors, partly from a little known OS whose fundamental idea was that characters should be the only unit of I/O (Unix -father of Linux).

So why do we have 8-bit bytes? Thank you, Gordon Moore!
Can you please prevent it from zooming on input on iOS devices?
To be more precise, my point was more that this website shows how it is implemented in general. There is still something to be gained by showing that you can do array.flat() instead of just copy pasting from Lodash.
Newer standards are slower since the <headers> keep getting bigger. Modules may help, not sure.
That:

>semi-valid piece of white paper with maybe some intestation

is more like a fake prescription, and doesn't sound like:

>A4 blank piece of paper and 'be your own doctor' by writing in what you need by hand and signing it off still as 'your own doctor' with a fantasy name and a cool autograph

It may depend on the specific medicine you needed/wanted, and of course there may be more or less strict pharmacists, but you won't normally get any non-OTC medicines without a proper prescription in Italy.
That's not the issue. I don't want to see personal data sold either. It's all the little rules. There are hundreds of pages just in GDPR. You need a banner and explicit opt-in just to support login/logout functionality.
If there’s true political will one can do it, especially if you’re a country as big as France.

Let’s say Arnault, the wealthiest French guy, decides to decamp for Switzerland were the French to introduce a wealth tax, then one of the most obvious solutions would be to nationalize his assets with pennies on the dollar, introduce an “emergency societal clause” in the mix to make it more “legal”, and I can assure you that the rest of French billionaires will be happy to pay an effective tax rate of 50% (let’s say) as long as the State will still allow them to keep a nominal hold on things.

And before anyone comes in and says “nationalization is a thing that only dictators do”, the modern history of France is full of examples to the contrary. As recently as 1981 Mitterrand won the presidency by promising just that, i.e. nationalizations.
What if they tried using Substack?
most income for the state is from income tax, trust fund kids and oligarchs dont have high income tax[0] , and the wealth tax can be easily lowered by tax planning

[0]https://www.oecd.org/tax/revenue-statistics-france.pdf
HN needs a new tab for titles that end in written in Rust
"it just predicts the next word"
You say that, but I'd bet that if he started tweeting responsibly and acting respectful his followers would quickly lose interest.
This is the pathological blaming of foreign influence on the failure of an ideology to deliver on its promises. It would have worked, if only. First of all, you do not know that. Secondly, it did in fact not work. Your solution did not take into account whatever factor made it fail, so it failed.
I feel exactly the same. Maybe it's just a stage in one's life?
Growing pains are never fun. It doesn't mention (at least that I read) if they're using HashiCorp Open Source or Enterprise. Open Source is great and I owe my career to it but they might be hitting the scale when the Enterprise features and support start to be worth the price.

I've only used Fly.io for a personal app but I think it's a great option so I hope they keep growing.
In case you or anyone else needs to disable the MacBook screen and still use the mic, camera, keyboard, trackpad etc. I added a feature called BlackOut in my Lunar app that can do that (https://lunar.fyi/#blackout).

This allows "clamshell mode" without closing the lid. (although some people might want to close the lid for desk aesthetics, this feature is not for them)

On Apple Silicon with macOS Ventura the feature can really disconnect the screen by Command-clicking the power button: https://shots.panaitiu.com/x52NJxpR

There's also a write-up on how I reverse engineered this feature: https://alinpanaitiu.com/blog/turn-off-macbook-display-clams...

On older systems, BlackOut mimics a disconnect by setting the screen to 0 brightness and mirroring it to avoid windows getting trapped there.
> Imagine what could be built if everyone used domains as handles / identities.

I imagine Namecheap and GoDaddy getting involved before long.

> Social networks could go hands off for moderation and allow plugable moderation engines that rely on domains for identity, trust, reputation, etc..

How is this materially different from Facebook handing off moderation tasks to Accenture?
That’s what my Bosch does. It also doesn’t beep.
> You need to enable JavaScript to run this app.

What app? Is this an app? If it is, why didn’t you name it or tell me what I’m missing out on instead of using the default some framework spits out.

[temporarily enables JS for the site]

Oh, it’s just static informational content that should have good SEO and TUI-compatibilty but missed the mark. Don’t need Lodash? How about this page doesn’t need JavaScript! These code examples are the perfect semantic use case for the <details> + <summary> elements.

(And I love JavaScript, but for contexts that need it like applications)
EBCDIC 1963/64 (i.e. E-BCD-IC) was an extension of BCD to support characters.

[0] https://en.wikipedia.org/wiki/EBCDIC