skysight-inc/HackerNews huggingface dataset:
There's work happening in that direction: https://discourse.nixos.org/t/obsidian-systems-is-excited-to...

My impression is that although nix makes it easier to achieve repeatable builds, not all nix builds are repeatable. It takes some diligence on the part of the package author as well.

Switching nix from an inputs-addressed model to a content addressed one may shine a light on this, which will be nice for discovering the hidden variables which contribute to nondeterminism, but might come with its own headaches re: "why do I get a different hash than expected? Is it broken?"

I'm still excited to see it happen, but I think there's a certain crowd who might be disappointed that it's not as magical as they envisioned it.
Weird. I can't find the sentence you are quoting in the paper.
Yeah, that's clearly a structural problem. Sounds like a terrible place to work. She should probably consider getting fired a win!
Somebody else must’ve done that as well, because I remember playing around with a MySQL fuse system, with both read and write.
"Coding in the Debugger" KENT BECK 2007

https://tidyfirst.substack.com/p/coding-in-the-debugger
Noteplan combines them quite nicely, although the calendar part still needs a lot of work
To my eyes, Israel is held to the standard of a colonial European power in the 1960s, just prior to decolonization.

The atrocities and horrors of European colonization were indeed recognized, but not loudly, the media talked about it, but in a weird tone, often justifying or devaluing the lives of the colonized peoples. Resistance movements among the colonized were described as terrorists, and any fight against them (which was a fight to keep the European colonies) was described as just and moral. The UN spoke against colonization, but was ignored. Human rights abuses in the colonies were ignored or justified amongst western governments.

Of course Israel today doesn’t parallel this dark time period of European history. But the standards applied to Israel today are in many ways quite similar to the standards applied to a European colonial power aiming to keep their colonies.
In Brazil, drones take flight in Rio in high-tech reforestation push
> The key milestone will be moving away from the need to use specific formal / symbolic domains, and to generate a pretrained system that can generalize the skills learned from those domains.

You do not need to solve everything at once. This approach has the potential to revolution both math and programming by moving formal verification from being a niche tool into a regular part of every practitioners toolbox.

It also completely solves (within the domain it applies) one of the most fundamental problems of AI that the current round is calling "hallucinations"; however that solution only works because we have a non AI system to prove correctness.

At a high level, this approach is not really that new. Biochem has been using AI to help find candidate molecules, which are then verified by physical experimentation.

Combinatorical game AI has been using the AI as an input to old fasion monte carlo searches
> We hear of a startup’s first funding round, the follow on, the next one, and one more. ... On occasion, we hear underdog stories of startups that bootstrapped to notable success, with zero funding rounds and little pomp and circumstance.

This is a side point but I have always wondered why companies publicize their funding rounds and why anybody outside the company would care? Well apart from the parasites who use those announcements as an acuse to cold call the CEO about mobile phone service, accounting software, and whatever.

Announcing important milestones (key customers, important new features, etc) makes sense. Raising money is just part of making those milestones and to me makes about as much sense as announcing a git push.
Fantastical?
Second this. I've written my own private Google Apps script specifically for this view and I wish more calendar apps would do the same. Maybe I haven't looked hard enough.
This sounds super insane, I thought stuff like this only happened in 3rd world countries.

Is this applicable elsewhere in “developed” countries as far as anyone else knows?
Aren’t there smaller ones, like 7B llama2, that could be trained in a powerful computer?
That doesn’t make sense because there’s millions of reasons to update the url even when navigating sub sections of the page or to reflect some sort of state that needs to be persistent when refreshed/shared.
So why Apple instead of something like a Pixel with GrapheneOS? Again, curious.
This is a boggling level of disdain for customer security

To be fair, this usually doesn't start as a boggling level of disdain. It usually starts out as 100% ignorance. It's how the people and the group respond to the negative feedback from experts and from reality, which brings in the disdain, even spiraling to boggling levels.

There are two deep lessons herein, rooted in game theory.

EDIT: In this case, op did everything right!
> A better way of thinking about it is that a filesystem is just a specialized database.

Aren't all databases specialized?
So create ai modules for every niche subject and have a OpenAI like function calling system to inference them?
You didn’t know that horde and hoard were different words?
I think so. Not just because of copyrights as the article covers, because the people who want to abuse copyright for A.I. and the people who own copyrights are basically the same people. They will simply cross-license and lock normal people out of using the products of A.I. by wielding that licensing against individuals.

The real reason is that anybody can do A.I. and it can't be very patent-encumbered, being a number of abstract mathematical techniques. If it becomes an absurdly productive technology, you won't easily be able to keep people from using it in private. Maybe the real Butlerian Jihad will be the government Office of A.I. Copyright Royalties sending agents and their silicon-sniffing dogs to kick in people's doors following rumors of Aggravated Infringement.

