skysight-inc/HackerNews huggingface dataset:
I'd use this on linux as soon as it's available
US Housing market inventory starting to return to 'normal' levels
Namespace conflict, and yes it does matter. Just as "mamba" was an anaconda package manager re-implementation before it got commandeered by the LLM research crowd, now Haystack is being stolen away from Deepset: https://github.com/deepset-ai/haystack

https://haystack.deepset.ai/
Thats a interesting thought. We could get it to periodically ask a question(s) once a concept has been explained in the demo. There have actually been a few studies that students learn best via discussions
> I always read the interviews, but there is never anything interesting.

Same with Mira Murati. I used to eagerly listened to her interviews but she repeats the same cliches and non answers.

There is something not right with this company. We still don't know why sam was fired right?
and the dir() built-in Python function.
I'm normally a big fan of python operator overload hacks, but why are we doing `wat / foo` instead of just `wat(foo)` ?
Ah, makes sense given the population density in parts of Australia.
I would wager you could replace the CEO with a cardboard cutout and none of the employees, who actually produce the product which makes the company money, would notice.

You could probably get away with it for months, honestly.
10minutemail worked. And I put in random first/last names.
Russia Will Limit YouTube
That does not necessarily follow from the facts at hand. For example they may have prioritized work on the proof solver itself as they may feel that that is the more important result. Alternatively if their goal is to build a proof solver then building the formalizer would be useless if they could not build the actual proof solver.
Show HN: Free – Fastest Way of ReactNative to AppStores with GitHub Actions
Hey HN,

I made a tutorial that'll help you get your React Native (or Expo – coming later this week) app into the Apple AppStore and Google Play, automatically, by using GitHub Actions.

It comes with a free app on GitHub that serves as a template:
- React Native CLI (Expo soon),
- Refined to support dev/stage/prod environments,
- Configurable from the env vars.

The Speedrun will help you step-by-step:
- define the Configuration,
- create the Apps in AppStores,
- create Code Signing (Certificates, Provisioning Profiles for iOS; Upload Key for Google Play),
- define the minimal Workflow on GitHub.

There's also a free tool to manage versioning.

This is the very first version and I'll be adding more. Video version on YT coming this weekend.

I'd be happy to hear what are your thoughts and what you'd like to see in there.

Thanks a lot!

Igor
> A chef saying the same thing you do is abdicating their responsibility as a chef.

We disagree on this point.

> You counter on Mr Beast's style by saying you like less hype and more authenticity, and aren't we all different people anyway?

Yes! This was the underlying point that I was making. That's what underpins my statement that "boring" is subjective. Because it is. (And I wasn't "countering Mr Beast's style". I was just pointing out the fact that authenticity is interesting to some).

> That opinion can only move the needle

Perhaps this is where we're misunderstanding each other? I'm not trying to move any needle. I suspect we're having two entirely different conversations because I'm genuinely not seeing how your points relate to mine, and when I stop trying to understand your statements as counterarguments to mine, I'm not disagreeing with you. I think we're talking about two different things here.
It's not at all mysterious: to run hardware-virtualized containers, you need your compute hosted on a platform that will allow KVM. That's a small, expensive, tenuously available subset of AWS, which is by far the dominant compute platform.
Emphasis on were, since they've made their search such utter shit in the quest for ad revenue that they're now going to have their own AI sum up your results (badly) instead to attempt to solve the problem they created.
In TFA's world-view clients will not talk to isolated servers.
possibly related food for thought: google up DCI?

https://duckduckgo.com/?q=trygve+dci
And this is on top of it being stolen away from the rightful owners: hay farmers.
On this same note:

Employment is already a pretty bullish position on the employer. Adding equity is doubling down. If the company goes under, you lose your future wages and the investment in the equity.
> the latter is much easier: sample 10,000 elements uniformly at random and take their median

Do you have a source for that claim?

