skysight-inc/HackerNews huggingface dataset:
You could download full games directly from the official online store servers using a homebrew front end. They did all the purchase auth on the 3DS but a hacked firmware could bypass it.

They didn’t put the game file download process behind an auth layer until very late in the system’s life.
In the space industry, the US is so much ahead of everyone else. SpaceX is the long pole in the tent, but there are many other startups doing cool stuff.
I guess a language model like Llama 3 could model surprise on a token-by-token basis and detect the areas that are most surprising, i.e. highest entropy. Because as one example mentioned, the entire alphabet may have high entropy in some regards, but it should be very unsurprising to a code-aware language model that in a codebase you have the Base62 alphabet as a constant.
Ok, maybe its a quarter.
It doesn’t, you’re right. However, indexes aren’t free, so if your data is such that a natural PK (composite or otherwise) makes sense, you’ll save RAM. Also, for clustering RDBMS like MySQL, data is stored around the PK, so you can get some locality boosts depending on query patterns.
disclaimer: IIUC, never experienced first hand.

/var was originally for network booting machines. / is read-only fileshare and /var is for user storage. /home -> /var/home too. It's campus wide workstations installation type of thing.

So, /var/tmp is kind of wrong, and so is /var/log/messages on a laptop, and besides the entire /var is useless on most systems. But it's not a huge waste of resources either, so it's left as it is along the rest of directories under / for years.

/var wasn't originally intended to be a system directory, it's just a variables directory. Almost by definition it's writable.
Typst Pro Launches
For you to say that you would have needed the image res 2MPixel, but ignoring that, it should have been a paper I knew about if true. So I checked. mrcal is providing the same lens models as opencv, and it looks like its using opencv to do the estimate. For higher perf calibration checkout https://arxiv.org/abs/1912.02908
I think that there's something up with that page. There may be a pathological path when suitable GPU support is not available.

My machine slowed down tremendously, with a YouTube video in another tab pausing entirely until I managed to close the tab. I tried again with Task Manager open and saw a process named "System Interrupts" with 75% of the CPU before I choked off the tab again.
I strongly agree with you on the first point. OpenCV provides calibration primitives which look like they'd solve the problem easily and this gives you false confidence. In my experience, they're very low-level and are not more than a wrapper around the optimization routine. You need to implement most things from scratch, such as correct exposure, checking for blurred frames, verifying the extracted checkerboard,... It's weird that everyone needs to re-invent this process.

Can you be more specific on the second point? Once you have the intrinsics, it's trivial to project them to an (undistorted) image.
> all the other languages have kept picking up nearly everything once-cutting-edge about Lisp

not all of them have CL's set of features: excellent long-live REPL, image-based development, compiling to binaries, the condition system, the interactive debugger and excellent developper tools (resumable stack frames, never re-run a long operation from zero [1]), the whole language at compile-time, stable syntax, extensible syntax, stable ecosystem, fast implementations, numeric tower, first-class interop to Java (LispWorks, ABCL), commercial support, mobile platforms delivery (LispWorks)…

New CL implementations get created (CLASP, CL on C++ with LLVM or NPT, in C) and CL compilers and libraries evolve too [2]. SBCL is now callable as a shared library, it got a SIMD module, rumors say a bear party after ELS 2024 escalated and that they are adding coroutines soon. ECL is targetting WASM, all other major implementations had new releases.

New libraries unlock new possibilities (Coalton: Haskell-like typing on top of CL), companies still pick CL today (CL is all the rage in quantum computing?),

the community creates more resources and more tools such as, last but not least, new editor plugins o/ https://lispcookbook.github.io/cl-cookbook/editor-support.ht... (VSCode, Pulsar, Jetbrains, Sublime, Jupyter… Lem of course etc)

[1]: https://www.youtube.com/watch?v=jBBS4FeY7XM

[2]: https://lisp-journey.gitlab.io/blog/these-years-in-common-li...
T4g is available as spot
The Switch has a similar process, if you join two pins on the right Joycon rail it will allow you to flash a custom firmware.
This is also true of _Infinite Jest_, for the same reason.

