skysight-inc/HackerNews huggingface dataset:
Quite a few years ago (and fortunately the only time I've been burgled), I had a guy hop in through my bathroom window of the house, because our rubbish bins were outside the window/we left the window open for the cats to jump in & out of.

My flatmates and I were all sound asleep in our rooms. I remember half-waking a few times and seeing a shadowy figure in my room, but being half-asleep remember thinking "ah just my flatmate probably doing something" and went back to sleep.

Awoke a short time later and realised what had happened with the charging cables for my laptop/phone pulled towards the doorway and a few things strewn here and there. Got up and went to the hallway and found the rest of the house in disarray and banged on my flatmates doors to panic/get them to call the police. This was at about 4am.

They hadn't hit up my flatmates rooms, only mine (closest to the front door/road) and the main areas of the house. While the police were on their way, I realised my desktop was still there (it was a full-tower) and turned it on to see if I could locate the phone: success! It showed my phone as being in a carpark near a Macca's a few areas over.

My flatmate was still on the phone to the police so we relayed that and they said they'd take a look, but a separate team was coming to see if we were okay. That second team arrived and we made 'em some tea and all sat around being reassured by 'em until the first team had reported in; they got the stuff back! (Well, most of it).

Turns out the guy had: stolen a car, burgled about a half dozen places before ours, then burgled our place and driven to get get Macca's to celebrate. Apparently he was the only car in the carpark and the police walked up seeing that the car was chock full of people's stuff.

My stuff was returned and so was the car and the police were apparently trying to get the other stuff back to their owners, too. I got a follow up call a couple months later "we can't tell you who he is, but for your information he'd already been pulled up on this before and this time he's going to prison". There's nothing quite like the feeling of justice, like "yeah FUCK you for entering my house and taking my stuff".

The scariest thing of the entire scenario was me realising that my phone/laptop were charging on my bed, next to me. Which meant he'd leant over me while I slept to take my stuff.

After moving to the UK, unfortunately after a few years with getting away with walking around London at night, I got mugged. These guys clearly did this stuff all the time because my phone had clearly been turned off, so was not able to be located.

But it really shows the importance of technology helping mitigate/prevent these sorts of things; we should really be holding companies to higher standards and have universal ways to make theft of anything like phones/laptops essentially impossible.

Another thing was the reaction of NZ police; fast, efficient, caring and really eager to just help out someone who had been wronged. Whereas the response I got in London/Met police was basically "ya we can't do anything and there's no CCTV of it" (the most surveilled city in all of Europe, apparently.
Both are wrong, or right, depending on your viewpoint. Yugoslavia forced equality, when they wanted supremacy.
The ease of access to my book on my phone to read when I have 10 minutes spare is far better than access to print.
That sounds like a good idea. Just seen they have a Docker image as well.

https://hub.docker.com/r/plantuml/plantuml-server
Ex-Infosys CEO recommends 70-hr work Weeks
Ask HN: Which programming languages have you used?
Been their customer for many years, I remember signing up online, no red flags in the process. Some years later signed up an account for a client as well again no problems.
Pre 14 phones leak MAC to all people around, post 14 phones only expose it inside encrypted network phone was allowed to connect.
There's for example SDR++ (https://www.sdrpp.org/), which has lots of plugins to decode specific types of signals, or SDRangel (https://www.sdrangel.org/), which has quite some digital signal decoders built-in.
That kind of passivity can most definitely be described as dissidence. Those Soviets who circulated literature through samizdat, who put on performances of disapproved modernist music or poetry in their own flats to a small circle of peers, etc. are commonly described as dissidents even when they never publicly challenged the authorities.

The claim that such dissidents are collaborators is, again, Western-centric. Dissidents can and have argued that the regime's internal contradictions will eventually undermine it, without them having to take actions that put themselves at risk or leave them open to accusations of aiding the enemy.
This is arguably what caused the push for formalism in mathematics:

Multiple papers on calculus claimed results about continuity and derivatives, but we’re using subtly different definitions.

The conflict between those results, and the counter-examples to demonstrate the difference, led to mathematicians building the modern machinery around proofs.

> The Weierstrass function has historically served the role of a pathological function, being the first published example (1872) specifically concocted to challenge the notion that every continuous function is differentiable except on a set of isolated points. Weierstrass's demonstration that continuity did not imply almost-everywhere differentiability upended mathematics, overturning several proofs that relied on geometric intuition and vague definitions of smoothness.

https://en.wikipedia.org/wiki/Weierstrass_function
I really like https://sequencediagram.org/

- syntax is really close to PlantUML

- it's rendered in the browser -> immediate feedback

- great autocomplete and syntax-check in the code editor

- great connection between graphic and text (click on element -> jump to relevant line)

- graphical drawing and reordering

- presentation view (fullscreen + keeps actors "sticky" on top)

Especially dragging/dropping actors around is a lot of fun when you try to find the most suitable presentation format for complex diagrams. I'm not aware of any other editor that has this good integration between the code-editor and the visual editor.

It's not open source, but it's been around for free for a long time.
The Lean 4 community is quite optimistic about combining LLMs and theorem provers for proof assistance and formalization.
Nice little story and I'm sure the internet has many more such fake factoids, I recall e.g. an invented war on Wikipedia which survived as the authors credited books and no one checked whether those are real.

But I struggle to give an article much credence if it describes the westernmost tip of Portugal as an unbeaten track...
> And more importantly that patents in this case seem just idiotic and shouldn’t be valid in the first place.

Ah yeah?

Masimo claims violation of various patents for non-invasive blood data-collection via LEDs of specific wavelengths and photo-diodes in a specific geometry, patents to reduce power consumption of pulse oximeters as well as patents to detect when a pulse oximeter probe is misaligned on a patient.

They can demonstrate in the evolution of the Apple Watch how Apple launched their initial generation without such optimizations but found them to be necessary later-on, so it seems Masimo's patents are not that obvious.

In reaction, Apple countersues Masimo on the grounds of their DESIGN patent of the watch itself [1], among others based on design patents for a circular charging "puck" and the DESIGN of aligning LEDs, photodiodes and charging coil in a circular geometry.
They basically claim that Masimo took unfair shortcuts in 2020 when designing a Smartwatch with a rectangular display, a geometric alignment of LEDs and photodiodes MASIMO ALREADY PATENTED and using a circular charging connector.

Ah. And Masimo already won TWICE with their claim as a judge upheld the ruling, so that's where we are now. A trillion dollar troll trying to frame himself as the victim.

[1] https://fingfx.thomsonreuters.com/gfx/legaldocs/zdvxdyorxvx/...
I can't imagine the Secret Service or the military would have been sympathetic beyond more than a handful of individuals.
Appears to be fake news: https://www.sportskeeda.com/esports/news-fact-check-is-johnn...
I was bluntly told "People like you don't get well. Symptom management is the name of the game." I replied "It may be true that I will always be infected with something but this particular infection has to go as it's killing me."

My doctor physically took a step back as if I had slapped him.

I'm quite confident it's due to lack of trying. If you have zero goal of actually getting me better, please don't blame my condition for your failure to get me better.

That seems blindingly obvious to me. I want to spit nails that it gets so casually hand-waved off.
Why so emotional?

There's different levels in criticism. Here Tesla seems to be hammered simply for sticking with the law. This is excessive, IMO: if what they are doing is so outrageous then that should not be allowed in law.
I think the other problem with reorgs is that the incoming VP often wants a success they can call their own.

It's a bit like lion infanticide when a pride is taken over - the new leaders are not invested in existing projects - they want to give birth to a success of their own and your maintenance of an existing project is competing for resources.
The wrong way to do a hobby is if it doesn't actually bring you or anyone else any happiness, which in extremely GAS/GFS cases seems to be possible.

An Oscilloscope is a pretty reasonable thing even for a beginner, it's totally unnecessary but it does make things easier, it's something you'll probably actually use.

I had GAS/GFS pretty bad when I first got into electronics. Most of the stuff I regret buying was all pretty simple though. Cables can be a real big offender. I hate nonstandard cables with obscure connectors because they take up so much space for one function!

Digital electronics is far easier and requires less parts, but analog can still be really light on parts.

Electronics GAS seems to come in the form of "Big ideas" driven by bulk discounts. It's easy to imagine yourself doing ten projects over the next few years, all using some common set of parts.

But then some new and better thing comes out, and your pile of XT60 extension cords you made is forgotten.

The problem got so bad for me that I pretty much just chose to stop messing with random parts and instead explore the limits of what can be done with extremely common stuff.

Like, one time I bought some RCA jacks because it seemed like a good idea to use for switch inputs and the like.

But 2.1mm power jacks are even more common, and I can use resistors to protect against accidentally plugging in a wall wart to a sensor port.

Everyone likes lab power supplies, but can I redesign my circuit to run on a USB-C breakout trigger module? I've already got phone chargers laying around.

0.1" headers aren't perfect. It's easy to mis-connect something. It's easy to come up with some new unified standard for using JST connectors that will make all your stuff compatible... but then you have a project that doesn't work well with it...

When I first saw a commercial install made of random Amazon modules, I thought "They shoulda made a PCB" and I had all these ideas.... but then I realized that when the random Amazon modules breaks, I can swap it in a few minutes, and fix it later if I want.

With a custom board, I can't fix it at all until I've first discovered how it works, which will probably take an hour just to find out what pin does what when the documentation is gone....

Now I mostly start every project with an ESP32 module and go from there!
I believe some Honda clutch pedals are floor mounted, at least on the TSX I drove. I really didn’t like the feel.
great to see more competition for satellite coverage, this should not only provide greater freedom of choice for consumers, but also prevent excesses of monopolisation. Just need the Europeans invest more in Galileo now - any word on this?
He is the author of https://goxel.xyz/ .
I designed a custom shape for something I needed for another hobby (holding a first-surface mirror at 45 degrees so I could try to learn to paint by copying) and that was really satisfying to learn 3d modeling and making a real object. I should probably do more things like that, such as making a robot or something.
C++, C#, Elixir, Node.js, Javascript, Python and a bit of Ruby
If you use reduce to replace looping, your coworkers probably hate you. Don't write Clojure in Python.
Computer security person here! I have yet to be assassinated :)
I can't help but feel that any perceived overlap is coincidental. An illusion similar to seeing a face in an abstract drawing that the artists, or in this case algorithm developers are keen to exploit. Our need to find the fimiliar in something that is ultimately completely alien to our way of thinking.

But with enough existing prompts and training data, it will continue to learn and better trick our senses.

I totally agree that putting those instructions into code would be outrageously complicated, and the biggest strength here is it's ability to the gist of what we are trying to convey.
In most european countries, the McD menu has the local table booze (beer, wine, …).

In several countries McD actually has its own McBeer (might be the sole offering, or be alongside the country’s usual) although I have no idea what goes into it or how good it is.
What about Google Cloud IOT?
They mentioned that the suspicious traffic stopped after a restart.
You're missing the point. Tesla gets hammered for treating their employees poorly and rejecting reasonable demands to fix the problem.

> Why so emotional?

I don't know. Ask Elon. He hasn't been very rational lately.
> Tesla's standard is clearly superior

It isn't. It doesn't for example do three phase AC. 400 kW CCS type 2 combo chargers are being deployed right now. Where are the 400 kW chargers on the Tesla plug?

North America now has a painful switchover from CCS type 1 and Tesla's proprietary charging to CCS type 3. Teslas 2019 and earlier will need a CCS retrofit to use all chargers.

North America could have and should have standardized earlier.
PHP, JavaScript, Java, C#, Golang, Scala, Rust, Python & SQL.
(edit: wrong)
Have you worked with eager designers who love to reinvent everything?
TheBrain API
It is a full-featured REST API designed for experienced programmers who would like to access and create information in brains.
Yeah but what else are they there for? They're paid with tax dollars, unless number of other crimes value > your crime value your statement still doesn't make sense.

And if there are enough crimes going on to mean that they can't even send a single officer to assist with a theft or burglary then that's the sign of a serious problem with wherever this place is.
That one of the brightest minds of our generation is able to increase his bandwidth with the combination of LLMs and automated proofs makes me super bullish on this tech combo in the future!

It starts with bug-fixing, then supports verification, until it starts propelling new discoveries and push the envelope.

We need a term when a dynamic like Moore's Law "infects" a field that had no such compounding properties before.

EDIT:

There's additional context that Terence Tao is using Copilot to help him learn Lean. As shared by adbachman: https://mathstodon.xyz/@tao/111271244206606941

Could Terence have done it without Copilot? Sure, but like many of us he might not have initiated it due to the friction of adopting a new tool. I think LLM tech has great potential for this "bicycle for the mind" kind of scenarios.
He's gonna fix EVERYTHING. And he's gonna do it in ONE WEEK!
... and after two months the pedal is not usable, obviously. Because success is defined by https://xkcd.com/349/
If you add a x scale of ~2.3 on the logo it's clear they just took the whole thing and scaled it down. Looks so much better.
Do you not consider Google Cloud IOT an important service?
I clicked the link hoping to see beautiful diagrams to impress my colleagues, but it didn't spark joy. I much prefer the aesthetic of graphviz/google drawings/LaTeX/ggplot2.

I think the author is too focused on details that aren't noticed, while the spacing/padding, colors, font, and font size they're using are ridiculous... Practically speaking, if you were to present this it would be illegible.
Perl has ... https://perldoc.perl.org/perlsyn#The-Ellipsis-Statement
Regarding inheriting a building, you should know that “kindom of (SHS) Yugoslavia” inherited government buildings from Serbia which in 1918 was the only international member state with embassies around the world. Eg. London embassy was formed in 1883.

http://www.london.mfa.gov.rs/ambassador.php

So it is rationale/fair for the states to inherit what they originally had paid for.

Speaking of inheritance, did the newly created states of Croatia and Slovenia in 1918 inherit their share of Austro-Hungarian debt when they left that union, or did they enter a union with Serbia debt free?
For once I am glad I scrolled to the bottom of the comments
> But you'll have a million AI generated recipes for Apple Pie from spam websites of the era to console you.

And good luck finding the relevant information in the middle of all that noise.
I thought Otis was half of the adorable Milo and Otis duo and they were having another zany adventure in a 2023 reboot!
The headline is misleading. The Crown cannot veto legislation. The King's own views, if any, in order to preserve his position, must be irrelevant and impossible to discover.
Software Is Complicated, Given Enough Time
There is no minimum wage in sweden, because in central european labour fashion they expect labour and companies to cooperate and come to a mutually agreeable and socially beneficial rate.

Although germany recently ended up introducing a legal minimum wage because an other US corp was being too shit about it (I don’t remember if it was amazon or something like walmart).
Lean 4 is a theorem prover, and has nothing to do with LLMs as far as I know though.
All of that sounds super fun though.
Point 5 is often false. Having to park my car at B, and then again at A when I get home, can be a significant hassle. Far easier to simply arrive and have no vehicle to worry about.

Driving also takes effort and can be stressful in traffic. Not to mention gas, insurance, maintenance, etc.
Lean 4 is a programming language and theorem prover, and has nothing to do with LLMs as far as I know though.
This workflow is an explicit goal of the Lean 4 devs. The official Zulip chat has a channel dedicated to the interface between the two:

https://leanprover.zulipchat.com/#streams/219941/Machine%20L...
Holo v0.3 released (a pure-Rust routing protocol suite)
Well we could say the same about question answering or Info Retrieval, and even LLMs , yet there are plenty of benchmarks for these. The point of a benchmark is not that it covers all use cases, but that it is agreed upon to be a meaningful way to compare different approaches. I suppose I should dig into RAG papers accepted into ICLR/ICML/NeurIPS and look at their experiments section.
Tell HN: Brave closing vBAT accounts by the end of the month
Co-worker just pointed me to a note in Brave:

Action required: connect a custodial account or your vBATs will be lost

On 31 October 2023 at 00:00, we will be discontinuing support for existing virtual BAT balances. Connect a custodial account before this date so we can transfer your earned balance to your custodial account, otherwise your balance will be lost.

If, like me, you did give Brave a try you might have some vBAT locked away in a directory somewhere.

In my case, it is barely enough for a coffee, and nowhere near worth the grief of setting up a custodial account. However, I will see if I can find a site that I use that accepts the balance as a donation before it disappears. Perhaps, you have some silly tokens to shuffle around over the weekend too?
In Germany it’s 28 theory lessons, at least 12 practical lessons (including night driving and Autobahn), 1 multiple choice exam, 1 practical exam to get your driver’s license. Additionally, you need to successfully attend a full-day first aid course.

The multiple choice and practical exams are not done by the school, but by an accredited / governmental institution. Each have a ~30% failure rate.

Counting 1 lesson unit as 45 minutes it’s definitely not quite as rigorous as a PPL, but certainly in the same spirit, I’d argue.
Have used this for number stations in the past. It's great - amazing what you can still find on shortwave.
The benefit of an RWMutex lies in read-often, write-rare, where serialization of the portion under the read lock would significantly limit throughput (i.e., the read portion takes a while and overlaps significantly with other readers).

Whether atomics are applicable depend heavily on the structures and what you are doing under read lock. Atomics are good for reading primitives or pointers that get swapped whole, but not very useful for reason complex structures or traversing arrays/maps. Lock-free atomic structures exist, but are also often slower than their non-atomic counterparts.

Rather than making generic statements about what is slow and what is best, profile, profile, profile!
Well the main thing is them creating stuff like this and intentionally locking others out of it. They're happy to use USB, Wifi, Bluetooth standards to further their business/because money. But they don't go "oh let's create a UWB standard that we can adopt across the industry to help people find lost devices/prevent theft".

Like "air tags", gimped when used with Android.

"Yeah, well that makes sense it's just good business practice". Yeah good for the business but shit for consumers, we should hold Apple _and_ all other companies to higher standards but humans aren't very good at working in groups of larger than like 5 people apparently.
During my long-ago employment at McDonalds, nearly all the staff was under 18, and so ineligible to be handling alcoholic beverages, even 3.2 beer. Many American states are quite fussy about this sort of thing--I've had a younger cashier at a grocery store call over an older to scan my carton of beer.

Now I guess there are more of the over-18 or over-21 employed at McDonalds, but it might disrupt the flow of ordering if all orders with beer had to go through particular registers.
In normal democracies, parties usually reach a balance that protects regional interests, and the interests of minorities in those regions. It's not easy, but when done in good faith, can be very effective at lowering support for violent rebellion.

(greetings from Quebec, which rebelled a few times, and isn't immune to populist politicians, but nonetheless somewhat stable. I think investing into education also helps a lot, which is the opposite of what Texas is doing)
While true, we kind of need those people to die every year.

More people living contributes to a greater labor pool, which reduces wages. It leaves a greater demand on housing, increasing costs and making so many peoples’ lives more difficult.

If you’re working class, an extra 40k deaths/year is making the world better for you.
This reminds me of the time when my boss from then, was messing with the Bank.

For security purposes bank calls you and starts asking you "security related questions". For online they make you select an image and then answer next time what was selected before.

This was starting to get ridiculous amount of effort on him. So on the phone he started to mess with them. And asked the representative to select a poem and recite it every time they call. So that he would be sure that they are the callers really.

The dialog and represantatives frustration was priceless.
> Discussions gravitate around this diagram. People randomly walk up and stare at it. Questions are answered by pointing at it. Periodically throughout the day, chairs swivel around to face this centerpiece, their occupants folding their hands behind their heads.

Visualization goals!