I don't see how could that possibly be true... For example, if your original points are sampled from two gaussians of centers -100 and 100, of small but slightly different variance, then the true median can be anywhere between the two centers, and you may need a humungous number of samples to get anywhere close to it.

True, in that case any point between say -90 and 90 would be equally good as a median in most applications. But this does not mean that the median can be found accurately by your method.
By luck and status. Right place right time. They have some experience, and they just so happen to know X, Y, Z (probably because their dad knew X-1, Y-1, Z-1 and so on) so they get in. Maybe they went to harvard or something.
At least part of the reason coffee plants produce caffeine is as a defense mechanism from insects. If you genetically engineer out the caffeine, your effort to farm the plant just went up if you aren't also able to genetically engineer insect resistance.
Show HN: Ultra AI
Introducing Ultra AI: Your all-in-one AI command center.

Multi-provider gateway, semantic caching, prompts manager, and more.

Improve reliability. Save up to 10x on API costs. Protect against spam. 100+ models. OpenAI compatible. Free in beta.
Source maps and build files are automatically generated when bundling which you need to do with or without typescript… so this argument always confuses me. There is no tangible downside in my experience.. either way it’s just typing “pnpm build”.
New models, not refinements on old models. You know what the OP was saying. Why the pedantry?
It’s going to be significantly faster very soon, we have seen how AlphaGo evolved into KataGo which is many magnitudes more compute efficient
Phi-3 fine-tuning, new generative AI models
The United States. Well, some of it anyway.

Due to smallpox spread from Mexico, 90 percent of the native population was gone in most areas at least a half-century before Jamestown was settled. A lot of what white people 'stole' was genuinely uninhabited.
C# was also at least somewhat informed by Delphi, the Object Pascal variant the same architect created just prior to MS luring him away from Borland.
It’s like bringing a rocket launcher to a fist fight but I’d like to use these math language models to find gaps in logic when people are making online arguments. It would be an excellent way to verify who has done their homework.
Not yet that you know of.
Since you're here, I was just thinking about how feasible it would be to run a microVM-per-tenant setup like this on Fly. I guess it would require some automation to create a Fly app for each customer. Is this something you all have thought about?
Isn't this an issue with the robots.txt? A clause in some ToS was never going to stop any web scraping.
if you're using nixos, just to do provisioning, I would argue OStree is a better fit.
Cracking The Cryptic also has a "Genuinely Approachable Sudoku" community (Discord is the only public feed I'm aware of), where a handmade puzzle using all sorts of Sudoku variants is posted daily.
Simulink is a really nice way to do some control problems in.

Like, the 'flow' is really clear. Adding a feedback, saturation or integral or whatever is clear to the eye.

Stateflow charts are also a really nice way to do statemachines, which are used alot in automotive.

Simulink is terrible in many ways too, but in some perverted way I like it for the specific usecase.
San Francisco Bay Area Event Newsletter
They don't need to be better. In fact they just need to be 1/5th as good, and then it's worth it. That's the whole point here - CEOs aren't paid proportionately like you or me.
A free San Francisco Bay Area event newsletter featuring a variety of curated events every week, news roundup and food/drink recs. (sent via email ~Sundays).

You can check out some of my free guides here.

Events span: food, art, shows, music, comedy, sip and paint, career workshops, classes, cultural events, drinks, craft beer, tech events, plant fairs, festivals, communal dinners, pop-ups, speaker series, volunteer opportunities, free events, news, activities and unique, random quirky stuff in and around the San Francisco Bay Area, Silicon Valley.
I work on a large app that’s both client & server typescript called Notion.

We find Typescript much easier to upgrade than Node. New Node versions change performance characteristics of the app at runtime, and sometimes regress complex features like async hooks or have memory leaks. We tend to have multi-week rollout plans for new Node versions with side-by-side deploys to check metrics.

Typescript on the other hand someone can upgrade in a single PR, and once you get the types to check, you’re done and you merge. We just got to the latest TS version last week.
I tried to use it, but:

1. The first instruction starts "When the bot has connected...", and

2. After waiting a couple of minutes, 'BOT STATUS' still says 'Connecting'.

I am running this in a 'Guest' profile in Chrome, that has no extensions installed.

These are the errors/warnings I see in the dev console:

Unrecognized feature: 'web-share'.
ta$2 @ index-CElq2hz-.js:33
index-CElq2hz-.js:2067 Loading VAD
index-CElq2hz-.js:2043 env.wasm.numThreads is set to 4, but this will not work unless you enable crossOriginIsolated mode. See https://web.dev/cross-origin-isolation-guide/ for more info.
ug @ index-CElq2hz-.js:2043
10Third-party cookie will be blocked in future Chrome versions as part of Privacy Sandbox.
Yeah, and when Google stopped sending traffic, people sued them, as they should.
Flow's type system isn't sound either FWIW
I support this behavior as the only correct reaction.
So rates and taxes are high enough to get landlords to let go?
Thank you for sharing, didn't know that one!
Japanese supermarkets begin tracking and optimizing workers' smiles
I've heard that google maps has turned into a "magic box". They'll never change the core architecture because the original developers are long gone, and any attempts to replace it are likely to result in an inferior product.
People cared, but not the people making the changes.

I think the change back is good and we should very strongly push for immutable emoji. The first one was a massive mistake and years of using the squirt gun doesn’t justify it.
It so happens that I am also looking for a new gig right now, so if you are still looking for an excellent dev, we should chat :)
Phind too maybe. Though Phind can be used without log in, it starts giving you a fake “at capacity” modal and forces you to sign in after enough queries. Funny how they are no longer “at capacity” when I clear my cookies.
We all know wheret his is headed. In 5 years every useful content in the Web will be behind a paywall.
In which accent do you not pronounce the ‘s’ in sex? I’ll wait
No. It's like you are allowed to use search engines to find a solution, nothing more than that.
Windows 11 seems to have a auto grouping feature baaed on what windows are tiled
Sorry its getting smashed right now - increasing capacity
The vast majority of small businesses have no "exit" in sight. Instead they want to rely on solid business fundamentals. Sell a product/service for a profit. Typically the owners of the business get access to the profits proportional to their ownership stake.

