skysight-inc/HackerNews huggingface dataset:
I'm a Penrose fan too. But I don't think CCC envisages any Big Bangs; CCC envisages a future heat death, where everything has turned into solitary photons. Photons have no clock, and don't experience the passing of time; distance is nothing to a photon, the moment it starts travelling, it arrives at its destination.

So a universe containing only photons has no definite scale - it can re-imagine itself as being the size of a grapefruit, or any size you like. Penrose uses this idea to wish away the awkward and evidence-free idea of cosmic inflation.
As we all know, computers stay the same and rarely improve.
I'm not worried because it solves a problem for the semi-competent.
Connection pooling is one area where NoSQL databases shine. Classic SQL is extremely stateful. It was designed was designed in a very different age when it was expected to mostly be used directly by programmers and non-technical users and be as friendly as possible. The SQL standard defines some state that must be stored along with each session, such as temporary tables, current schema, current timezone etc. This means that sessions have a pretty significant memory overhead and generally require a thread on the server side (and probably the client-side too).

NoSQL databases got rid of many useful things when they replaced SQL with JSON query languages and simplified SQL dialect, but I think they got a net positive when they did away with statefulness and replaced that with a simple request/response APIs. With this small you can easily multiplex many in-flight requests on a TCP single connection, and let both the server and the client handle requests on-demand, without having to allocate any memory and threads that serve most of their time idling away. The client (and supposedly the server, if it's using io_uring) can run all I/O asynchronously and increase available concurrency even more.

In short, you can get more concurrency and better scaling predictability for the same hardware since you don't have to optimize the way your connection pools are balanced across different clients. It's really one of these few things which is pure fun and joy and unicorns and rainbows when I'm designing a service with a NoSQL DB.
Got curious how big a front yard would be required to fit a 747.

A 747-100 is 70m long,

Wingspan ~60m.

(I am not saying everyone has a mailbox accessible through a front yard, or even has a front yard, or necessarily a mailbox. Just want to make that clear to the whole internet.)
A friend with specific knowledge about these suits just informed me that these lawsuits are in fact incredibly common. Many large companies have multiple open audits with the feds at any given time over alleged discriminatory practices - in fact so many of them occur that there is a cap set for how many of them can be open at any given time. This is less political or specific than it appears at face value.
Web Scraping for Me, but Not for Thee
So is his computer less harmful than his cellphone?
Reciprocity in Minkowski space is relevant.

In the special relativistic setup in your final sentence, the spaceship occupants could in principle watch our clocks and observe that ours are ticking slowly, with the same redshift.

Observers at a high cosmological redshift cannot watch our clocks at all. They can only look at the even more distant past of what will become our clocks in billions of years, and there's no reason to think that the redshift we ascribe to them is the redshift they ascribe to our precursors.

(Indeed the gravitational redshift from the metric sourced by Earth (assuming "us" are Earthbound) breaks the reciprocity -- if only slightly -- that would be observed in Minkowski space.)
Funny, I remember working at a software security company, in the digital marketing department, and realizing "programming is essentially the language of an elevated priesthood".

I agree with the premise of the article. I think at some people at some companies indeed unnecessarily complicate the software they build, in part, to protect themselves: to make their product appear better by preemptively complicating it in the name of some claimed benefit.
You do realize that's a worse message, right?

"Use GrapheneOS" is an easy answer, capable of being implemented in two weekends by any intermediate computer user, once they decide to take it on.

Figuring out what "easier sandboxing solutions" are actually secure and aren't just snake oil is a much taller order. Especially with the way folk security (mis)advice gets repeated in forums, and the tendency for security amateurs to think more customization choices implies more security.
Use a finger on your right hand to point to a joint/pad on your left hand (not including the left thumb). First, your right index finger goes through 12 values, then your right middle finger goes through the next 12 values, and so on. 5*12 = 60.
It's true. What a challenge!
The idea of sensor fusion is to have some kind of error model for all sensors (and frequently for navigation also a dynamic model of the vehicle) so that you can weigh the various sensor differently based on the uncertainty. The most primitive incarnation of this would be a simple linear Kalman Filter, but you can use similar concepts with more complex non-linear observation and dynamic models
Nice! how's the switch to Ada been? Any unexpected hurdles?
Why salesforce?? It seems the want in on everything fancy in the market (looking at slack)
just to n=1 in the other direction:

We had tons of issues with AT&T. Incorrect billing, getting random charges that weren't ours, and a huge pile of "you have full bars, but absolutely no data and calls can't go through" issues. (during the early iPhone days I worked at the Apple Store, we had a standing policy in several local stores of sending one of our sales reps to the AT&T store across the mall with a customer to get issues resolved because AT&T lied to customers so often to try and upsell them to something else, or out of sheer incompetence.)

After switching to T-Mobile we've had great service, no billing issues, no problems with international roaming or surprise charges, and a couple of cold-calls with offers to update to a new plan which was actually cheaper. The only issues we've ever had have turned out to be hardware related.

I think the truth may be that mobile carriers, much like ISP's, are a complete crapshoot, and reliability/service may entirely depend on which market you're in.
If you want to run them fast, a 12GB GPU (e.g 3060) for the 13B and a 24GB GPU for the 34B (e.g 3090). Otherwise llama.cpp CPU inference would work on most machines.
Isn't HN written in lisp?
Would you agree at least that the founders and initial employees took on the most risk and did the bulk of the heavy lift to get the company to that place? EG does the proverbial guy who ran the company out of his garage for 5 years funding it on his credit card deserve outsized reward for the risk and work he put in?
This is like complaining that tennis doesn't give you any points for engaging your opponent in dialogue or bludgeoning them with the racket.

Some games are about thoughtful planning. Some are about motor skills. This has always been true, and neither one is bad.
For SpaceX to internally segment ITAR from non-ITAR is a huge bureaucratic overhead for them which leads to a possibility of mistakes. Doubly so since one of their explicit concerns is having foreign agents steal their trade secrets. And therefore they have to be guarding against intentional attempts to access what your job role says you don't have access to.

Given that, it makes a lot of sense for them to simply require ITAR compliance in all roles.
alright, i'll ammend my reply. republican politicians are assholes who don't care about imminent catastrophe while democrat politicians care a little more about it but still do nothing effective about it.
Engaging in gender discrimination is probably not the best way to avoid accusations of gender discrimination affecting one's career.
Wow, I can't wait to see that!

>In a series of Instagram posts in July 2023, Coppola stated that the film had been heavily influenced by the following books:

Bullshit Jobs, Debt: The First 5000 Years, and The Dawn of Everything, all works of the anthropologist David Graeber;
The Glass Bead Game by Hermann Hesse;[7]
The Chalice and the Blade by sociologist Riane Eisler;
The Origins of Political Order by Francis Fukuyama;
The War Lovers by Evan Thomas; and
The Swerve by Stephen Greenblatt.[8]
OK, headline is more worrying that it needs to be - makes it sounds like we accidentally killed ALL life on Mars. It's actually referring to possible life in the soil sample the Viking lander poured water on.
So what do you call that big country just west of France?

Exonyms have been a thing for longer than I can remember....
X (Twitter) blocked links to a Democratic political tool for a week
The ice levels this year are definitely a cause for concern.

There's good evidence that 2023 is trending to be the hottest year on record because of reduction of sulfur in cargo ship fuels. Sulfur is a pollutant that reduces air quality but on the flip side, it can increase cloud formation (which prevents heat being trapped in the atmosphere).

https://www.nasa.gov/feature/esnt/2022/nasa-study-finds-evid...

Some folks see this as an argument in favor of continuing to use high-sulfur fuels, and perhaps, intentionally disperse sulfur in the atmosphere. That's a bad idea for a number of reasons, one of which is acidification of rain.

The biggest and most alarming takeaway imo, is that high-sulfur fuels have been obscuring the severity of climate change.
MS has already invested $10B in OpenAI, so they aren’t going to be a buyer.

Google has poured hundreds of million into Anthropic due to Eric Schmidt, so they aren’t going to be a buyer.
> The discrete TPM's threat model was never designed to cover you from attackers using oscilloscope to probe your laptop's SPI bus during the boot process for unencrypted data.

I’m always very confused by this. TPM offers encrypted sessions (setup with the Endorsement Key) for exactly this kind of attack. Why couldn’t the firmware get the keys over an encrypted session? Is it for reliability in case certificate verification goes wrong?
Does Doom: Eternal have multiplayer? How do people feel about it as a competitive shooter?
There very well could be, the same way that java can be faster than c.

Why? Because js and java are JIT compiled for the very specific cpu they run on, and HotSpot is basically PGO but running all the time.

Granted, this is if and only if the js or java is carefully and properly written, which never happens...
Or you give it an infinite uncertainty,in most sensor fusion algorithms it would result in zero weight given to that sensor in the fused observation
I really don't get the semantic arguments against serverless. The name perfectly describes what it is: an abstraction where the developer doesn't have to worry about a server. It's really that simple.

If you have another model that you think is better, why don't you come up with a name for it, instead of trying to co-op a perfectly cromulent term that is already in wide usage?
You still need to deliver another piece of information to communicate over this, you can however confirm origin of your communique using entanglement
TheBloke doesn’t joke around [1]. I’m guessing we’ll have the quantized ones by the end of the day. I’m super excited to use the 34B Python 4 bit quantized one that should just fit on a 3090.

[1] https://huggingface.co/TheBloke/CodeLlama-13B-Python-fp16
This DOJ seems very political.
If that were the case, 95% of the US population would be going blind.

It amazes me how many people are railing against technology while posting on HN...
The real question is why the company doesn't use .ml as a domain name alias.

Edit: dang, guess HN strips out emojis from posts. The Punycode version of the Hugging Face emoji on a relevant TLD supporting emoji domains would be http://xn--zp9h.ml/
The first point was not entirely obvious before this—your laptop being stolen is essentially the weakest[1] class of threats against which full-disk encryption makes sense, and Windows makes a big deal against not requiring anything but your usual account password for that. Is the “trusted” hardware in the TPM even doing anything now? Is boot measurement also spoofable?

(Also, this is just offensive levels of dumb—why is the key material just strolling along the bus here in plain view? There isn’t even a key exchange protocol or anything.)

[1] People are also talking about secure erase here, which, okay, is weaker, but FDE + a EEPROM in a socket that you can pull out and physically destroy does that part just as effectively.
I think he means it functions just as before but with a fraction of the staff.
...And the clip includes a good example of how to deal with those high-altitude bombers. The trick with that is to notice them EARLY and to immediately start climbing as hard as you can. You get some warning whenever an enemy heavy bomber is detected beyond your current visual RADAR range setting. Your RADAR display's background color switches from the usual green to yellow. Whenever you see that, zoom your RADAR range out and check to see if there are high-altitude heavy bombers approaching from long range. Then climb up and shoot them. Even if you don't get them all you can usually weaken their formation and that will help your bases survive and give your repair crews a better chance to keep your side in the battle.
I am a fan of the Jacobin project! For your uses, you may also want to consider wazero [1], a pure-go WebAssembly runtime. Full disclosure: I am on the team :)

