skysight-inc/HackerNews huggingface dataset:
Pricing for pg should be easy to compute

20M vectors @768 is about 62GB, for 32bit, not even quantized. AWS RDS will put it at 83USD/m (db.t4g.small, 2vcpu 2GB RAM). But that's not with egress, backups, etc

Seems acceptable at least for a POC?

A better option if you already have the data in the same instance, but developer experience being low scares me. Anyone tried it? How did it go?
Phones don't change that much anymore so people keep them for longer. It's easier to offer OS updates when not much happens and you're creating new versions of your OS anyway so there is very little downside.
And the comment also said:

> …but why are we testing it in the middle of the night?

Referring to the test occurring at 2:20 pm ET, leading the other poster’s question which wasn’t about the part you are quoting.
At least Canada still has 3G. I had my phone set to “downgrade” itself to 3G overnight so I can sleep soundly through amber alerts and nuclear incineration.

Canada sends our amber alerts at the “presidential” level.

I think Ontario tightened up its criteria for these alerts. Haven’t gotten one in a while.

They were mostly joint custody disputes where it’s highly debatable anyone was in danger.

There was the one where the father already murdered the kids at home. Police could legally light up 11m phones but couldn’t legally kick down his door.
Many of your examples could definitely be caught by static types, depending on the type system. But that’s less important than…

> This is actually very important since "type bugs" are trivially easy to catch

This, IMO, is exactly why I’m in the static type camp. It’s so trivial that you can do it declaratively, inline with the code it’s testing, with instant feedback, at every call site and in every downstream expression/statement. A type annotation doesn’t mean my semantic/domain logic is sound, I still have to test that. but it could replace dozens of trivial tests orthogonal to the logic I care about… tests which, let’s face it, few people are going to write exhaustively otherwise.
You can’t open source it but the government could nationalize it and make it a benefit to small businesses everywhere without the anti competitive profit seeking motives of a private business controlling it.
> Because the compiler can't check program correctness only type correctness

How is this evidence for it being a waste of time? No solution is perfect yet many are worthwhile.
Is there a reason to use this over, say, Render?
> iPhone 6s life extended 2 more years with a non official battery

Apple fixed that glitch: https://www.ifixit.com/Answers/View/802054/Unable+to+verify+....
Pure Remote Jobs from “HN: Who Is Hiring”
16 giant speakers low volume and lights

Skazi is a relative of a friend of mine, not me. I’m another guy :)

I’m DevOps, providing lots of support in between my daily tasks. Not streaming etc.
That aren't as good as Ublock Origin for Firefox. There's also no AFAIK way to do something like what NoScript does for Firefox.
This is great! Thanks for sharing! I've been curious about Godot too.
Is anyone else confused by the inclusion of a temperature sensor? Was there a demo that explains why anyone would want this? What?
May I interest you in some unmentioned static analyzer possibilities for Clojure:
https://github.com/clj-kondo/clj-kondo
https://github.com/jonase/eastwood
You seem dissatisfied with Clojure in your day job -- I am sure that there are others that would be happier in your situation.
Yes it would happen in JS/python/etc as well once (2 * allOrbitFiles) > Memory. Cool fix I never think about my arrays being larger than memory haha.
I had very similar idea about 13 years and it festered for years due to lack of time and fact it was originally implemented in Scala + Swing.

The concept is similar user must write code to solve problems involving a "rover" on a grid.

I took some time to make a ScalaJS + HTML version recently, but it still in perpetual alpha-alpha status. The language I invented is minimal and a bit esoteric. Not really a teaching language. It very primitive compared to Elara.

https://github.com/daltontf/coderover-js

https://daltontf.github.io/coderover.html
Yes! This is a steep increase in price since Pixel 7. Googles upgrades are not going to happen for 7 years on Px7, but hopefully GrapheneOS gives my phone a few extra years.
Then it's a clickbait title.

Communicating badly and then acting smug when misunderstood is not cleverness.