Maybe it will be what finally gets general purpose computers banned?
The YoY performance improvements after going .NET Core 1.1/2.1 up until current .NET 8 have been very significant which allows C# to be the language of choice for writing systems-like performance-sensitive code.

It also had quite a rich unsafe API since .NET Framework days which has since then been complimented by safer alternatives which offer similar or better performance namely Span<T>s and then lately struct optimizations which are helped by the fact that C# generics with struct arguments == Rust generics with struct arguments (aka the ones which are not Box<dyn Trait>).
> The Spartan Agoge existed

That's more of an terror-indoctrination camp for a tiny aristocracy rather than a training system for mass soldiers. [0]

Tangentially, the effectiveness is questionable too: It may have helped Sparta's slaveowner-ocracy retain control, but most of Sparta's military success was mythical even to contemporary sources, always existing further in the past.

> for other animals [...] If the same were to be done to (cloned) humans,

There's a huge initial gap though, between animals that walk within days versus humans taking a to walk, and similar milestones.

Also, we usually aren't speeding their maturity as much as fattening them up, which probably isn't desirable in soldiery. :p

[0] https://acoup.blog/2019/08/16/collections-this-isnt-sparta-p...
No, it will result in a strengthening. It raises the value of things previous unprotectable, and thus will raise the incentive to get them protected. The Wild West of the AI world today will rapidly get captured because by the time you've amassed the resources to put up a credible AI, you're already a fairly large corporation. The scale of time necessary to get new protections passed is roughly comparable to the scale of time it will take for these companies to become owned one way or another by existing interests.

The good news is that this probably still won't much affect your personal projects or anything. Anything you can already self-host and do today isn't going anywhere and you've probably got at least another two or three generations in this fast-moving space before the law clamps down. It is likely that many of the referenced AI aspects will be essentially "solved" before then, such as voice cloning. They aren't going to go after every last little AI user for every last thing because that's squeezing blood from a stone and not cost-effective. But don't plan on building a multi-million-subscriber YouTube channel out of it.

And if you are interested in the freedom to do things the copyright owners don't want you to do, be sure to self-host and archive as much as possible. The ability to do this on platforms others host is going to disappear rapidly, if it isn't already.
Are you using abstraction frameworks/libraries (eg https://www.serverless.com/framework) or using AWS/Azure/GCP directly?
TeX at this point has entered computing legend. It has such a long and storied life.

But it’s old. We need something modern, that represents current ways to make documents from code. And that way is CSS. I bet within my lifetime most scientific publications will move to a PDF tool that ingests CSS. We just need to find something open-source and clean that has no missing functionality.
Same here. no clue what it does.. It could be a syncthing/dropbox something. It could be some sharing protocol. I dunno
> BT in my car: Spotify on the phone starts to auto-play as soon as it connects. Because car = music, apparently. I still haven't been able to figure out if this is Spotify, Android or Mercedes being dumb.

It's your car. Some automatically send the "play/resume" control signal whenever they start up, which causes Android to resume playing on the most recently active audio app. No idea who thought that that was a reasonable default...

> Similar to your issue, my laptop and I are often exactly far enough apart that my Bose headphones start an infinite connect/disconnect cycle, with a tediously long "Connected to laptop" message every 30 seconds. For that scenario, it would have been enough if it just stopped trying after a few short connections.

It's not a real solution in any way, but if you're usually confident what device you're connected to, you can disable voice output via the Bose Connect app.
Some of the challenges in adding Rust to EDKII are described in https://cfp.osfc.io/osfc2020/talk/SLFJTN/. There is some more recent work in this space described in https://microsoft.github.io/mu/WhatAndWhy/rust/, too.
> Auxiliary heating systems like you describe are the exact same design that EVs use as primaries, just driven electrically.

I'm confused, what non-electrical method of generating cabin heat are EVs using, then?

But for the sake of argument - auxiliary heating in an ICE is similar to a floor heater, electrical resistance heating.

Beyond that, the argument is that on an ICE, the heat in the engine block is a byproduct of the combustion required to move the vehicle. That heat isn't "free", but is paid for by the primary purpose of moving the vehicle. The effort to push it into the cabin via fans is relatively minimal.
Not sure if this page is rendering only via WebGPU or something, but on iOS this is just a blank page.
"Operationally Compatible"
I could be wrong, but from my experience, serverless has only one crucial advantage over serverful: the ability to instantly scale up on a moment's notice. You deploy some code to an established cloud provider, the cloud infrastructure replicates the code across hundreds of compute instances in a hundred geographical locations (possibly utilizing a cloud data store, synchronized internally across all the compute nodes used) and suddenly there is no longer a single performance-sensitive "failure point". Your product can get on the front page of HN and survive.

When it comes to serverful, you have to provision (or perhaps "over-provision") resources ahead of time. If you can estimate your CPU/memory/disk/network needs beforehand, you can just as well rent an appropriately powerful, "serverful" server to achieve your goal. If you assume (figure out) a particular desired number of API requests per second that you need to handle, analyze and benchmark a particular set of hardware resources that can likely handle such throughput and also calculate a per-request -based price of the same throughput with a serverless provider, you will probably find that serverless is at least twice as expensive as serverful.
I will have to ask them for specifics, but I believe they are on an older iMac (pre 2017) that cannot run Ventura or newer. If they are running Ventura, they may have simply overlooked the dialog completely, but I'm leaning more towards a version of macOS that didn't have the dialog.
But in reality it's more subtle than that. Suppose an LLM isn't directly trained to develop new weapons, but can indirectly accomplish it. This collaboration opens that door.
What do premarital experiences have to do with marital quality? (2014)
I'm afraid that I don't understand the point of this question, or what it is you really want to know. Of course the answer is "yes" for anybody who isn't a. near retirement, b. terminally ill, or c. planning a career change soon. It's almost tautalogical.

Could you maybe expand on what it is you are asking / why you ask / some other kind of context?
Doesn't sleep also count as a psychotic episode or does it only resemble it because you lose reality for a while?
Honestly, the average person probably couldn’t find an app in app store without direction.
I guess it kind of depends on what a goal post should represent. If it represents an incremental goal then obviously you are correct.

I think the ultimate goal though is clearly that AI systems will be able to generate new high-value knowledge and proofs. I think the realistically the final goal post has always been at that point.
But... there is no such extra rules in Japanese. The grouping does NOT count as it is absolutely vital to make it possible to say numbers at all.
> Hell, at my school you couldn't even listen to a CD at lunch. It boggles the mind.

That we accept such authoritarianism in schools? It certainly does.
They're referring to "performance of performance".

Not that it's a big deal. I notice problems like this slip into my writing more and more without detection as I get older :/

I don't see the sentence in the Nature paper, though.
What is the argument; that math competitions are easy for computers but hard for humans?
Italian province orders all dogs to be DNA tested in poo crackdown
Find any shell script.

Run "time bash script.sh" and "time dash script.sh"

Will it run 4× faster?

Almost certainly not.

It's that simple.
For Spirit, a carry-on is considered an extra. That's an extra $35 right there, which brings it pretty much inline with Southwest's pricing.
True. Pure vectorstores seem limited and kind of overrated. Combining many sources of data is challenging but the right thing to do.
> why companies publicize their funding rounds and why anybody outside the company would care?

Current and potential employees care.
I believe that is a special deal that apple made them which does not apply across the board.
The factors that contribute the most are

1) Bluetooth devices are usually battery powered and have their microwave RF section and DSPs implemented in power-sensitive silicon. Layer 1 and 2 performance is not good.