[1]: https://wazero.io/
I disagree that computers are elegant machines. They're certainly useful and valuable, but to me elegant implies beauty in simplicity, and computers are absolutely not that.
Iirc, Mumbai,Bangalaru, etc. were changes to decolonize, not to change the name foreigners called it as much as to change the name resonance called it.
For? That space work requires clearance or that NASA is SpaceX's primary customer?
99.9% species to ever exist have gone extinct. Just because we see one happening in front of us with expensive measuring equipment doesn't mean much.

This has big "the polar bears are starving" because of climate change vibes.
Author here: Long ago, when I got the domain, the project was going to be JAva COmpiler to BINary = Jacobin. And as the Jacobins were revolutionaries, it sort of fit the intended project. I don't recall whether Jacobin Magazine was in publication then or not TBH.
If Amazon/Google/Microsoft wanted to own that space, they could do it in a heartbeat.

Rumor has it Github is actively working on something similar to HF Hub already
It's only securely erased after I've put about six 5/8" holes with my drill in it
Just as shotty as all the others
A soldier disobeying a direct order from a Russian dictator has a pretty grim life expectancy. Soldiers generally have a very limited and distorted view of whatever broader situation they are in, and any first strike would likely be couched in a lot of optimism and/or desperation.

An officer saying "You need to launch this missile immediately to save your homeland, and if you don't do it you'll be shot in the head as a traitor", is not a trivial thing to say no to.
"releasing the Mojo standard library in open source"