By enabling employees to be owners you grant them access to those profits and to participate in discussions around how to spend/re-invest profits.
Depends. I'm sure that Google trained us to rephrase at least some of our questions as keywords and to not ask some complex questions at all- or at least to expect them to fail. Plus, in general we expect Google to mostly find the information that is already there, while there is a world of information that has not been made explicit by anyone. For example, "how many pizzerias are in this town" and "which one has the highest ratings by Italian customers" are two questions that I would never dream to ask Google. Yet they're possible and not too absurd to ask to an omniscient intelligence.
GVisor basically works by intercepting all Linux syscalls, and emulating a good chunk of the Linux kernel in userspace code. In theory this allows lowering the overhead per VM, and more fine-grained introspection and rate limiting / balancing across VMs, because not every VM needs to run it's own kernel that only interacts with the environment through hardware interfaces. Interaction happens through the Linux syscall ABI instead.

From an isolation perspective it's not more secure than a VM, but less, because GVisor needs to implement it's own security sandbox to isolate memory, networking, syscalls, etc, and still has to rely on the kernel for various things.

It's probably more secure than containers though, because the kernel abstraction layer is separate from the actual host kernel and runs in userspace - if you trust the implementation... using a memory-safe language helps there. (Go)

The increased introspectioncapabiltiy would make it easier to detect abuse and to limit available resources on a more fine-grained level though.

Note also that GVisor has quite a lot of overhead for syscalls, because they need to be piped through various abstraction layers.
Poison Book Project uncovers toxic arsenic in antique books
I'm hoping at a minimum get my thoughts written out while I'm flying this weekend!

The quick gist is that Jupyter is frustrating for me because it's so easy to end up in a situation where you inadvertently end up with a cell higher up in your document that is using a value computed in a cell further down. It's all just one global namespace.