https://xkcd.com/169/
What did McCarthy offer the Democrats for their support?
Google Plus had this feature in 2013:
https://www.dpreview.com/articles/1400574775/hands-on-with-g....
I think people were surprised Google did the work to upgrade it to Android 13 but only did a couple months of patches for it. I think the old promise was 2 years of major os and an additional year of patches.
Unit tests and types solve somewhat different problems. You can force a unit test to check everything a type system does with effort (mostly by throwing wrong types at your API and verifying you get an error), but I'm not sure how you would use the type system to enforce sort() actually sorts. Sure sort can take a listOfFoo and return a sortedListOfFoo - but that doesn't verify sortedListOfFoo is actually sorted - and in many cases I want an API that is find with listOfFoo but should handle sortedListOfFoo as well.
I'm talking about how societies can be organized, not claiming that US society in October 2023 is organized that way.
I understand and empathize with your view. I question the assessment that the properties are too large. the amount of square footage needed depends on how you live and what you do with that space.

When I lived in smaller urban apartments, I tended to the monastic. I gave up hobbies and stop making things. the larger the living space, there is more room my life for hobbies, makerism, romantic partners and pets. I suspect I'm not the only one. My experience leads me to believe that in your living space, is gotta be enough room for each person to have their own space that contains their clutter and can have some space from their partner without leaving the house.
Linux is usually king when it comes to networking and configurability - so I too am really surprised it isn't an option to do something sane.
My SO is holding on to a first-gen iPhone SE for the exact same reason - I don't know what kind of hands manufacturers expect people to have, but at this point I'm all but certain that modern flagships are too large for most of the population.
Reminds me of PonderNet [1], which dynamically changed how often the network did a calculation.

[1]: https://arxiv.org/abs/2107.05407
pixel 6 and 7 have severly weak fingerprint sensors, they overheat, and have basic telephone connectivity issues. its unfortunate not to see any of these basic table stakes addressed and instead just get a dog and pony show for the camera software and how it can produce fake photos
The important this is that, as mentioned in the article, you need to have a way to converge states in a way that obeys certain properties.
why has this comment been downvoted? I think it is a fair point.
I often rename a field in a typed language, just as a way to ask the compiler which parts of the code are affected by or use that field then I continue my reading there.

Its like a grep, except it can, for example, differentiate between "name" (of user) and "name" (of project)
The same thing happened with photo magic eraser, but it eventually was released for other devices.
You don't need Marxism to achieve any of those things.

And no murdering millions of your own citizens along the way, yay!!
Piracy is the only real alternative
Article claims it comes from the opium poppy. Huh...
The government can't just take away all your cash on a whim without any notice. That's why, I guess, some people prefer cash. If you want to use cash, you want local shops to accept cash. Personally, I'm OK with being cashless.
IBM’s Energy-Efficient NorthPole AI Unit
This is sad. I really wish consoles were more open platforms than they are today so people didn't have to jailbreak their devices to run stuff like pretendo and install homebrew. Also imagine how cool a replacement E-Shop would be.

Someone really needs to work on creating a open console or even one with a form factor similar to the 3DS/DS. I mean imagine how cool a analogue pocket DS would be or maybe even a fantasy console based on the DS. But regardless I really wish consoles weren't so locked down.
Your posts and comments are not "shadowbanned" (or dead). If they were, we wouldn't be able to reply to you.

Not every post or comment does well. You'll be better off if you don't take it so personally.
Unity is an advertising company that also has a game engine hobbyists use - I don't think what they did was necessarily a bad financial move, they just shafted the part of their userbase that doesn't generate much money and then wound it back when they realized it was really bad PR.
What was the last good Netflix exclusive that made it more than 2 quality seasons
Security Certification Roadmaps
Don't be a cunt.
Largely invisible once it's in a case
Doesn't everyone have those? Like, I'm unlikely to really engage with someone about my health unless they're a doctor or otherwise have some area of expertise. Or if it's just a casual, friendly conversation, to kill some time.
Regarding how the multiplayer works:

> Backend servers will be created on-demand to host your game, and will be automatically shut down when no one is playing. This means that you don't need to worry about getting and managing servers for your game; that's all handled by us.

This is a bit jarring to me. Because everything else about your platform is extremely open. Open web technologies. But then the server management is closed. I'm sure this is just the best way to do it for now, but for some reason I was hoping for something that would better match the ethos of the rest of the technology, idk...

Maybe I was expecting WebAssembly to run a server from my browser?
So if you browse to any game on you should see a download button to the left. Sorry to hear that the website doesn't feel good! Which parts of it specifically are you referring to?
Would Amazon be obligated to list the items regardless? Otherwise just dropping pricing conditions would only help those sellers that Amazon has enough interest to list regardless - for some products the "equilibrium" might not be great.
Same situation. I have both, my work phone is an iPhone. I just don't like using it. There's nothing major, both operating systems are capable, but there's little reminders everywhere that Apple is the one dictating how the phone can be used. Can't organize home screen icons. Uncontrollable notification spam by the system. Apple's apps mostly don't have individual privacy controls. Apple maps. Limited optical zoom. Having to find and use a special cable.

All of these are minor gripes (and the latter even resolved going forward), but why pay a premium for a device that irritates me?
I can't speak for stock android, but I can say AOSP (GrapheneOS, CalyxOS, lineageOS and such) is a much better experience than iOS.

The free software ecosystem is nice cause the mobile apps are way more functional. You can do almost anything you can do on your laptop. Syncthing, K-9 mail, newpipe, firefox (with ublock), orbot, libretorrent, etc. are a few pretty good reasons to use AOSP.

its kind of stylish too. google put out this "material you" thing which basically makes it so the whole OS uses the same color pallete.

The only thing I miss about my iphone was that it was nice and small and could be used in one hand.

Sorry to hear about your shadowban, it's annoying.
It's all about Power. In an organisation, the person making the "biggest decisions" (largest budget, biggest plan, further in the futur) is the facto at the top of the hierachy and calling the shot. SCRUM is all about making sure developers are not involved in long term planning and allowing non-technical people to be in charge.
Nintendo is happy to make money off the NES intellectual property, defending it more aggressively than anyone else in the industry. They will do the same for the 3DS and WiiU.

That they are releasing emulator-based ports shows that the platform is still alive, and yet, they stop supporting the actual hardware.

It is totally within their rights to discontinue support, and it is not even unreasonable, but unlike some companies that offer some nice "parting gifts" when they do that (ex: open source, DRM free version, or just free credit), you will get nothing but lawsuits from Nintendo.

At least, you will still be able to play the game you bought, there are more evil companies out there.
>:) Easy there, let's not make all the naysayers who say it only just predicts plausible words sweat.

I am a huge proponent of machine learning but these transformer architectures really _are_ just predicting the next token (word) that fits in.

Yes, it can perform basic (and even seemingly complex logic), but this is purely because for the string "What is one plus one?" the next token with the highest score would be "Two."

It's not analysing a task in that it's "ideating", it's simply generating the next best token. That's literally how the transformer architecture works.

Of course it can convert something, it's going from png image data->arbitrary tokens->svg tokens. It's still a relatively linear process. I bet if you dig into that project it'll still be doing it token by token/chunk by chunk.

I can't wait until we do see a genuinely nonlinear model though, where it can ideate using a cloud of higher dimensional non-linguistic tokens to represent a thought process or idea.

Granted, I do think that these models are in many ways still doing what parts of our brains do; I think people's resistance to some of these models is in large part an unconscious reaction to thinking that our meaty brains are "special" and that we'll never achieve consciousness in a machine.
> China has won nearly 300 medals so far in the Asian Games, which are currently taking place in the Chinese city of Hangzhou. It is due to go on until 8 October.

171 gold

2nd is Japan with 37 gold medals

Quite impressive