I read both on paper, using two bookmarks.
Online observation, and trying to keep some early porn BBS systems free of illegal content. The bastards push.

They were heavy in IRC when I was too. 13 year old girls were not really that eager to share their skin pics with everyone.
Police murdered 4 days ago: https://apnews.com/article/germany-mannheim-stabbing-police-...

Please stop with the dissimulated anti-european hate speech that fuels this wave of terror and violence against the native population.

This is a technology board, I will report this article to the admins because hatred should not have a place here.
Not just Elon Musk, there are so many talented Engineers at SpaceX, and they are doing the hard work day in and day out.
Google Maps is killing Timeline for Web
My retired mother uses KDE.
Haha, sure, you can call it that if you want, but foolish is cousin to fun, so one application of this tech would be as a comically overwrought way of communicating subtext to an adversary who may not be able to read between the lines otherwise. Imagine using all this highly sophisticated and expensive technology just to write "you're an asshole" to some armchair intelligence analyst who spent their afternoon and monthly token quota decoding your secret message.

Seed for the message above is 42 by the way.

(Just kidding!)
Hacker news seems to love rage bait and may just align with your biases better than other tech sites. This has certainly been my experience, I often find people I agree with more reasonable before any personal reflection.
I worked this out by hand and I'd recommend you do the same. The paper defining the behavior of PEGs is here: https://bford.info/pub/lang/peg.pdf . Section 3.3 is the relevant one, defining all the parsing rules.

As for the simple explanation of what's going wrong:

