skysight-inc/HackerNews huggingface dataset:
The mouse is fully autonomous. At the start, the mouse only knows that the coordinates of the goal and that the goal is some combination of to the right and front of the start square.

Currently mice use reflective infrared sensors. The reflected infrared light is used to estimate the distance. Based on this reading, one can determine the position of the mouse and the presence/absence of the wall. This information is used to create a maze map and to navigate.

The Circuit Cellar article mentioned in this thread is an awesome comprehensive introduction to micromouse.
It's a bird joke.
This is one way, but wouldn't be cost-effective bandwidth wise (which is OPs main concern).
Good point. I wish they included more details about how they performed their searches, but I understand not wanting to feed tips and tricks to the bad guys...
They put too much trust in Tres Amigas coming online.
My dad typed his memos for his secretary to type.

Most of the memos that I receive from "above" are edited and formatted by an assistant. These are also the ones that nobody reads. I use a primitive form of AI to process them. ;-)

In the future, instead of receiving half a dozen of those memos per day, we could receive hundreds or even thousands.
Might as well just say "ok now GET can have body" instead of all that noise
Morbidity is not mortality, it means "suffering from disease". The dictionary definition is "the condition of suffering from a disease or medical condition". So being on dialysis would not be "no decrease in morbidity", no.
> I think like 60+% of engineers get company cars.

Honest question: How useful is when we frequently hear that Europe doesn't use cars as much as in the US? I can't fathom someone in a major European city finding much use for a car.
>In theory, HTML is device independent. In practice, we can't even get web apps to work on desktop and mobile, to the point where even sites like Wikipedia, the simplest and most obvious place where HTML should Just Work across devices, has a whole fricking separate subdomain for mobile.

Does he actually know why the cases are separate? Asserting this without any historical analysis is meaningless. For all we know, Wikipedia split desktop and mobile domains before responsive tooling in the browser got good and they just never changed it cause, like most businesses, they have better things to work on as the current solution still works.
Sophia: Stochastic Second-Order Optimizer for Language Model Pre-Training
I would first read the David Otten Circuit Cellar article, then look at the UKMars repo and https://micromouseonline.com/
This is a hard to get reservation. It took me a few months of just misses. But the tour and the Q+A are well worth the wait.

https://www6.slac.stanford.edu/public-tours/registration
That's an interesting pivot. You brought it up in the context of it being a confession but now it's not?

His ask was actually delivered on shortly after: https://www.pbs.org/newshour/politics/trump-asked-russia-to-...

Trump had plans to build in Moscow, held unprecedented unsupervised conversations with Putin, etc.

I could go on and on, but would you listen or care? Anyway, we're effectively sullying the salient value of the OP.
Whether or not you agree if these particular lockdowns were needed, I can't believe anyone would argue there is NO situation where a government should have the legal authority to order a lockdown.

What if Covid had a 50% mortality rate? Would that not have justified a lockdown?
This is less about observance with the laws and more about how to verify that lawyers are doing their jobs properly, sort of tools like ide for developer. Often times lawyers make mistakes like in the article or even file things in the wrong court or deficient forms . More like an ide for developers .

That said, it is a great disappointment of mine that the law is not based on an objective, static measure.
> What about as a boring person who does think the state should be allowed to focus the Eye of Sauron on people?

Sure. Not everyone has to agree with me. I think it is unpopular to be happy about intelligence agencies spying on us. So hopefully I can win over some of the in-between people by causing them to fully face their position. But if someone just fundamentally disagrees with me, I think this tactic won’t work. Coming up with arguments for people who fundamentally disagree with you is pretty difficult.

> And that person doesn't have to be anti-encryption, just anti-bad opsec.

I’m not sure I follow here. But in general, for example I don’t think it is reasonable to expect non-technical people who aren’t, like, spies to have perfect opsec all the time. So, like journalists and activists, they will inevitable slip up sometimes, anything we can do to mitigate that is good.
> Whether or not the six-step manufacturing process it came up with is correct or not, I haven't the expertise to say.

