skysight-inc/HackerNews huggingface dataset:
There seems to already exist a speed up while emitting common strings and a noticeable pause when the next token is more ambiguous. I had attributed it to the model being able to short circuit execution when all probabilities were accumulating in the same bucket.
"Kilometer" is another popular unit, which is never called "kilo", lately I heard it's informally called "click" in US. Logic is the same, kilometer means a thousand meters, and meter is the base unit of length.
Keystroke timing attacks have been known for quite a while - heres a highly cited paper from over 20 years ago: https://www.usenix.org/conference/10th-usenix-security-sympo...

Recently there has been some work on using audio of keypresses to determine what's been typed: https://arxiv.org/pdf/2308.01074.pdf .

The statistical analysis described earlier works better when you have samples of a person's typing to try and learn whats been sent, but the acoustic work has raised some concerns that ML techniques can be used on just packet timings to determine what's been typed without a pre-determined signature. There's also concern that all that telemetry programs and sites send about you may be abused to build a signature of your typing patterns as well.
Had a boss when I was a PM somewhere jumping from tool to tool (Aha, LucidChart, etc) using that as a justification for why we didn't have a coherent roadmap.

About a week in I finally couldn't take it anymore and blurted something along the lines of "tools are for visualization, if we can't simply put a skeleton of the roadmap in a spreadsheet then we don't understand what we're doing here." We did not have a good working relationship
Nintendo Is Shutting Down the 3DS and Wii U Online Services
After Killing the eShop earlier this year, it was only a matter of time. Thankfully, there is pretendo.network
he hasn't done anything for GNU in over a decade, this is just preaching to the choir
https://news.ycombinator.com/item?id=13891900
If it requires a cloud login to operate you don’t own it.

People need to learn that in most cases cloud is an anti feature. When you see cloud think “no privacy, monthly fees, enshittification, it’ll become a brick if they stop running the service, and it won’t work if my Internet connection goes down.”
Interrupts Is Threads
It's not a LibraryThing or GoodReads; it's meant for libraries that are institutions. That said, I don't think there is anything stopping an individual person signing up and entering their collection, but there would be no point in paying the fees unless you had (say) a unique scholarly collection and wanted to lend books to other libraries - and if so, in the long run you'd likely be better off seeing if a library wanted to acquire your collection.
> There are definitely uses for untyped languages (or language variants), for example they are much nicer when using a REPL, or for throwaway scripts in environments that are already hopelessly untyped (e.g. the shell).

I think nushell disproves this example :)
Is this one able to call 911?
Rust is not the language for you if you don't like traits
Have they considered languages with type inference?
Very cool! I could see this being a fairly addictive mobile game.
Hey all, this is my somewhat silly-titled blog post about how we model interrupt handlers as threads in embedded rust, and how that allows us to leverage the same Sync and Send compile time checks to ensure interrupt-safety of data.

Happy to answer any questions!
Right of way has nothing to do with colliding with people or cars. If I enter a 4 way stop second, but ignore right of way and go first that doesn't mean I'm going to hit another car.
Small smartphone like iPhone SE1 (speakers + echo-cancelling mics) mounted on a boom mike stand , e.g. https://www.amazon.com/gp/product/B07V2FJL54/
I read this and it's just insane to me -- would be like arguing for svn to come back instead of all this 'git' nonsense. The battles were fought and svn lost.

Agile became adopted because waterfall is suited for construction projects or factory floors not software development. It accounts for the fact that software developers are very poor estimators (even the best software devs) determining how long things take to build or implement.
Can you link to a similar example using WASI?
how you didn't jump straight to "faxis" is beyond me
I want different things at different times. When I'm first exploring a problem space or figuring out an approach or fooling around in a REPL, dynamic typing is great. In those circumstances, the ability to quickly test (and reject!) ideas is critical, and I don't usually find static typing worth the friction. On the flip side, when I'm working on something longer lived or mission critical, it's important to set the maintenance brigade up for success. That means, among other things, useful doc strings; detailed and informative design notes; and type declarations with the right level of specificity.