that doesn't say compiler or tooling, just standard library.

Anyway, I found the FAQ section and the relevant bits

---

Will Mojo be open-sourced?

Yes, we expect that Mojo will be open-sourced. However, Mojo is still young, so we will continue to incubate it within Modular until more of its internal architecture is fleshed out. We don’t have an established plan for open-sourcing yet.
Why not develop Mojo in the open from the beginning?

Why not develop Mojo in the open from the beginning?

Mojo is a big project and has several architectural differences from previous languages. We believe a tight-knit group of engineers with a common vision can move faster than a community effort. This development approach is also well-established from other projects that are now open source (such as LLVM, Clang, Swift, MLIR, etc.).
* Run, Peek, and Video Conference Mute from Powertoys https://learn.microsoft.com/en-us/windows/powertoys/

* Bvckup for replicating data across different drives, not free but one of the best designed Windows tools and very worth the price https://bvckup2.com/
I look at that inference engine as the most plausible current candidate for Nvidia AI moat drainer.
> it is true that managing your own infrastructure can be challenging, it is not inherently so.

The biggest challenge when you have on-premise infrastructure is battling managers to get an additional server.

I have seen managers laughing at my team leader when he asked for a server to do some QA. We needed the server to perform some tests for a critical product. They even had the audacity to say "Hey Manager Bob, how long have you asked for a server?" Manager Bob answered "It's been month's now"