I mean, you can try it and perhaps get rich. Or, probably more likely, die in a horrible explosion.
I'm surprised no one has mentioned Tarkovsky's clear influence on Terrence Malick's style. If you like anything by Malick, say, The Tree of Life or the most recent A Hidden Life, you should at least watch Mirror or Stalker.
> Physical manipulation is cheaper than a scan tho!

This relies on the assumption that the physical examination has useful sensitivity or specificity as a screening tool which is untrue.

As an aside, MRI screening is not supported by evidence with the exception of select patients for breast cancer and people with hereditary cancer syndromes.
It’s about whether or not governments should have the power and ability to enact lockdowns in the first place. This was a somewhat mocked perspective when the general idea was the lockdowns were absolutely necessary.

I'd never mock the perspective, the situation is too serious.

When there was an active fire threatening my town a couple years, emergency issued an evacuation order and arrested people who came into the area. When I worked as a teacher in the 1990s, I had to get various vaccines as a condition for having a job. When I traveled in 2012, I also had to get some vaccines to visit various countries. Health departments have for a long time required restaurants to control the behavior of their customers including preventing them from, say coughing on the salad bar.

Covid involved the state using it's existing powers on a larger scale, no doubt. And how well it did that can certainly be debated. But all the powers the state used existed already.

So the arguments that try to put paint this situation as fundamentally new and wrong are incorrect. That they were accompanied by efforts to also falsify the nature of the illness itself reinforces the perspective that they were disingenuous. But I recognize people can convince themselves of a lot when it suits them.

if we can’t understand why those folks are really pissed off

As far as I can tell, the anger about state actions against and claims that it was some new are part of the generally polarized state of American politics. So, I think I understand. People are map 'cause they're convinced themselves of self-serving baloney. That's not an unusual source of anger for humans. But this doesn't make me "understanding" as you can imagine. Indeed, those people sure aren't the only angry ones and shouldn't be treat as special for their anger.
This appears just when I'm getting into OpenRA... Might check it someday.
Yeah but birds don’t live in nests. They hatch babies there. So is the metaphor that Foad is a momma bird, or that he’s all grown up and has flown the nest?

It’s Saturday evening and I want to be pedantic, dammit!
Tarkovsky's "Stalker" is loosely based on the "Roadside Picnic"[1] a sci-fi novel of Strugatsky brothers.

A. and B. Strugatsky are not that much recognized in the western countries as Andrey Tarkovsky, but they made significant contribution to the Russian literature of XX century, and their books are still popular in the post-soviet countries. In particular, the Roadside Picnic influenced many modern sci-fi works too, including, for example, the "S.T.A.L.K.E.R." and the "Metro" video game series.

Tarkovsky's "Stalker" is quite distinctive from Strugatsky's novel both in style and plot, but the screenplay of the movie was written by Strugatsy brothers too. Basically, they made completely different work in the same setting, but following completely different narrative. Also, they included a lot of pieces from their other (lesser famous) work "The Ugly Swans" into the screenplay, which is closer to Tarkovsky's film style. For example, the Writer's monologue[2] is just a direct translation of the same monologue from The Ugly Swans.

"Solaris", another Tarkovsky's famous sci-fi movie, based on Stanislav Lem's novel of the same title, was a more controversial work. Stanislav Lem made quite critical reception of this adaptation that simplifies and distorted his novel's original ideas. However, I think that Tarkovsky's "Solaris" is still the best adaptation of this book we currently have.

Aside from this, I would recommend "Ivan's Childhood" a war movie about orphaned child, and the "Andrei Rublev" a historical movie about the famous Russian Orthdox icon painter set place in the late middle ages, and about survival of artistic people in hard times.

[1] https://en.wikipedia.org/wiki/Roadside_Picnic

[2] https://www.youtube.com/watch?v=uwIoSI1Eqak
> A whiteboard where they are presumably working on LeetCode problems while waiting for their turn with the laser.