Tech, Space, Sport, STEM, China seems to be doing something right despite the bad press!
The destructive power of human intelligence isn't the stuff of fantasy and fiction either.
My experience with my own pixel 7 pro and a pixel 5 has been that these devices are an order of magnitude lower in build quality than Samsung or iPhones. I really, really wanted to be happy with them but they've been a never ending source of frustration.

My pixel 5 just stopped turning on one day about 2 years in, and my pixel 7 pro had the volume and power buttons fall out about 3 weeks in (not due to a drop, after googling it's apparently a very widely seen issue).

The service with iFixit was unhelpful, they told me "We keep seeing this and Google says this is wear and tear. We can't submit it for a warranty repair, and if we try we end up eating the cost". After finally complaining on twitter I was contacted by some support person who said to give iFixit this email and they would fix it. They still refused, and after a few more rounds of interactions like that I eventually bought some replacement buttons on Amazon, popped them in, and put a case that covers them on it. I'm fully expecting this to randomly die some time before 2 years is up.

Combine that with Google's extremely strong tendency to abandon everything, promises like these seem well, worthless.

Meanwhile my daughter is using my wife's old iPhone from 8 years ago. My Samsung note 3 and my s8 still boot up and work just fine (though I cracked the screen on one about 5 years ago). It's just so obvious that these phones are very low priority to Google, while other companies base their business around their phones.
I would say that if you want to do 'clean' Rust you could certainly end up in a maze of reference lifetime problems. However here your escape hatch is that you can just clone stuff or wrap it in Rc/Arc just to get it compiling, which is arguably the moral equivalent of sneaking a global or two into a python program: icky, but gets the job done
> You sure can rock a concert while being high, not so much in withdrawal, and you wouldn't want you bus driver, nurse, teacher or pretty much anyone else around you be in either.

These are problem behaviors with or without prohibition. And prohibition doesn't seem to reduce them. So you have not fixed them with prohibition, you have only imported the additional problems of cartel drug manufacturers, violent drug gangs, purity dosing and adulteration deaths, infectious disease spread through dirty needles, political corruption, an oversized militarized and swamped criminal justice system, and all the crime associated with needing to rob, steal and whore for drugs priced at 100X what they would cost if legal.

> But sure, feel free to count yet another dangerous, addictive, yet inexplicably socially accepted psychoactive drug in the same list with heroin - coffee.

Also pornography, sex, gambling, shopping, etc. Chemical dependance is neither required nor sufficient for addiction to be a destructive force in a person's life. What can't we ban if we decide it is sufficiently harmful?
PERT is at its core a risk mitigation process. The node redundancy aspect allows culling unproductive teams, departments, and or entire divisions as needed.

And yes, attempting to cost-optimize production of intangible assets is a fools errand. Things cost what they must relative to market conditions, and if something is indeed unfeasible.. no amount of marketing hype will change facts.

"TPS Reports" and the meeting with Bob:

https://www.youtube.com/watch?v=BTdOHBIppx8

=)
ET, EST, EDT, EST5EDT, US/Eastern, Zone R, and various America/* timezones are all defined names for this zone in various standards.
Rambus is an interesting company. I can't vouch for their crypto offerings, but they have been around since the 90's and at one point pioneered high-speed DRAM interfaces. Lots of what we see in DDR today is based on ideas and concepts they pushed forward in their proprietary interface. Early on, they definitely did innovative work.

IIRC, their interfaces were used in some Sony play-stations and also some Intel systems.
Blockchain is not redundant because blockchain provides non-first-party ownership authorization and would enforce the transferability of the product.

Like, right now, if I buy a digital good on a game console, my "ownership" of that good is controlled by the vendor. They can take it away on a whim, or simply because they no longer want to maintain the server that says "yes, Pxtl owns this".

If that ownership is stored on a record outside of the first-party infrastructure and the software must authenticate my ownership against that 3rd-party, then that 3rd party is the one that controls whether or not I own the software, and is responsible for keeping that service live.

And a blockchain, flawed as it is, is a decent solution for managing ownership of goods without having the infrastructure owned by a single entity who has to maintain it and can take it down on a whim.

I mean, an ICANN-style neutral 3rd party with specific policies about lifetime and transferability of ownership that just runs this on a regular-ass SQL server would be fine too.
It is. I know what 古典小說 is (others have already said, "classic novels").

I just don't know what "古典小說 tier" means since I don't remembered they're known for "high-intelligent politics".
This is not about type annotations, it’s about type systems. You can write Haskell programs without any type annotations. Your program will type check and compile just fine. The value comes from the checks (as well as the inference, documentation, optimization, and everything else a modern type system gives you), which you don’t have to write yourself, you get them for free.

People who say they prefer dynamic languages are really just saying ‘no’ to all these free benefits.
You know, I‘d always been like “`from pdb import set_trace: set_trace()` and you can interactively edit. I don’t care what the type is because I can interact with my running program better than a compiler” (followed by intense nerd chortling).

You know, until the program is non-trivial: passing data between systems on a queue; using async, threading, and/or multiprocessing; compiled binary critical-performance libraries… and I’m left wishing I’d written the whole thing in Erlang.
Awesome! I've spend 30 minutes searching for an alternative, but it's all crap. This looks really good! Simple light weight, we basically just need a simple gui over curl.. Thank you for this

May I ask why .bru? I would really recommend using a standard format. https://xkcd.com/927/ etc..
Lobbying needs to be rate-limited to match what individuals can say.

Level the playing field by making the largest possible political contribution equal to a multiple of the minimum wage which one could reasonably expect someone earning that to donate in a given year, then require that each contribution be made using a check or money order mailed with a hand-written note in a first-class envelope.
i charge my phone to only 70% and my previous phone (pixel 2xl) after about 5 years of usage had still about 95% of capacity
I'm using Accu battery app for alerting when my battery is charged and chargie dongle to cut power when I want to just plug phone for night
I live in a low-trust society, so they wouldn't have accepted something like that. Had they offered, I might have said yes and gone back later. But I was mostly just pissed they didn't mention it on the phone.
That’s not how any of this works.
An alibi shows the investigators that you aren’t a suspect. It happens before anything goes to trial. I’m not in favor of location data collection, but once it is collected it can be an easy way to show you weren’t involved.
I'll add txtai to the list: https://github.com/neuml/txtai

txtai is an all-in-one embeddings database for semantic search, LLM orchestration and language model workflows.

Embeddings databases are a union of vector indexes (sparse and dense), graph networks and relational databases. This enables vector search with SQL, topic modeling and retrieval augmented generation.

txtai adopts a local-first approach. A production-ready instance can be run locally within a single Python instance. It can also scale out when needed.

txtai can use Faiss, Hnswlib or Annoy as it's vector index backend. This is relevant in terms of the ANN-Benchmarks scores.

Disclaimer: I am the author of txtai
Pixel 3 no longer receiving updates.
Growing an OTT service via user-sourced subtitles
Omkiran Sharma, Head of Video Engineering at Rakuten Viki discusses Viki's origin story and how their user-sourced subtitles led to explosive growth in the early years of their service. He also discusses their video "diff" process to share subtitles between multiple pieces of content that are slightly different from one market to another.
It was the reverse for awhile. The Pixel had an outdated image sensor, but managed to pull off decent photos through software: https://www.theverge.com/21496686/pixel-5-camera-comparison-...
It seems as my logic holds in the sense and case that it is “an inversion of meaning in some way” - whether that can be argued as an opposite, inversion, chiral disposition towards 0 or away from 0, who knows!

But most intriguingly it applies that subtraction and division don’t have the properties you mention which is a symmetric “anti” feature of these operators and seemingly can be reduced to the primitive function of addition or subtraction as multiplication and division are just meta operators acting as a loop.

At least this is how I’m viewing it.

There’s an intuitive sense that symmetry breaks when you take away (reduce) compared to add which is in parts of a whole.

And then to realize you can use addition to implement subtraction is where my brain starts to melt even though it’s relatively straight forward. Everything is just addition, the holy monad, the primordial dimensionless unit.