Granted I think that's an extreme example but I don't doubt it was a common occurrence back in the day. Now I also have worked on enterprises where asking fora server (Or RAM increment in a given server) is as easy as submitting a ticket and waiting for a FEW DAYS.

Cloud is more expense on the long run, but it sure gives you agility to do things.
It's already good enough to make me happy.
Not really, everyone I knows calls Covid, "Covid", like you did.
A cell is just literally an organic unit. It’s something organized that is alive. Any living thing would have to have cell’s otherwise it’s just not organized in any way which doesn’t make sense in the context of our universe
Twitter Notes, long form video, checkmarks for everyone, subscriptions for creators, edit tweets, see # of replies and likes on a tweet

And that's just in 1 year
People have so many weird superstitions around childbirth. I guess if there's no harm, the doctors should be willing to accommodate. When you bring your car in for service, you'd never tell the mechanic "I ask that you only use Snap-On wrenches, only work on one part at a time, and NO AIR TOOLS!" But, when it comes to medicine, they have a list of requests about how the doctor should do his work. "You be you" I guess.
I haven’t used Scala in a long time, and I’m guessing it isn’t as gross now as it was in 2014.

Your point about the vast library ecosystem might be valid. Personally, there has only been one time in several years working with Haskell I’ve wanted to use a library that I couldn’t find an analog to in Haskell. It was WeasyPrint which is a Python thing, and there was no problem to run it from my Haskell program as an external process.