These are probably grad students preparing for the interviews to get a software engineering/ programmers jobs after PhD.
Funny how all the comments critical of Snowden and his actions are being flagged. No dissent allowed?
Maybe to avoid them? The halal method of killing an animal is cruel.
I'll remember this for the next time I try to convince someone that performance is important. However I think it's like saying: it takes one man one day to build a ten meter long wall. If everyone on earth would help building the wall, it would take less then one hour to build a wall around the entire earth.
I don't think those are mutually exclusive options :) Most developers, especially with lots of legacy apps are better off using a secrets manager. But there is no reason to not push the boundaries of security for new software and onboard passwordless and secretless options.

P.S.

I tried Infisical a couple of months ago. I think if I was Hashicorp Vault team's PM, I'd be worried. Your team has done such a great job at U.X. I was astonished to see an early startup with such a great integration catalog. I think you aced it - modern developers are desperate for out of the box integrations with 100+ services they have to use every day.
I think rsync.net is much cheaper. They frequently run offers, I think I pay $40/yr for 2 TB or something.
Here's a review of annual physicals by Cochrane Collaboration, where they looked at 15 studies involving 250,000 people and found no effect:
https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6353639/
PG’s disproportionate advantage was productivity - despite LISPs disadvantages - which he writes about in depth here: http://www.paulgraham.com/avg.html I suspect that productivity gap would still exist because the primary productivity feature is macros, which are still either uncommon or limited in other languages:

The source code of the Viaweb editor was probably about 20-25% macros. Macros are harder to write than ordinary Lisp functions, and it's considered to be bad style to use them when they're not necessary. So every macro in that code is there because it has to be. What that means is that at least 20-25% of the code in this program is doing things that you can't easily do in any other language.

So why doesn’t LISP rule the software universe? I presume it is because it takes exceptional skill and taste to use macros productively. I also suspect it requires a small team because everyone needs to deeply understand many macros which are unique to the system developed - deep customisation has its costs. Certainly I have worked with plenty of programmers where I was pleased they didn’t have access to macros!

PG has created two other languages (ARC and Bel) which shows a high level of skill, and perhaps also shows that LISP is not his ideal language? He wrote this about designing a programming language: http://www.paulgraham.com/popular.html and he writes about the history of LISP here: http://www.paulgraham.com/icad.html which also talks about productivity:

if you were to compete with ITA and chose to write your software in C, they would be able to develop software twenty times faster than you [by using LISP].
ITA's hackers seem to be unusually smart
They should remember to get their booster shot.
This will be a big deal if Lucene got competitive on http://ann-benchmarks.com if it became a serious alternative (and more holistic) than the vector databases.

But it comes with continued challenges if I understand:

- Panama is an incubating API and Java has taken its time having an official way of using SIMD. It could all change in Java 22

- It only works on Java 20, with a very specific set of flags passed to the JVM. It’ll take time for this change to make it into Elasticsearch and Solr

- Panama itself is a weird and very low level API.

- Lucene organizes the HNSW vector index graph alongside its inverted index segments. And these need to be merged/compacted periodically. Merging HNSW graphs, as I understand it, is computationally difficult as the graph gets rebuilt.
ChatGPT just isn’t going to say the right thing, or thing grounded to the baseline reality, beyond what it cannot help but doing so restrained by your input.

The only connection between it and this world is your input. ChatGPT is floating in the heavens, and you’re grounding it by at most a fishing line, through the textbox. It has to be framed as such. People praising it as a next gen search engine[that finds a data from database] is(perhaps this is the word that best fit the situation!), hallucinating.
Vegemite, baby. Got art?

https://en.wikipedia.org/wiki/Vegemite
In Anathem there's the word: Bulshytt

Bulshytt: Speech (typically but not necessarily commercial or political) that employs euphemism, convenient vagueness, numbing repetition, and other such rhetorical subterfuges to create the impression that something has been said.