1. We try to parse `aaaaa` as if it opened with the pattern `a STR a`. [And, with foresight, let's observe that this is true of the way we want the parse to go.]

2. We match the `a` at the beginning of the input and try to parse `aaaa` as if it opened with the pattern `STR a`.

3. This repeats; we make the same guess that we're dealing with a recursive STR, we match an `a`, and then we try to parse `aaa` as if it opened with `STR a`. I didn't mention this before, but the first step of doing this is to match the first element of the concatenation, `STR`, against the input.

4. Here's where things go wrong. We still guess that we're dealing with a recursive STR, because that rule has priority over the terminal rule `STR = a`. With foresight, let's observe that in the parse we want, this guess will fail, because we need the third STR to be a literal `a`. In that world, we'd then match the two following `a`s and our parse would succeed.

5. However, when we try to match our recursive rule `a STR a` against our input `aaa`, this succeeds, because that's a correct match. We have an outer recursive STR and an inner terminal STR, yielding `aaa`.

6. Since our first guess that the suffix `__aaa`` opens with a recursive STR succeeded, we will never experiment with what would happen if it opened with a terminal STR, the way we wish it would.

7. That was our only chance; the whole parse will now fail to match in predictable ways.

-----

> The ordered choice operator should try all choices, not stop earlier.

You can't defend PEGs by saying you wish they were defined differently. That's not a defense!

Look at the paper:

> Alternation (case 1): If (e₁, xy) => (n₁, x) then (e₁ / e₂, xy) => (n₁ + 1, x). Alternative e₁ is first tested, and if it succeeds, the expression e₁ / e₂ succeeds without testing e₂.

It's hard to be clearer than that.
I both agree and disagree.

I would avoid PEGs they are a huge food gun.

But a lot of things you need to parse are file formats designed to be reasonable straight forward parseable and in many such situations using a parsing combinatorics is all of: the fastest write, the easiest to write, the easiest to debug, the easiest to maintain, the smallest code size (potentially by a lot), the fastest build times and often even the fastest to execute .

So a very clear straightforward win for parsing combinatorics.

Through the moment you parse (programming) languages and similar instead of data formats things often change leading a massive increase of complexity and ways you can subtle get it wrong (e.g. not explicitly handling operator precedence). And here proper grammar parsing frameworks can shine, sometimes.

But even there they don't shine always as they are huge complicates pieces of code which often require running some complicated code gen to have any chance to get acceptable perf/code size which is often hardly debugable in case you might have run into a bug. Furthermore parsing arbitrary CFG is complicated and potentially slow so most frameworks prefer you to use a specific subset like LR(1) grammars. And understanding what exactly that means for your grammar and if that works for you use case is neither obvious nor intuitive and can make you wast a lot of time. Sure you probably should have learned all about it (if you have a CS Bachelor or similar degree) but I mean when was the last time you used that knowledge?

So in the end even for such cases using a PEG or parser generator, while being _very_ _very_ careful about grammar design is sometimes still the better choice (even through it shouldn't, it's a better choice born due to limitations of existing tooling).

As a side note a good hint to weather using a CFG or parser combinator is the better choice is often to ask yourself if a tokenization pass would make parsing much more simple. For thinks where using a CFG is a terrible idea (e.g. parsing msgpack) the answer is often that it doesn't make sense at all. For things where tokenization makes sense, but is literally most of the parsing (e.g. JSON) it's often just easier/better to not use a CFG. But the moment it seems to make a lot of sense (e.g. a programming language) it also tends to be the best choice to use a CFG (or similar) grammar parser.
I prefer paper as an experience, but there are absolutely ways that (e.g.) a Kindle can be superior.

* Control of text size
* Weight

I forget what it was, but at some point I was excitedly reading a new hardback -- and found it so heavy to read in bed that I bought the Kindle edition in addition to the paper one. This also applies for travel, doubly so.
Encourage more car use. You don't have to be so poor you can only afford a bicycle.
My reason for believing that is that it was trained from scratch, and was not a fine-tuning or other optimisation of the existing GPT-4 model. We know this because OpenAI has publicly stated that they're using a different tokenizer, which would have forced them to start the model training from step one.
Meet Vicky, the world’s most powerful virtual assistant, designed to transform your daily tasks and revolutionize your home. With the power of over 400 apps and integrations, Vicky can handle almost anything—from cheering you up with your favorite music on Spotify and Apple Music to controlling your smart home and reducing electricity expenses.

Enjoy seamless entertainment as Vicky helps you watch movies, stream videos from your favorite YouTubers, or even play games. Customize her adorable virtual home with a vast library of photos, paintings, wallpapers, and widgets to suit your style—whether it's a Mona Lisa, a Van Gogh painting, a lovely family photo, or even space kittens.

Stay organized and on top of your schedule with Vicky’s reminders for appointments, key tracking, and package alerts. From cooking tips to climate control, Vicky is your ultimate companion. Transform your home with Vicky and experience the future of virtual assistance—because with Vicky, almost everything is possible.
In my area of expertise, a well formulated google search can result in a page 1 full of academic articles on the general topic, but there isn’t necessarily consensus. This might be a case of the curse of knowledge :)
Would you be OK to tax killing people instead of banning it?
first time i read the term “serious gardening”, quite poetic itself.
And then if you want to list other entities to that user you will have to start mapping the external id and foreign relationships every time to external users?

And also if you are doing exception logging, for ids/primary keys there's higher odds of them being logged out, including your own logs and also external platforms.

It feels like having primary key set up like this just will complicate everything unnecessarily for the future including many edge cases that you don't foresee.

Just have the main ID not have any meaning.

It shouldn't contain information about the date, it shouldn't be auto increment, it should really be just random.
What kind of bug would make machine learning suddenly 40% worse at NetHack?
You can also search Reddit via DuckDuckGo.
The Biggest Crabs in the World May Have Eaten Amelia Earhart
Heat dome brings dangerous weather to western US
SpaceX is not cash constrained. Every offering they do is extremely limited in terms of who they let invest, yet is still always massively oversubscribed. They're spending multiple billions per year on both Starship and Starlink but haven't been tapping the capital markets -- IOW internal cash flow is also massive.
Books banned by libraries after just one complaint about 'racist' content
Nonsense. Opencv has been used widely for outdoor localisation too, in particular since it is much easier to do outdoor than indoor.

Such algorithms always create a graph over the images, but if you mean the graphslam graph filter methods, those are substantially subpar compared to classic feature based methods as well as the more modern, dense and semidense methods.
It seems like coordinating the supply of available units is the real evil (and maybe illegal) part.

Pricing information is public, but inventory is typically not, at least in this context.

A cabal deliberately keeping supply down to drive prices up in a particular region seems like the real issue.
It's not just unpredictability. It's that outside of doing explicitly commercial work (and often even then), the average and certainly the median income for a great deal of creative work is really low.
I developed safe32 for this reason.

https://github.com/kstenerud/safe-encoding/blob/master/safe3...

Notably, confusable characters are interchangeable when being ingested (although a machine encoder MUST always produce canonical output). https://github.com/kstenerud/safe-encoding/blob/master/safe3...

So a user can confuse 1 for l, 0 for o, I for l, u for v, uppercase, lowercase etc, or the agent can say any of those over the phone, and it won't matter.
I like to nix vowels and things that look like them, i.e. 0, to avoid random b00bs sort of tokens.
Emacs Microfeature
Let's be honest, users of this website are literally the worst possible group to reason about "typical PC usage"
Hidden Bar is working on my M1 Max MBP 16" with macOS 14.5. Not an option for me because it can't handle the notch, but the basic functionality works.

Ice ( https://github.com/jordanbaird/Ice ) also works, although it's still missing a lot of stuff and also still doesn't have anything to work around the notch. It's being updated though.

If no app works, then it might be something to do with your setup? Maybe some app you use or some change you've made? Very annoying in any case.
Presumably referring to Fitzpatrick modifiers.
Just take out the vowels and numbers that can look like vowels. Nixing 0 means no b00bs IDs, and avoids 0/O; I usually take out 1/I as well.
Agreed, and also they tend to be more guessable. Make a page available with an email address as the id and just watch the hackers use it to discover users of your service and attempt to log in as them.
> More gore less mess: Kidney in the Whitney

With apologies to Dr. Lecter:

I have eaten /
the kidney /
that was on /
exhibit

and which /
you were probably /
saving /
for patrons

Forgive me /
it was delicious /
with 臭 /
and Chimay

(Heed! in March the elite need to beat the heat and seed their wheat)
They could merge /var/tmp and /var/cache, with the intention to discourage future use of /var/tmp. With users, programs and admins already using /var/tmp as a persistent cache, a name change seems like the best solution.
Can you elaborate? I'm using Julia macros to help make my research software easier to extend for others, so would be interested in your experiences.
This is very unfortunate for many PTSD sufferers ( I am one of them). This therapy, at least anecdotally, was leaps and bounds better than current therapies. I hope the FDA reconsiders this decision.

p.s. for those interested in this topic I highly recommend the Netflix documentary and book "How to change your mind" by Michael Pollan
that's not how pegs work, and if you add that kind of unrestricted backtracking to pegs, you get a grammar class that nobody knows how to parse in linear time

pegs, by contrast, like ll(1) and lr grammars, have a linear-time parsing algorithm available (though its constant factor is significantly higher). that's one of the reasons people use them

you should read an introduction to pegs; you might like them once you get past 'i insist peg parsers are incorrect parsing tools' ;)
It will be here within 6-12mo.

It will at first glance be a small step, but over the next 12mo after release, it will turn out to have been a giant leap.

It will be safe when being observed.
> what if we had a restaurant named China Wok in Springfield, USA? Hardly unique. Add the state, you say? Probably still not unique.

Ok sure, but then you have 2 restaurants which are indistinguishable from one another in your database. It doesn't matter that the thing has a unique id next to it. You can't know which is which. That's not useful.
Looking through the comments
People are confusing the lens models, with the nl estimator used, with the framework for calibrating cameras. There is no such thing as the OPENCV lens model. There is such a thing as the brown lense model as implemented in opencv.

The lense model is the parametrized approximation of the lense function. Picking the right one matters for ideal accuracy.

The estimator takes observations which constrain the parameters of the lens function, and find the parameters.

The framework helps you create those observations.
I think you'd just get the first letter of the country code and not a flag at all.
I disagree with this article. The author takes some very edgy cases such as "undergraduate student" and "transgender CRP number".

Even the example for the restaurant and "time based id number" are bad because they all indicate that you just badly identified the entities (in DDD terms) and their identity.

So being bad at DDD doesn't mean that you can't use natural keys (although I myself have arguments against them)
I thought the thread here was re: Interrogating the model and improving its calibration, as well as using different models. I know from working down the hall from Dima for a few years that mrcal has done both, and in domains beyond and more challenging than those described in this thread. So I mentioned it, that's all. Nothing to say beyond that, but I wish I had more to contribute.
Great to talk to a Brazilian with a "HN mindset".

I have Brazilians in my team and have done business there (including Agrotoken [1]) which prioritized focus in that a agricultural business there. Having said so and comparing to Latam, I found Brazil state institutions such as the central bank and justice branch much more stable, and independent beyond the specific policies and political wing past governments had. Another example is the Pix payment system [1] which would be the envy of other countries. In a nutshell, Brasil could seem slow in many aspects but doing firm actions.

I am leaving aside the talk about poverty, climate change, etc which I think deserves a separate discussion and should be extended to many other countries.

[1] https://en.wikipedia.org/wiki/Pix_(payment_system)

[1] https://www.agrotoken.com/en/home
Here we have the most important findings about this particular printer:

>The past few years has seen a step-function in the competitiveness of products out of China, and SLA 3D printers have been no exception. The Form 4 sits at a pivotal moment for Formlabs, and has parallels to the larger geopolitical race for technological superiority. In general, Chinese products tend to start from a low price point with fewer features and less reliability, focusing on the value segment and iterating their way towards up-market opportunities; US products tend to start at a high price point, with an eye on building (or defending) a differentiated brand through quality, support, and features, and iterate their way down into value-oriented models. We now sit at a point where both the iterate-up and iterate-down approaches are directly competing for the same markets, setting the stage for the current trade war.

From somebody who obviously knows more about things like this than the general consensus (or lack of it) in places like Washington, DC.

No surprise, that's a place with very little ability to understand complex things, especially technology and its impact.
>Basically the article is defining time in terms of...something that's defined as keeping time.

No, it's defining it as something that oscillates (literally: an oscillator). Nothing about the concept of time, calendar or otherwise.

The analysis is that the flow of time we experience and the properties of time are an emergent property of this kind of physical behaviors existing.
An interesting game idea! However, currently it does lack tension. There doesn't yet seem to be a limited number of "moves" and guesses, so there is no danger of failing, and therefore less of a sense of satisfaction when you win compared to, e.g., wordle.
Because it might be in fact easier and simpler to implement it on backend?
A VIN is not a surrogate key. A surrogate key must, by definition, have no semantic meaning, and not be composed of parts from multiple domains (among other requirements).

A VIN encodes the following:

* Country of origin

* Manufacturer

* Vehicle type

* Vehicle model

* Engine type

* Transmission type

* Model year

* Manufacturing plant

* Serial number
this is not specific to the packrat parsing algorithm; any algorithm for parsing pegs has the same behavior as packrat. your understanding of peg semantics is incorrect
Wait ... you download random compilers from the internet? Or are you asserting equivalence between getting go from Google or Xcode from Apple and an random home brew install?
Although if you do have a shortage it can make a world of difference. But do make sure to get a blood test first, don't just take it and see, because Vit D is fat soluble and will build up in your system.
This grammar is difficult to adapt to ordered choice, having 4 possible variants that mostly define different languages from each other and from the "same" grammar with traditional parsing.

It's a formally very different problem from spontaneously and arbitrarily disambiguating an ambiguous grammar, but in practice it causes the same kind of suffering and it's likely to be a more common issue.
Phi-3-vision in 50 lines of C# with ONNX Runtime GenAI
In this blog post I’ll show how to run the Phi-3-vision model, which is a multimodal model that supports text + image inputs, with .NET in a similar fashion with version 0.3.0-rc2 of ONNX Runtime GenAI based on the Phi-3 vision tutorial and phi3v.py.