Although thinking about this some more, I probably could have just used Pandoc…
Why doesn't T-Mobile adopt the Mint Mobile approach of allowing customers to pre-pay for a year of service? One billing per year instead of 12, no frills, service that Just Works: you could slash a lot of personnel overhead in the billings department and end up with a better product in the end.
Llama-1-33B was trained on 40% more tokens than LLama-1-13B; this explained some of the disparity. This time around they both have the same data scale (2T pretraining + 500B code finetune), but 34B is also using GQA which is slightly more noisy than MHA. Furthermore, there have been some weird indications in the original LLama-2 paper that 34B base model is something… even more special, it's been trained on a separate internal cluster with undervolted/underclocked GPUs (though this in itself can't hurt training results), its scores are below expectations, it's been less "aligned". Here, Code-Llama-Instruct-13B is superior to 34B on HumanEval@1. So yes, it's desirable but I wouldn't get my hopes up.
The problem is that when it works it is so convenient. But a small failure crashes everything. How likely is failure? It probably depends (age, income, mobile coverage, language), but it seems to mostly succeed for most people, which drives the change.

I recently travelled to Glasgow to watch cycling. Flight boarding passes, directions, venue tickets, meeting up with people, doing some work - everything - was on my phone and worked well. I could not imagine how that trip would have been if I had to gather lots of bits of important paper to travel with. The first time our sushi place had a QR code, I balked and asked for a menu, but now I have learned that the sushi experience (ordering small portions as you want and need them) works so much better on mobile than getting a menu and waiting for waiters to return to take an order.

We trade convenience with risk of being in a pickle if things are broken. So far, the convenience is winning. A lot if this is driven by (as implied in OP) young people who are more tech savvy.
Technically yes, but I think many people would say it seems likely that all life would have some sort of "exterior layer" like a cell membrane. Realistically this falls into the "unknown unknown" category of knowledge, where we have to speculate with very little concrete evidence.
Can you use different PII, like fake names with virtual privacy.com cards? I haven't used this service so I don't know how it works.
I have not thought about my T-Mobile phone for years. The price has been the same for years. The service just works in the NE US where I am.
> using a fTPM would solve the problem.

All TPMs support encrypted sessions to prevent these kind of MITM attacks. You use TPM2_StartAuthSession and specify encryption with each session command. But Bitlocker doesn't use one, which is epic fail. Microsoft need to fix it.

Edit: For comparison, systemd uses encrypted sessions when using LUKS disk encryption with the TPM https://github.com/systemd/systemd/commit/acbb504eaf1be51572...
IIRC we have been avoiding going anywhere where life could be to avoid contamination.

Making a lander where we know there are no earth microbes on it is quite difficult and certainly important for testing for life.
Migrations are not your safety net, backups are. Migrations, like all code, are full of bugs.
A good practice is to have a prompt file where you keep the information you want the model to have at its disposal. Then you put it in the start of your conversations with GPT-4. It's also good documentation for people.

You start a project by defining the task. Then as you iterate, you can add new information to the prompt. But it can be also partially automated - the model can have a view of the file structure, classes, routes, assets and latest errors.

I was really hoping that the one year update of Codex would be that - a LLM that can see deep into the project, not just code, but runtime execution, debugging, inspecting and monitoring. Something that can iterate like autoGPT. Unfortunately it didn't improve much and has weird conflicts with the native code completion in VSCode, you get freezes or doubled brackets.
This would be incredibly insightful if only we didn’t know that the current rate of extinction is extremely high, and on par with (if not exceeding) that of other mass extinction periods in our planet’s history.
What software was used to turn the raw signal into zeros and ones? I've had a similar project since forever (reading digital data off 80s-era cassette tapes), I have pretty good .wav versions of the tapes, but I haven't found the right tool (or library) to turn it into zeros and ones :( Of course the fun part will begin once I can start decoding the zeros and ones...

EDIT: I know how the bits are encoded, it's Frequency Shift Keying[0]. What I don't know is what to use to decode this into a stream of bits I can process further (with custom code).

[0] https://en.wikipedia.org/wiki/Frequency-shift_keying
The "Uncarrier" spiel died even before the shillmaster Legere left the company. Operationally they've always been a disaster, and then they acquired Sprint, whose super power was operational incompetence.