(there's quite a bit more about it to be said, though quoting it out of context loses much of the world building associated with it... and the raw quote is riddled with strange spellings that would have even more confusion)
I wouldn't call that a fallacy because realistically "complete evidence" is never a thing...
They won't support a new method either.
Uh... this looks like a pirate copy made from a scan of the book.

Should we really be linking to it?
Overall seems like a great book. The hashing chapter is a bit half baked though. It claims without reservation that deletions simply cannot be efficiently implemented with linear probing. But there are at least two two efficient to do this (lazy deletions or just fix up the hash table), and both are worthwhile for students to know.
From his Twitter thread:

> And since some have asked, my decision and the timing of it are independent of any recent events.
So did this ex-Twitter employee. Hatched products there and lived in their house. Basically it meant they are done laying eggs there.

This works?
Oh dear!
Depends. Is your name Wodger or Bwian? Do you have friends in Wome?
We use two factor leaks.

Put an encryption key in the code and use it to decrypt the environment on use to recover the API key. You have to get both leaks to recover the key.
Tools such as babel, webpack, esbuild, postcss, etc. are now considered a bit low-level, and usually do not need to be set up manually these days.

Rather, one would opt for something like vite, the spiritual successor to react-scripts, that bundles all of these tools together with some good defaults/plugins, a means to configure them, and usually also some kind of dev server with hot module reloading, for a complete developer experience using your preferred toolchain.

Check out 'parcel' for something pretty modern, universal, and low effort, IMHO.
From the most recent comments, it seems like this is resolved and it also had nothing to do with Google?
This is a reasonable point.
I hope you ran optical between the house and the shed. The difference in ground potential among buildings can cause a lot of trouble for copper/electrical connections.
I don't know about canonical, but back when I was dealing with fuzziness I found this book to be very good: https://eresources.nlb.gov.sg/printheritage/detail/f41c8610-...

But, it's probably a bit out of date by now.

Also, if you'd like to learn more about Type-2 Fuzzy Systems, look up anything by Hani Hagras (disclaimer: colleague of mine from the same university, but highly regarded in this field)
It was, but it was hard to resist commenting on the self-referential nature of it that Rust often has problems with.
Proactive medicine.

You wake up in the morning and have a piss. Your piss is measured for various chemicals from simple ions to proteins. It detects you have too much sodium so it communicates to your food dispenser and your bacon ration is reduced. (Yes that's from The Island.) You then get dressed in front of a camera which counts your moles and freckles. It sees a new one so you get a notification that your Touch Grass(TM) session is shortened.

When you get to work your workstation monitors your alertness to ensure you sleep enough. It detects your attention drifting 5% more than tolerated so another notification comes in letting you know Lights Out(R) is now 15 minutes earlier.

You attend a social gathering after work but your purchase of an alcoholic beverage is denied because a blood test last week showed a liver enzyme was elevated 1% out of the baseline range.
R2 egress is free. You pay per request and per gb-month.
There is much less to buy or afford when there is so much competition for the small workforce providing services or labor.
When did HN get like this?
You disagree with his beliefs, fine. But at least respect him in the same way he has you.
I mean, this title is copied straight from the article's title tags. You can say "hey, be careful to use the proper title of the piece, not whatever's in the title tags", but you can't accuse the poster of having made editorial alterations.
This guy's a pro. He said all he needed to say with that.
That sounds like some weapons grade spin. It’s like the corporate-speak version of “oh you sweet summer child” or “bless your heart”
It's not about the outage in 2021, but the bills that were produced during that ice storm. During the ice storm, the utilities charged the max, $9,000/kwh, leading to people having five-figure bills just to keep the heat on for nine days so they didn't freeze to death. The NYT headline is of someone who owes $16,752. Most Americans can't pay a surprise $500 bill, never mind a sixteen thousand dollar one. It's become political because there's a question of if the government should step in and do something about those unaffordable bills. The matter is currently tied up in court so we'll just have to wait and see where this goes.

The other bit of politics is that this is a proxy fight for "can government regulation be good"? Government regulation would have prevented the prices from skyrocketing, but the thesis of Texas is that government regulation is bad.
> middleboxes are free to drop the body of any GET request, and generally do so

Most middlebox will equally drop any HTTP verb which is not whitelisted.

Even the extension of WebDAV, which are 15 years old are still commonly blocked.
I know what the expression means and tend to agree with the duck test. I just disagree that ChatGPT passes the "lying duck" test. A "lying duck" would be more systematic and consistent in its output of false information. ChatGPT occasionally outputs incorrect information, but there's no discernable motive or pattern, it just seems random and unintentional.

If it looked like ChatGPT was intentionally being deceptive, it would be a groundbreaking discovery, potentially even prompting a temporary shutdown of ChatGPT servers for a safety assessment.
This is a great point to illustrate the importance of the token representation of position, though I didn't find ChatGPT had any problem with the second example you showed with extra words though - it was correct.

I'm not sure the cases you reference work in practise how you describe exactly really nowadays, even though they did in the past (say, 2019) - I agree the wraparound effect could occur like that, though the way the position is encoded in the vector is usually built to work so that it will wrap around at different levels as such (the frequencies w) which include padding tokens as non-zero values (implementation dependent), so in essence for every sentence ending at 8 tokens, the model has many other encodings that indicate the loop, not just the one wraparound encoding. This should avoid that problem and the reason for this relates to spans of tokens and is a problem considered when devising training for earlier transformer models like BART and the MASK/NSP tasks. But in practise, position is learned these days, it does not use sin/cosine anymore.

There is a technical difference in positional embedding vs positional encodings (and the trend since 2020 to learn position) which is quite interesting.
> I have no idea what they are actually planning for.

The article said:

> The devices are part of a series of new security measures being offered to senators by the Senate Sergeant at Arms, who took over shortly after the assault on the U.S. Capitol on Jan. 6, 2021.

I assume they figure that the next insurrection may involve the loss of cellular communications, which is reasonable to expect from a decent coup attempt. The authorities might plan on jamming cell phones themselves, want to deprive the insurgents that communication channel.
My Octopus Teacher is a marvelous documentary on Netflix, observing these curious animals, and their intelligence.
Well, you better be ready to pay up. Which is the inherent problem here.

Creating a robust, well-tested emergency satellite comms system that nobody uses day to day costs a lot of money to develop and maintain…and nobody wants to pay for that.
The media is hellbent on pushing the narrative that Musk is destroying Twitter. It’s actually kind of wild. You see it on here too.

I think Musk’s product vision is noble and clear: to make Twitter as neutral and transparent a speech platform as possible. No soft censoring, algorithmic manipulation, etc. You can imagine why certain groups would be against that. And rooting out “extremism” is not it, despite what they say.
I go the other direction and like to say JWT Web Token.
Considering how successful the game was, it was unfair.

It would be different if it had flopped or the bug was released and impacted sales significantly
The submitted title is the page title (in the HTML sense), isn‘t it?

The HN bookmarklet uses these for submissions for example.
What’s the Best Background for Video Calls? Most People Get It Wrong
"you could write your crossplatform app logic in Zig, and only use Swift the UI"

The UI glue code would be nothing special, and not improved by Swift vs Java. The UI would be designed in a design tool. I like open source, so perhaps Penpot.
That review was painful.
https://archive.ph/uw7gN
All nicely distilled by AI and then the pointless of it all will be revealed.
Wow! Thanks you Alex. This feedback means a lot coming from you!
We're huge fans of Teleport, and learned a lot from you as a fellow YC company :)
Reading Epictetus’ Discourses has had a profoundly positive impact on my life.

One note, the authors claims Arrian wrote The Discourses over four books, but in reality it was eight and only four survive. This calls into question the scholarship here.