In the Julia world with Pluto they get around this by restricting what can go into cells a little bit (e.g. you have to do some gymnastics if you're going to try to assign more than one variable in a single cell); by doing it this way they can do much better dependency analysis and determine a valid ordering of your cells. It's just fine to move a bunch of calculation code to the end/appendix of your document and use the values higher up.

The idea I've been chewing on comes somewhat from using Obsidian and their whole infinite canvas idea. It seems like using ideas from Pluto around dependency analysis and being able to also determine whether the contents of a given cell are pure or not (i.e. whether they do IO or other syscalls, or will provide outputs that are solely a function of their inputs) should be able to make it easier to do something... notebook-like that benefits from cached computations while also having arbitrary computation graphs and kind of an infinite canvas of data analysis. Thinking like a circuit simulator, it should be possible to connect a "scope" onto the lines between cells to easily make plots on the fly to visualize what's happening.

Anyway, that's the quick brain dump. It's not well-formed at all yet. And honestly I would be delighted if someone reads this and steals the idea and builds it themselves so that I can just an off-the-shelf tool that doesn't frustrate me as much as Jupyter does :)
at that scale, they could just ship some usb disks and a prepaid return postage.
the author is using the Python inspect module of the stdlib under the hood to provide the functionality, of course with a lot of value-add.

see inspection.py in the wat module.

it has this on line 2:

import inspect as std_inspect
https://archive.ph/eYql6
I guess you mean 99.9999%?
I suspect the AI companies are as careless with their training as they are with their web scraping.
Regarding the arm, are you thinking of a particular kit?

Those servos look really interesting, so you can read their position via a UART type interface? I've only played with cheap PWM servos before.
do folks in the business really simply steal a laptop and try to pull all data? or do they steal the laptop and wipe it and flip it...
if they wanted your data wouldnt they steal you, the human, too ?

the signing method only offers buying more time before the innevitable data is "breached" by a theat actor - its the same buying-time for any and all encryption. the system can get too complex, and the underlying problems of humans will always exist (and amplified by more points of failure).. (accidents, data breaches, exploits, ect). the system needs to be immutable, but also mutable at the same time (for updates, ect) - and thats not exactly something easy to accomplish.

and with apple.. they try yes, but it is forever a walled garden. we've already seen their secure enclave bloatloader shinanigans get exploited on phones- and it was not fun for those people where their phones were compromised. apple suffer from us humans, too (we will never be perfect, nor will our software)
Sure, but unfortunately, the linked website doesn't ask about that.
How many foundation AI companies are there? 2 is a pretty big chunk of that pie.
Not only that, even commoncrawl had issues (about a year ago) where AWS couldn't keep up with the demand for downloading the WARCs.

As someone who written a lot of crawling infrastructure and managed large scale crawling operations, respectful crawling is important.

That being said it always seems like google has had a massively unfair advantage for crawling not only with budget but with brandname, and perceived value. It sometimes felt hard to reach out to websites and ask them to allow our crawlers, and grey tactics were often used. And I'm always for a more open internet.

I think regular releases of content in a compressed format would go a long way, but there would always be a race for having the freshest content. What might be better is offering the content in machine format, XML or JSON or even SOAP. Which is usually better for what the sites crawling want to achieve, cheaper for you to serve, and cheaper and less resource intensive compared to crawling. (Have them "cache" locally by enforcing rate limiting and signup)
I’m not sure why you use a dictionary with keys 0…999, instead of an array indexed 0…999.
I downloaded this and opened up a React based project that uses functions and not classes. I'm not seeing the sideways facing arrows to show the call stack of the function I'm looking at and have my cursor in - the functions that call the function I'm looking at and the functions that reference the function I'm looking at.

It seems the sideways arrows in the demo only appear for class based methods and not plain functions :(

Overall I love the idea and have wanted a graph visualization of a codebase showing every function call, who calls it, and who it is called by which this seems to do but for classes. Hope to see this working for functions as well soon! Great work.
> As the person who created docker (well, before docker - see https://www.usenix.org/legacy/events/atc10/tech/full_papers/... and compare to docker)

I picked the name and wrote the first prototype (python2) of Docker in 2012. I had not read your document (dated 2010). I didn't really read English that well at the time, I probably wouldn't have been able to understand it anyways.

https://en.wikipedia.org/wiki/Multiple_discovery

More details for the curious: I wrote the design doc and implemented the prototype. But not in a vacuum. It was a lot work with Andrea, Jérôme and Gabriel. Ultimately, we all liked the name Docker. The prototype already had the notion of layers, lifetime management of containers and other fundamentals. It exposed an API (over TCP with zerorpc). We were working on container orchestration, and we needed a daemon to manage the life cycle of containers on every machine.
I like SteetComplete but it's very basic, it just asks basic questions about the area you are in based on existing data.

I will usually set out to document something on my bike and just take lots of pictures, particularly of intersections. I then use the OSM website to update things at home.

The more meta data you feed into OSM, the more pointed questions StreetComplete asks. It can ask about simple things like road composition, street markings, and crossings. Often it's easier and faster to answer questions in App than using the OSM website.

For people who want to contribute but don't feel like traveling around, there's plenty to do at home using aerial or street view data. Many house numbers are wrong or misaligned with home locations.

Many neighborhoods use a hand full of footprints for homes and will mirror them or slap on a different facade. So I like to use aerial photography to trace out the foot prints of a few homes and then copy paste those onto all the like model homes.

Then I use street view photography to get accurate house numbers and update maps as well. The house numbers and locations vary wildly but for condos and townhomes they're usually pretty bad.

Simply putting accurate house numbers on foot prints makes a world of difference. Companies like Lyft and Amazon use OSM data for pickups and deliveries.

Road information is also often out dated, especially for new construction. We had a lot of people in our neighborhood complaining about Lyft pickups not being able to navigate to their location. I fixed our neighborhood, tagged Lyft on Twitter and they updated their maps within a week.
Other example: voice memos. Takes 20 seconds to start recording if you have a long list (30+) of recordings. It needs to find the next available file name. Instead of just listing them, it probably loads every files and tries to read some xml metadata instead.
Maybe I am a bit naive, but in my mind it's just a simple software running between the OS and the tool in question which runs said software in some kind of virtualization, passing all requests to the OS after a check what they might want to do.

I know that's what said tools are offering, but installing (and running) docker on Windows feels like loading up a whole other OS insides OS, so that even VM (Software) looks lean compared to that!

But I admit, that I have no real experience with docker and the like.
If you’re fine with manually checking a standard interface to see if you should abort, JS’s answer is the AbortController. This is supported by features like the “fetch” function for making cancellable http requests.

https://developer.mozilla.org/en-US/docs/Web/API/AbortContro...
Carlsen plays still at the highest level. He just didn't want to do the world championship anymore, wasn't worth the effort after winning it so many times.
Fred Wilson – Avoiding Account Takeovers
Uploading pictures isn’t enough. Placing emojis in sentences in order is required for anything more than a reaction emoji to the whole thing.

You cannot do that on signal, X, Facebook, etc.
This is pretty cool!

Reminds me of the now defunct SourceTrail tool: https://github.com/CoatiSoftware/Sourcetrail

Actually, seeing lines between the code and where you opened it from would most likely be useful!
No, I don't mean that the search space is small. I just mean that there are special techniques which are highly relevant for IMO-type problems. It'd be interesting to know how important that knowledge was for the design and training of AlphaProof.

In other words, how does AlphaProof fare on mathematical problems which aren't in the IMO style? (As such exceptions comprise most mathematical problems)
A bit oftopic but when last week came out, Cellebrite could open the Trump shooters phone, there was a PDF, they can brute force all android phones since from Android 7 or newer. What changed there? Why can they brute force all newer versions?

https://www.documentcloud.org/documents/24833831-cellebrite-...