Of course, the coin has a thin edge where the situation is a bit of heads and a bit of tails. Count me a fan of gradual typing.
I'm really glad to see both the partnership with iFixit and the 7 years of support. Because everything else seems mostly meh to me, and while I'm upgrading this year from a Pixel 6 Pro, the continued diminished returns make it seem likely that 2-3 years from now I won't have as much reason to.
> It's fast compared to other dynamically typed language implementations

true

> it's still very slow compared to basically all of the popular statically typed languages.

Not true.

The main slowdown for javascript (AFAIK) is the checks the optimizer has to put into place to ensure the assumptions it's made about the type are still valid. If, however, those assumptions are valid then javascript ends up emitting pretty much the same assembly that you'd see for and highly optimized statically typed language. In fact, there are some circumstances where it can beat a language like C++ or Rust due to the fact that it has to incorporate runtime information into optimizations.

With C++ or rust, if you add dynamic dispatch, unless you are doing PGO and whole program optimization, you are pretty much sunk with 2 memory lookups on every function call. This is the case where javascript can end up beating C++/Rust.

(All of this is talking about hot code after warmup. During the initial execution javascript will almost certainly always be slower).

Part of the proof of this was asm.js, the precursor to wasm. V8 at the time it was introduced could execute asm.js nearly as fast as what firefox could do with it's optimized asm.js compiler. That is, when you stripe out all the actions that make javascript slow, it very often ends up being just as fast as a compiled language.

What stuff ends up making it slow? Generally speaking, stuff that makes the types unpredictable (adding fields, removing fields, sending in a number and a string and expecting the VM to be able to handle both).

You can see a lot of this writeup around the discussions about why Dart was originally "optionally typed". Basically, the entire selling point to make dart fast was simply to remove the abilities to dynamically change types like you have in javascript. With that, the VM authors at the time were capable of making a VM that's every bit as fast as what Java has.
And why would anyone care about what a CEO says?
The weekly sales flyers that stores offer was/is another way around this as well. Some of them have coupons to specific items that are not allowed to have sales prices lower than the MSRP. Very few people are as draconian about their prices as Apple, but others sure wannabe.
There should be a `curl | sh` in this, a security-oriented product? To demonstrate how badly you need it, perhaps?

Please don't pipe the Internet directly into your command line.
the USD is much more important
Google either finds my results or hides it with SEO spam. Kagi either finds it or doesn't.

In either case I need to re-search, but at least I didn't contribute to adtech and have some control over the results.
To my knowledge the best comercially available olive oils that you can get from stores in the EU market are Greek and Spanish olive oils. Italians do have some very good olive oils but one can only get them either from the farm or a specialty store.
Might a bone-conduction headset work for you?

Something like this, perhaps - https://www.amazon.com/dp/B09BVXT8TJ?