2) The Bluetooth specification is very complex and requires IP licensing for more desirable features such as low-latency audio, so inexpensive Bluetooth devices often badly test unpopular features and forgo licensing for nicer CODECs.

3) Bluetooth is based on frequency-hopping (FHSS), and the wavelength difference between the lowest and highest permitted frequencies is about 4mm. In some cases, this means that an intermediate RF-opaque object which is around that size near either transceiver may cause portions of the Bluetooth spectrum to be blocked, resulting in some percentage of the transmitted frames to be below the receiver's ability to get the bits out of the frame. Those dropped frames are not retransmitted, so the audio presented to the user sounds like swiss cheese, with evenly interleaved gaps of a few dozen milliseconds each.

4) Many legacy Bluetooth devices for Windows have driver packages that install an entire parallel Bluetooth stack (CSR, Toshiba...) next to the Windows one, because the in-box stack was pretty bad for a long time and didn't support many newer features. The situation is much better now, but machines which were upgraded from such a state, or ones which had whatever drivers were in the device's box installed are often using Bluetooth stacks which are totally ancient.

5) Embedded Bluetooth firmware is often not tested against many hardware failure cases, or omits more sophisticated portions of the stack due to CPU or memory constraints, and relies on cost-sensitive NVRAM technologies which have high bit error rates compared to e.g. a NVMe device with a 1 GHz controller to do lots of fancy error correction. Sometimes, the device just doesn't have reliable areas of NVRAM to store certain persistent state, and has no way to tell you that the checksums aren't working out (if they're even implemented), so pairing just fails for what seems like mysterious reasons. Keep in mind that many, many Bluetooth chips are driven by extremely low-end CPUs (I've seen 8051s), so there just isn't space for handling errors. The spec is complicated enough that many procedures have lots of failure modes, and in many of those cases the firmware just gives up and drops the frame on the floor.
Applying the term "open source" to AI models is a bit more nuanced than to software. Many consider reproducibility the bar to get over to earn the label "open source."

