skysight-inc/HackerNews huggingface dataset:
> Does it also prevent a forward fork, to two separate tails?

This is prevented by saying that the successor function is a function. If a = b, then S(a) necessarily equals S(b). (The other half of axiom 7, the statement that when S(a) = S(b) then a = b, is the definition of an injective function. It's what prevents us from saying that the successor to 9 is 3.)

There is a fun image of dominos on the wikipedia page for the Peano axioms that explains how the structure of the natural numbers is constrained by the axioms.

A backwards loop from a number in the chain of succession from zero to an earlier number in the same chain can't happen because the successor function is injective.

A backwards fork (two chains meeting) can't happen for the same reason.

A forwards fork would be invisible to us as long as our only available tool is the successor function, which will always choose the same branch of the fork. This essentially means that forwards forks don't exist. There could be a larger structure in which it is true that e.g. the "9" node has one outgoing edge pointing to "10" and another one pointing to "green", but only one of those edges can be the edge picked out by the successor function, so our structure would only include one of the "10" or "green" nodes.

A loop parallel to the chain of succession from zero [imagine the normal chain "0, 1, 2, ..." alongside the three special elements 甲 乙 丙 arranged in a three-element circle] is ruled out by axiom 9, which says that any set that contains the chain of succession from zero contains all the natural numbers.

thinking out loud...

we are free to define a predecessor function by saying it is the inverse of the successor function. That definition would immediately prove the pred_succ theorem, as long as the successor function is invertible. Half the definition of being invertible is being injective, so this doesn't let us prove succ_inj in a non-circular way.

I don't know how else we would attempt to define the predecessor function, given the algebraic structure we're working with where all values take the form "0" or "succ n".
It's a weird vibe to see a defense product like this marketed like a consumer product
That's really weird to attribute it to North America. I find the norms are different pretty much everywhere I've been. East Coast, Midwest, West Coast, city vs suburb.

In some places the pedestrians ALWAYS have the right of way (cars going 40-50 mph will stop for pedestrian crossing). In other places, cars slowly force their way into a full crosswalk.

Yes, it's cultural. But it's different everywhere in the US.
Sadly the Fast & Furious franchise made the quarter-mile the definition of how a car is meant to be judged.
Fair enough, but in that case, why are you replying to me? Shouldn’t you instead be replying to the guy who used whataboutism and compared the deaths of tens of thousands of Bosniaks to the displacement of 150k Armenians?

My comment on the comparison was in response to their comparison.
This month in Servo: better floats,:has(), color-mix(), and more
But is there really no downside to "driving a truck" in US? Out here northern europe, if a car is classified as a truck, then you have lower speed limits, and possibly need to drive a separate truck-driving-license.
I don't get this "suggestive pictures cater to male" logic. The reality don't support it. It's almost like saying only men are humans or only men has certain functions so pictures of certain objects are for men only. It's just isn't how anything works.
Running it at home on a few 1L thin clients is pretty grand. Quiet, performant, and everything you learn scales to enterprise well.
> I’m pretty picky about my photos and nothing I’ve shot with my iPhone has ever approached “lies”.

That you know of.

There could be many lies in those photos, both subtle and blunt, which you didn't notice at the moment because you weren't primed to look for them, and which you won't notice now, because you no longer remember the details of the scenes/situations being photographed, days or months ago.

Are you sure I'm wrong? Are you sure that there are no hard lies in your photos? Would you be able to tell?
At low cost :D :D :D
In Qt QML using print can lead to different behavior very very quickly since their engine creates bindings on whatever it comes by so using two variables in a print statement can lead to different behavior than just using one. QML in general is just awful.
I live in China. You can't use it here easily. Even if you use a VPN you still need a non-Chinese phone number.
Though it may be that no lens will reproduce a perfectly straight line, the transformation which warps the line is a relatively simple and invertible mapping which preserves local as well as global features.

It might not be a conformal mapping but, say, if the image of a grid is projected through the lens, the projected image will have the same number of divisions and crossings, in the same relation to each other.

We cannot say this about an AI-powered transformation which changes a body posture.

> What counts as “photography” really?

Focusing light via a lens into an exposure plate, from which an image is sampled.
UAE planned to use COP28 climate talks to make oil deals
Duh, just put all Europe in UTC.
I was so hoping I could win the day with 0 ≹ -0. But alas, 0 == -0 and 0 === -0.
I guess all I can really say at the end of the day is that I get a weird 'feeling' from the Strong Towns movement, and I can't put my finger on why. Guess that isn't very helpful, is it.
One of the biggest benefits to tailwind is in it's simplicity. Code shared doesn't need a framework (like Bootstrap or one of those), and is just a static stylesheet. Components using other frameworks tend to need at least two stylesheets -- the base framework and then a customizations one applied separately. They also generally need to be compiled with scss or something so that you can customize the colors. In essence, Tailwind just needs a single stylesheet and no pipeline.

It also isn't just inline CSS, which has issues being bundled separately and dealing with media queries.

There are a number of benefits, but Tailwind's verbosity is it's biggest downside. Unfourtanetly, if you just want a single style sheet, the verbosity is just a tradeoff you have to make.
That would have to be a specialized genre tracker though, most of your suggestions would fall flat for metal, and even label would not always be helpful.

FWIW, the site does not work for my underground bands at all, out of 5 tries 3 didn’t show up at all (Remember Twilight, Der Rest, Jessica's Crime), and 1 (Scythia) has barely any related bands. Only "Die Streuner" got decent results. Some of the bands it’s missing even have wikipedia pages.
I dare say you might just enjoy Buddy Guy and Angelique Kidjo belting out Voodoo Chile: https://www.youtube.com/watch?v=EN_K84TAxNs
Because if you are trying to assess the safety of some process and there is a 0.5% chance that it will give you deadly results, its not good.

Moreover, if its not deterministic, how can you assess if its safe? Sure you can run many many iterations, but how do you know when its safe enough? LLMs encourage freeform entry, which means the testing space is fucking massive.

Does writing with a different syntactic style give different outcomes? Does spelling mistakes lead to increase morbidity? thats a test plan I don't want to have to run (unless you are paying me megabucks.)

Humans are not deterministic as you point out, which is why you need to control for as many unknowns as possible when testing in a health setting.
Looks like mg noticed us:

https://twitter.com/marekgibney/status/1730500804920955269
Turbo Pascal is what got me into programming. I remember spending hundreds of German marks on a license for Borland Pascal 7.0 and later Delphi 1.0 and 2.0. I ended up developing my first “commercial” software that I sold for money.

In the DOS era, Turbo Pascal was probably the easiest way to get into programming, outside of Basic. And on Windows 3.1/95, Delphi was eye-opening how easy GUI programming could be.

In many ways, I feel like we have gone backwards from there. How was it possible for the Turbo Pascal / Delphi compiler to produce a small binary for a fully-featured GUI program when today similarly powerful software is orders of magnitude larger in size?
Maybe you should re-read your own comment
> "When I have two voices proceed in parallel fifths, it's as though one voice ceased to have an independent character."

This is partly true, but that rule (as with many other rules of strict composition) originated with purely vocal music which had to be made easy to sing. There's plenty of music for instruments like the piano or the guitar (even literate music, starting from the early 20th c. or so) where consecutive fifths are played all the time and such a "blending" effect is not really heard. Probably a result of timbre (these instruments have a bit of perceptual "roughness" to them that helps prevent a blended tone) as well as musical context (when consecutive fifths are just part of the music, that kind of sound is expected and easier to understand for the listener).
I made a custom pc in May with a 4090 for playing around.
It's good and fast but for production workload or serious training you want more ram.
It was less than ~3k in components (~2k after considering removing vat and expending it / depreciating it in a limited company)

If you also want a Mac consider an m3 MacBook with maxed ram.
Maybe fix that? Make solar noon the middle of the day. Then clock can show any number.
The problem might be that all these things feed into each other.

The California DMV can intercept your tax refund if you haven't paid your registration.

Or if someone hasn't made a child support payment, the courts can ask the DMV to prevent registration of a vehicle.

I'm using this as an example of how the lines get blurred between different government functions.
I don't know about this model, but similar ones in Paris have a physical push-button on the bottom side. Looking at the photo I think maybe there is one in this model too? I don't know the design decision behind this, I heard people saying that it is to avoid abuse which frankly sounds ridiculous.

In the end, it is a like a secret button only the locals know about :)
>I do not agree with it because it underlines the dogma about how little craft quality means as long as someone finds it useful.

YMMV vastly based on industry (or in the lens of this post, the demands and requirements on the user end to satisfy). For media, it's fine; very few users are going to suffer over a few minor bugs or an unoptimal system. For aerospace, it's fatal thinking for obvious reasons (with sadly, many real world examples to point to). Both are valid career aspects and both provide value.

>it's simply too shallow a mindset for being a professional software engineer.

sounds like you fall under "the right thing", as the author calls it. A sadly dying aspect as elephants and late stage capitalism (again, as the author named them) run wild.

But I argue more that this is just fine for an engineer. You're thinking more like a professional computer scientist. scientists observe and model the nature around them. Engineers apply them, while taking into account the imperfections of nature and yes, humans. In my eyes, an engineer that can't adjust to the needs of the product (be it for biz, users, or someone that is not them) isn't an engineer, but a scientist. Or a craftman, as you deferred to ealier.

Again, not a slight nor compliment, just different roles with different philosophies.
The article explicitly brings this up under the heading "Combine colors with different lightness".

> Just convert your colors to black & white
I think it’s fair to throw the challenge flag on that. I think it’s also fair to say that public statements from TikTok and the CCP are not exactly credible sources.
Interesting though brief read. I'd earlier read how OCaml was their unfair advantage, but apparently it comes at a cost. I can see how thinking/working at a higher level makes it even harder to control runtime concerns. I wish it had gone into more detail on the GC issues. I can't tell if it's related to interfacing with code written in lower-level languages, or runtime native code generation, or something else.
Exactly, on the slow processors of the day, the Turbo Pascal compiler absolutely sprinted through the code.

A far cry from today’s complex build systems that take forever to compile a program which can do exactly the same thing.
Hey, thanks so much. Currently breathing doesn’t influence the sound, as it would also influence the detection of breathing which might set up a feedback loop if that makes sense. So we’d need to cancel out the generated audio - I’d really like to have that interaction though.

The medical device regulation process is long and quite difficult. I don’t think that’s necessarily a bad thing, but it is also an opaque process with expensive consultancies charging a lot for any guidance - this makes it very difficult for small companies without a lot of funding to even know where to start. I think just the prospect of having to go through registration does exclude quite a lot of innovative companies / products, which means patients are left with a limited selection of fairly mediocre products - the registration is very boring and difficult, but obviously necessary.
Maybe you will find the proof that the infinite series 0.9999... exactly equals 1 interesting:

https://en.wikipedia.org/wiki/0.999...
It opens Facebook and Instagram in a Facebook container by default. The container has no history.
> top_k

topkek
Interesting article but not realistic IMO. It's just that roads/streets capital investment is incredibly complicated and so much thought/systems/law has built up around their concept and creation. The entirety of the problem is literally just cars. Cars are the problem. We've created a society that needs them but we're butting up against our need to move fast but we forget we're human and stupid. I think either a new novel way to travel or self driving cars that actually work are the only answers that can solve this.
because of an auto generated article which nobody was ever going to read?
Segment Anything Model (Sam) Visualized
Hi everyone, We have created this visualization of the SAM model that allows you to see the architecture in a interactive manner, along with the code. We made this when trying to implement the SAM model for us to understand it better. Thought I’d share it and some ML folks might find it useful. Please let me know if it did or did not help you! How do you usually go about understanding the model architectures?

https://flowforward.simple.ink/
DhiWise React Builder – The Webflow Alternative for React Devs
I'm not necessarily against protecting your local food market, I think there are compelling reasons both for and against it. What I am against is politicians being dishonest about their motivations for imposing laws. If they want to protect your local farmers, they should say so. If the real reason is to protect local farmers, so amount of evidence regarding the safety will be convincing, because it was never about safety. This kind of behavior is detrimental to the public discourse.

I've never claimed there is a large demand, merely that those who wish to consume it should be allowed to, as long as there are no negative effects to the individual or society as a whole of course.

Please refrain from misconstruing my arguments.
I'd say you've been screwed for a while already.
3,800-Km Cable Offers Glimpse of a Global Power Grid
> If someone comes up with a new machine, why publish it if it's legal for every factory and large company to start producing them without compensating the inventor?

Sure, this is the goal of the patent system. You'll note that patents are intended for inventions, for ideas of practical value. Artworks without practical value are explicitly not protected by the patent system, nor are ideas without the necessary design components.

How would extending this system to ideas of pure form, rather than function, benefit society?
Computational photography is just at it's first steps. Google photos on p8 allow to replace faces. I expect this feature will be implemented to be done automatically to show you the ideal photo. And I expect some parents will be happy with it - having an ideal photo with ideal face of their children
Maybe it’s a Black Friday deal.

At that price, even I would buy one!
This is technically very impressive, but...

It performs the same job as a sam or aa gun, at a much increased price I would bet. And why is there a need to return to base? Then it needs to be refueled. You can also see when launched it sheds some covering, so returning to base does not mean it is operational again, it needs to be reset.

And that is in general the problem with US armament systems these days. Very impressive but way too expensive.
Public transit suffers from coinciding schedules: when all people rush at the same hour same minute, they create rush hour.
Red flag for sure
Thank you. I don't know if it's for me, but doesn't look that boring.
Oh sure, but if the reason the employees were poached was because the non-technical founder refused to pay the dev employees more, then whose fault is it?
I mean it looks like it's £9.99 on kindle, that's a pretty standard price for a book, no?

>>considering the book is 60 years old

Sure, but the translation was only done 3 years ago, by modern writers on modern salaries - the fact that the book itself is old shouldn't impact its cost due to that. Unless you mean the original in Polish, then it's literally 15.99PLN, cheap as chips as they say:

https://www.publio.pl/niezwyciezony-stanislaw-lem,p61614.htm...
It did enough damage to cause the heat shield to fail on reentry, so "caused" is warranted. Even if the foam had a purpose, it would have been a reasonable requirement to make sure that it doesn't turn into a risk itself...
I have seen many videos of folks simply loosing a US V8 muscle car at street races when the road becomes a corner or a quick correction needs to be made.

Gobs of RWD power and seemingly a lack of any sort of dynamic active safety systems for inexperienced drivers to help with this kind of fishtailing or oversteer.
> I am. What’s your point ?

Then you know that Northern Ireland was a more important issue than EU membership and that remains true. Hence all the hoops jumped through for the Northern Irish Agreement after Brexit.

> I know Ireland likes the riches that come with EU membership. They don’t want to return to being a poor country.

What you're suggesting is risking descent into civil war.

> It would be a time zone difference, not a partition. Let’s not used such loaded language.

If you don't know why I'm using the term partition and why it would be the term immediately applied to this idea, you don't know enough to how know how little you understand this issue.
Aesthetics turns out to be pretty powerful even for things like war. This must really attract gamer engineers.
There was once certain army that used clothes by Hugo Boss that also looked super cool and i am sure many people loved how they looked in them.
He was probably right. When I write small, short-lived programs I mind my memory because it's a muscle I need to retain and I don't want to pick up bad habits.

For an academic writing a one-off program just to get something done, all manner of bad practice is if not desirable, at least acceptable.
Parallels will happily take that and offer you an equivalent service.
We did play on an A5 as well! We called the variant "the Lord of the Rings", it was two players that played humans and elves versus one who played orcs. Only humans were allowed to move diagonally, elves could place walls over an empty space, and the orc player had more moves per turn and two bases.
A deliberate strategy by some companies. (Microsoft comes to mind.(
Net benefit. Before we should have questioned the veracity and applicability of all evidence. Now we have no choice.
I guess the problem here is counterparty risk. If the solar farm goes bankrupt, you lost your investment. Also they may be illiquid (hard to sell?).

That is probably why you are investing your bonus, rather than selling everything to go all in. Because apart from the counterparty risk, 15% lifetime yield is pretty good. Obviously there is a threat from unlimited energy scenario like cold fusion, but that is probably 35 years away :-).
Imagine a politician photoed reacting to a member of the public in disgust, except the face was stitched in from moments after. Or, worse, someone captured at the scene of a bomb reacting before the bomb went off?

We have an inbuilt set of assumptions about causality that this AI now violates. That's potentially huge in some very specific scenarios...
> In the US the pedestrian is expected to run the gauntlet, hoping that turning cars will see you

European here. What is the reason that this is allowed?
Couple other common cases:

- Photographing serial numbers or readouts on hard-to-reach labels and displays, like e.g. your water meter.

- Photographing damage to walls, surfaces or goods, for purpose of warranty or insurance claim.

- DIY / citizen science / school science experiments of all kind.

- Workshops, auto-repairs, manufacturing, tradespeople - all heavily relying on COTS cameras for documenting, calibrating, sometimes even automation, because it's cheap, available, and it works. Well, it worked.

Imagine your camera fighting you on any of that, giving you bullshit numbers or actively removing the very details you're trying to capture. Or insurance rejecting your claim on the possibility of that happening.

Also let's not forget that plenty of science and even military ops are done using mass-market cameras, because ain't anyone have money to spend on Dedicated Professional Stuff.
Getting high on OPM is the way to go. Could be another YC startup.
It's easier to write code when you understand the context. The customer requirements aren't always flawless and might make assumptions about things that you don't know.

During my career I've had to study:

- electrical engineering (phase angles, current transformers etc)
- finance (payroll and accounting)
- building management (maintenance schedules etc)
- mining (terminology, how explosives are set in underground and open mines)

I'm not an expert on any of those, but I know enough to be productive and know _why_ I'm doing the task I'm assigned.
alert(banana++)

Should lock things up and not continue until OK is clicked.

If it is just you and your application you can just spray paint from the hip the alerts from top to bottom. After each line of html you can have one more <script>alert(banana++)</script>, in the middle of your css </style><script>alert(banana++)</script><style> etc

If there are uhh thousands(?) of people actively using the page you put just one alert some place in the middle.

Everyone will have to click on OK, the page crashes. You ask the crashee: Did it crash before or after the "make America great again" alert message. (call it something they would remember)

Now you know the issue is in the top or bottom half. You move the alert to half way the half with the issue in it. If you can get some sort of reasonably consistent crashing you will find it pretty quick even in production.

Hope this helps, or maybe it is a stupid idea and you could explain why.
Maybe the motor is supposed to turn with the wheel, that doesn't sound like a good idea.
> Bonus points if I can let the tool ingest season 1 or an OVA of said material where a season 2 is never going to come (looking at you "No Game, No Life")

At long last, _Firefly_ Season 2 is within our grasp!
Turbo Pacal! It's been ages, but it's the first language I learned. The Borland IDE was amazing for its time and allowed me to learn the language in no time. My dad learned it too, and even developed some small games with it. Even now he likes to use its successor, Delphi.
> The old stuff will stick around for basically the same reasons that people still write C/C++ software using Win32.

Because the resulting applications are much better?
Phewww ;)