(That's merely one example - I know several folks that use similar headphones when biking or running so they can still hear traffic/warnings/etc)
I'm sure that's part of it but also in the same way out of distribution tokens can derail its output, certain tokens will guide it.

In the paper, the model doesn't really learn to use padding tokens effectively till after training so it's the only thing.
That is a great line! Definitely hits home
Somebody typos there age to be too high, and then you cache it forever.

You have to be careful here.
I suppose that eventually, we'll have the metric being actual "money" that the neural nets try to earn (by mining crpyto, or solving captchas, etc.), such they'd have to pay for their own infrastructure costs. It would then be up to each of them to decide if they'd like to spawn "children", and then decide on an appropriate revenue-share model with them (maybe even pyramid schemes).
Yeah! I've seen a lot of re-branding to "plant-based", same meaning, less baggage.
i love this!
"Change your region and language"

No, Google. Fix your shit. You're a global 1.70 trillion
dollar company, not a local microbrewery.
Merantix | Berlin, Germany (or remote) | Full-time | Co-Founder & CTO

Together with Merantix (a leading Berlin-based AI venture studio), we are building the future of the legal system. In today's world, more people have access to the internet than access to justice. The advent and rapid advancement of large language models offer an unprecedented opportunity to disrupt the legal sector. Our goal is to empower every claim owner to execute on their rights.

With over 10 years of litigation experience behind our backs, we have a unique insights in the field. After over 300 interviews we also have thoroughly validated AI use-cases in the legal industry. The initial idea is building an AI-powered legal operations platform, which automatically handles legal queries and claims. We have already developed a functioning prototype and secured first pilots with global insurance companies. Now, we're looking for a cofounder & CTO who will driv e technical development, help us refine and product and onboard first customers.

You can find more information and apply here: https://merantix.jobs.personio.de/job/1164421?display=en

Any questions? Reach out at viktor@merantix.com
There did seem to be some talking past each other. The most kind to NIST explanation is they wanted DJB to say something like "Adopting Kyber-512 is bad because it is likely to be less strong than AES-128, and here's the math" while DJB wanted to rebut the analysis that NIST, (hopefully with the aid of a member of the team developing Kyber) had done.

I think there was also a bit of DJB wanting to engage NIST in a scientific debate (and getting increasingly abrasive when this didn't happen), while NIST wanted none of that, preferring that such debates be between researchers.

However from the point of view advanced in TFA, the best published papers implied that Kyber's security was likely very close to another algorithm (that the author of TFA preferred) that was disqualified for being insufficiently strong.
Too expensive for my tastes.

Give me 380USD phone which lasts for next 5-8 years, feels premium, is repairable, camera is decent, replaceable battery, OS is just Vanilla Android with atleast 5 years(more years of Software updates would be welcome) of Software Updates and when you can't provide it, make it hackable enough to install Custom ROMs.
Biden cancels $9B in student debt for 125,000 borrowers
Yes, if you buy the 911+ monthly subscription upgrade
This is available! Check out retroarch (or retropie if you have a pi 3 or 4 laying around) - it’s pretty great! Lots of shaders to choose from but pi-crt has a similar look to this and performs well
Oooooh wow, that strip - no thanks. First impressions of the aesthetic: clouds & bubblegum.
Just heard Lyle Goldstein (visiting professor at the Watson Institute for International & Public Affairs at Brown, Director for Asian Engagement for Defense Priorities think tank, former professor for 20 years at US Naval War College), say on the Nonzero podcast that in the event of conflict in Taiwan, it's likely that China has securing TSMC facilities and staff as a goal (but not a primary goal), and that the US likely has TSMC on the target list to destroy: https://youtu.be/91QM9W0QAjo?feature=shared&t=1950
It calls the real number, 9-1-2.
> The difference here is the government wants to impose cost on businesses to solve problems it should be solving.

Handling cash has been an accepted cost of business for over a century, but now it’s somehow an undue burden to continue doing so? Hogwash.

> It could solve them by issuing every homeless person with a credit card that gets topped up by X a month.

That sounds like a solution in search of a problem. Good luck at getting something like that implemented in the US.
It's a step in the right direction.

I wonder if Fairphone has something to do with this, having announced 8 years updates for their latest model.
You basically can't shop for products with many options on amazon anymore. It still works for books and things where you know you are getting the right product. But for most goods its easier to use Apple Pay on a shopify store.
Somehow I felt that at least part of the articles was generated by a LLM. It’s unfortunate to see that a new bias has started to creep up. Whatever I read now I second guess and I feel it maybe partially or fully generated by LLMs.
> Kevin O'Leary became a meme for promoting this bullshit:

The women is Amanda Lang,[1] and the two were a 'duo' for many years with a business/finance reporting show. I'm not sure how she managed to put up with him for so long. :)

[1] https://en.wikipedia.org/wiki/Amanda_Lang
Pair of aces counts as 1 instead of 14? Bug or was it like this originally?
And that is why this case is being brought. Amazon are requiring that the price on Amazon is the cheapest price, even if the retailer would like to sell it on their own store (or eBay, Walmart, etc) for cheaper. If it’s sold on Amazon you won’t see it cheaper elsewhere.
This is the reality and thanks for saying it. Bullies and harassers get so used to having their way that they think they're being victimized when others call them out for bullying and harassment.
Is the problem really tools or is it that there are few people who can think in this way?
I find it interesting that people in this thread seem to have absolute certainty that "types good" is true, while to me those two words together are largely non-sensical, just like "bytes good" wouldn't make much sense to debate.
Allergy study on 'dirty' mice challenges the hygiene hypothesis
First commit in 2018, crazy how sparse webGL is on the web still.

I feel like I have seen someone use this repo in a successful ios app as well.
I'm not sure what is worse, loving dynamic languages or having all these pre-existing conditions
You should add that to the post.

"Please email your resume and an optional hand-crafted cover letter to {email}. Please don't send me an AI generated cover letter. I'd rather get no cover letter than an AI generated one."

Or something to that effect.
Sadly, you are part of a minority that rarely gets any attention from mainstream manufacturers.
Curious about the lack of Vespa, especially given the thoroughness of the article and its long-time reputation. OpenSearch is also missing, but perhaps it can be considered being lumped in with Elasticsearch due to them both being based on Lucene. The products are starting to diverge, so would be nice to see, especially since it is open-source.

For the performance-based columns, would be also helpful to see which versions were tested. There is so much attention lately for vector databases, that they all are making great strides forward. The Lucene updates are notable.
I've been working on a new Ruby SDK for Extism 1.0 if you want to check it out: https://github.com/extism/ruby-sdk

I added host function support and cleaned up the API a bit.
Well as an iOS user, the last iOS release fucked me up pretty badly. Ergo, I would assume the same is possible from Google.

What I'd like is an exit route for my hardware aka LineageOS. But of course the core of Android is Google Play Services, not the OS so that's a painful situation if you want to retain some apps when you switch over.

I used a Pixel 6A for 3 months while I was travelling internationally and I liked most of it.
Quote a source or take this comment back to reddit.
Of course. All things require care. Not all problems fit into CRDTs either.
Trivial benchmarks where all of the significant data structures and networking are done in C++ and the tiny amount of Javascript is just passing some strings around. I guess it's "fast" if you can restrict yourself to little more than hello world where you do nothing more than pass a few strings to functions written in faster languages.

Notice that in the Java, C#, Go, Rust, Swift or Ocaml benchmarks almost all of the underlying data structures and much of the networking stack are built in the respective language. This is not possible with Javascript, Python, Ruby etc. because it would be ludicrously slow and extremely memory inefficient.
Forcing adaptation purely for the sake of newness without benefit is also a weakness.
Cash is not resilient in some pretty important ways:

It is vulnerable to counterfeiting which mean citizens lose out regularly as they don't have the means to check all cash is valid as shops or banks do.

Physically it is vulnerable to destruction and cannot be replaced if burned for example, unlike a bank card or other token of identity linking you to your funds.

It is vulnerable to devaluation (in has this in common with electronic cash)

In the event of societal collapse or degradation it becomes worthless fairly quickly, which is the opposite of resilient.

Cash is not at all resilient compared to electronic money therefore, and people are voting with their feet to get rid of it, laws like this will just delay the inevitable for a decade or so.

Bank cards will also disappear pretty quickly IMO (next couple of decades), as they're just a physical token of ownership and not really required if you can rely on say a combination of biometrics to assert identity.
We want to identify and fix problems as early as possible; ideally, before we even write them. Problems cost exponentially more to fix the later you catch them, and the damage they can cause only grows with time. Static typing lets you identify problems earlier than dynamic typing, full stop. In fact I'd rather have strong static typing and 0% test coverage than dynamic typing and 100% test coverage -- in the latter case, I'm catching problems much later, and I have the maintenance burden of all those tests, 70% of which are only there to catch what static typing would have already found.

The best mix for me is to lean heavily on the type system and only lightly on tests, trying to write code that is simple and "obviously correct". Obviously-correct code has already had its problems ironed out in the first 6 or so bullets below, and there is very little room for further bugs to hide. Of course even "obviously correct code" can actually have bugs or be subtly incorrect -- a better definition is that any surprises in such code would also be surprises to the tests. The tests are nothing more than mirror images of the code, and therefore are not helpful or necessary. Static typing helps me think about the problem clearly, and helps me write "obviously correct" code.

Here's my working list, in order of preference of when I'd like to find the problem. Every time you drop down this list, the cost to fix the problem gets multiplied by some small factor ~1.5 to 3.

- Initial ideation ["Facebook for dogs? That idea sucks."]

- Requirements analysis ["That's not actually how we calculate that metric."]

- Conceptual system design ["Wait, these parts don't fit together like that."]

- Low-level design ["Crap, a loop won't work here, I need a different flow."]

- Brain-to-fingers typing ["Whoops I almost typed 'elesif'"]

- Immediately post-typing [Red squiggly line under 'elesif']

- Re-reading ["Wait that should be i-1, not i"]

- Compile time ["SYNTAX ERROR: Unknown identifier 'elesif'"]

- Unit test time ["Assertion failed: expected 7, got 8"]

- Code review time ["You didn't handle the case where N is negative"]

- Merge / integration test time ["Oh crap, David's commit broke my commit! How the hell do I merge this?"]

- Internal manual testing time ["You need to tighten up the graphics on level 3"]

- Production ["The users say the application keeps crashing when they run this report! Fix it!"]

- Years later/never ["It turns out that the analysis code we've used for the last 10 years had a major bug in it the whole time and we've been giving wrong numbers to a regulatory agency that has the power to shut down our company."]
It is great that his prognosis is good, but who is stepping up to bring the movement into the next generation?
The video is impressive. I don't know about side effects or mid- or long term consequences, but being able to have some months with better life quality certainly pays off.
The sky is still blue, the lack of light means you cannot tell, but the color is still there.
Sounds believable because Google has built up a reputation of killing projects out of the blue.
I'm pretty sure Google Docs use Operational transformation (OT). Google Docs pre-dates the paper that defined CRDTs. It's certainly possible they've updated their algorithms since then though.
* Location: Lahoma, Oklahoma

* Remote: Yes

* Willing to relocate: No

* Technologies: Ruby on Rails, Javascript, API, HTML, CSS, AWS, Postgres, Hotwire, Stimulus, Rails 7

* Résumé/CV: https://ashley.boehs.com

* Email: ashley@boehs.com

* GitHub: https://github.com/ashleyboehs

* LinkedIn: https://www.linkedin.com/in/ashleyboehs/

I'm changing careers from being a music teacher to becoming a Backend Developer, and I'm hoping to find a full-time remote job. I've spent most of this year heads down in a book and my Macbook. I've learned dozens of technologies, and it's been quite the whirlwind of knowledge gaining. I've taken 6 courses, 3 books, and numerous articles and tutorials.

I won't go into detail about everything on my [resume](https://ashley.boehs.com), but suffice it to say it was a bit of frontend, DevOps, and a LOT of backend. What I've learned could be used well, especially around Rails and Stimulus.
I consider that stuff part of the content and weigh it appropriately. Creators who get too obnoxious with sponsored content are dropped from my subscriptions.

The creators I tend to watch the most these days either don’t have sponsorships or they only run their ad at the end of the video in which case I just stop watching or click to the next video.
Take your pick of runtimes. Wasmtime is the most popular right now.

https://github.com/bytecodealliance/wasmtime/blob/main/docs/...
I feel like the elephant in the room is that there's no phone battery that's going to stay useful in anywhere close to that time frame, and replacing phone batteries is usually a losing proposition. I've tried, several times. Fake, low-quality batteries are rampant (usually degrading within weeks), and genuine ones are prohibitively expensive -- usually a significant fraction of the cost of a new phone.