For an AI model that means the model itself, the dataset, and the training recipe (e.g. process, hyperparameters) often also released as source code. With that (and a lot of compute) you can train the model to get the weights.
We use serverless, quite happy with it. TBH I mentioned SST in my first comment but I'm not super experienced with it, and I'm reasonably happy with serverless.

I'd definitely be careful in my own decision in trying out SST so I'd recommend doing the same for anyone who is taking my suggestion seriously
Twenty is special. That destroys the entire 20-29 series.
Which I agree is the appropriate way to move forward. However, I see a lot of retroactive bitterness about research when this was not the case. e.g. posters in this thread calling for journals and scientists to crushed like parasites, ect.
I'm very curious how often the LM produces a helpful construction. Surely it must be doing better than random chance, but is it throwing out thousands of constructions before it finds a good one, or is it able to generate useful proposals at a rate similar to human experts?

They say in the paper, "Because the language model decoding
process returns k different sequences describing k alternative auxiliary
constructions, we perform a beam search over these k options, using
the score of each beam as its value function. This set-up is highly parallelizable across beams, allowing substantial speed-up when there are
parallel computational resources. In our experiments, we use a beam
size of k = 512, the maximum number of iterations is 16 and the branching factor for each node, that is, the decoding batch size, is 32."

But I don't totally understand how 512 and 16 translate into total number of constructions proposed. They also note that ablating beam size and max iterations seems to only somewhat degrade performance. Does this imply that the model is actually pretty good at putting helpful constructions near the top, and only for the hardest problems does it need to produce thousands?
You also need a “I don’t know what to do” button. Clicking this will do the most sensible thing which in this case is keeping Bluetooth running. Because my elderly mother is 100% disabling bluetooth under that situation using logic I can’t even comprehend.
https://sk.211.ca/services/town-office-43/handi-van-transit/

> Eligibility

> Elderly individuals and those with special needs.

which is what I expected when I went looking, calling that public transportation is against the spirit of what we're discussing here.

My further guess is that the majority of the people in this town are elderly (retirement community).
Financing is a signal that the investors believe in the mission/product/services. It's just another a form of peacocking; the display serves as a proxy for more direct measurements of fitness.
Startup Investors Have Fled the Metaverse
Ask HN: How do you use your work log?
I’m in the process of organizing how I keep a log of my work and I wanted to understand how others are tracking what they do and the lessons they’ve learnt.
Debug PetaLinux and ILA over Ethernet
There are a lot of criticisms I think I could level at Notion but clunky would be one of the last. I'm actually curious what you use Notion for that doesn't jive well.
Sounds like spirit is not a sustainable business and that is an issue unrelated to the merger. Unsustainable businesses fail, so let them fail
This is actually not necessarily only a rich thing. There are numerous artists that will accept commissions and create something for you, unique to you, and it's not thousands of dollars.

But your statement brings up (or at least makes me think of) what I think is an interesting point: there's the notion of mass media, which started when broadcasting became a thing. Play 1 recording via a method where potentially millions can hear or see it. It was after the development of broadcast technology that copyright maximalism took hold. IMHO the current IP regime is for that purpose, and cracks are showing in it because media is becoming more fragmented and more personalized. Would mass media ever become a thing of the past?
Maybe. But English isn't so cleanly fixable.
Moreover, it's not so recently that people began training networks to help make guesses for branch and bound type solvers.
The largest offender for ICE fuel economy loss in winter is low tire pressure (IIRC accounts for 3% loss). The winter gasoline blended fuel accounts for the next largest but IIRC it's semi made up for because winter blends are less expensive then summer blended fuel.

And a longer commute makes a gas car more efficient as the engine has time to come up to operating temperature. Something that EV's are weaker at.

So it is more of an issue for BEV's depending on what kind of commute you have and whether you easy access to daily charging.
> Walk in, grab a cart that had bags attached to the front, grab a portable scan gun from it's charging dock. Scan and bag as you shop, dock the gun to the checkout register, show the attendant my id if needed, pay, and I'm done.

They were doing this in a few Michigan Krogers within the last few years. I think they ended the program though.
> grep et al aren’t part of the file system in both the simple sense (they ship separately)

It seems you are confusing database with database engine or possibly database management system. Querying is not a function of a database.

In fairness, the lazy speaker often says "database" in place of "database engine" and "database management system" to save on the energy of having to make additional sounds when one can infer what is meant by context, but in this case as "database" means database...

> (filesystems are rarely designed to facilitate them)

Facilitating querying is a primary objective of a filesystem database. What do you think "path/to/file.txt" is? That's right. It's a query!
It's super easy to avoid all of this drama: Do not buy an iPhone. Almost any other phone will allow you to download and install arbitrary programs from any source that offers them. It's quite wonderful.

It amazes me that people would rather force apple to open up through dubious court cases than simply buy a different device.