skysight-inc/HackerNews huggingface dataset:
Thanks! That page is a good find.

Very few of the names stand out to me (being adjacently familiar with the space). However I did search based on your link… (Edit: with the exception of Chris Szegedy, thanks to the reply below for pointing that out)

Most of them seem to have been secondary/tertiary people on the projects listed. Definitely feels a bit like resume padding.

It’s also unfortunate that searching for the first person after Elon nets results for their domestic abuse arrest over any achievements in the space.

Further down, one of the only two women involved is a “creative AI writer/filmmaker”. Not a strong amount of diversity on their roster but also a weird role to highlight.

None of this is to diminish the work the people here do or have done, but it’s a startlingly high valuation for a company without high name recognition technical expertise in this domain.

Elon has traditionally relied on well known expert partners in the areas he’s expanded into, so this feels like an outlier.
considering the names involved and why the money is needed, almost certainly $6bn raised
He is the richest man in the world and he doesn’t have 6B in the pocket to finance it on his own?
Harking back to neurons compsci: neurotransmitters can modulate by their amount transmitted (saturation of the receptors, or not), so I can imagine if there's just not enough around, that certain signals will not (optimally) be transmitted.
No. But they will certainly back ones that have built multiple 100B companies.
The vanity CyberTruck, I get is a mess. And that lands at Elon's feet.

What mess is afoot at SpaceX that is his doing?
AI written papers about AI >> "all your base are belongs to us"
Did you miss the part that “put glue in pizza to make the cheese stick” was in the training set?
Well the question they were responding to (mine) specifically says “other than Elon”. So it’s very fair to exclude him.
Invading countries usually refer to it as a happy merger
This looks super impressive! Any chance you could explain how memory management works? Eg is it like rust in that sense? Or is it GC'ed ? Thanks
https://www.instwebai.com doesn't resolve.

At a guess, did you mean to type https://www.instawebai.com ? That seems to be something relevant.
Contract agencies have strong incentives to pad work and payrolls and use process controls to coordinate production. It's perfect for AI disruption because you can test replacements at process boundaries, and there's plenty of excess.
The market truly is irrational. :D
For whatever it's worth, Scott Aaronson went from incisive skeptic to drooling fanboy in just about that long. Sam, likewise, seems prone to mistaking loyalty for expertise at this point in his career.
Why risk your own money, when you can risk the money of others, and reap the rewards?
Once you have "proper" arrays, you'll also need "array-references" e.g. fat pointers carrying a length (aka slices), and if you want to avoid unsafe pointer/array conversions you'll also need a typed allocator function, and all of that also requires a new stdlib and probably an extended ABI, or at least a standard for how the new types are layed out in memory, and passed into and out of functions. At that point the whole thing is so different from C that we should give it a new name - maybe, I dunno "Zig"? ;)

PS: There was actually a quite recent bounds-checking proposal by (I think) Apple Clang folks that works with annotations and IMHO looks pretty good (in the sense of "I would actually use it in my libraries"):

https://discourse.llvm.org/t/rfc-enforcing-bounds-safety-in-...
Sure it does. The problem is that they're not producing any general-purpose AI.
A rich man doesn't get rich by risking their own money. They risk the money of their investors
I guess I'm just not talking, then.

This is the part where I mention how Bose, despite making a $300 headset, didn't put a pin/wire on the wired connection for the mic.

(I usually use the laptop mic nonetheless, though, because for some reason if you want to record audio with bluetooth, the quality of the audio output becomes potato.)
> boring low paid drudgery

> the sort of work that AI is coming for

This is NOT what AI is coming for. Its too far from even barely capable for that sort of work. BI tools, Wordpress themes, layers and layers of internal tools for custom business processes are all incredibly fragile and intricately balanced. It will have to learn systems where extra empty tags in the xml response get accounts flagged for removal, systems where the output must be a zip file archived within a .cab file for the downstream systems to be able to process it. Its an insanely stupid house of cards held together by bottom feeding groups of human intelligence. There's no budget to fix it. No incentive to improve it. It will never change, till its replaced with garbage from an even lower bottom feeding group.

AI is hopeless, because of the sheer lack of anything to accurately train itself for this task. It is trying to sell itself to the OEMs and platforms with shiny demos as an even cheaper alternative to the bottom feeding group of outsourced labor.

The joke is going to be real when the $$$ are spent on AI and the outcome is outsourced to the bottom feeding group to maintain.
Oxytocin drives fevers. Oxytocin alleviates measurable autistic symptoms for measurable subsets of autistic people. This isn't a huge mystery.
Part of xAI is to be leverage against Tesla not giving him more control.

He’s been actively pushing for more control of Tesla for exactly this https://electrek.co/2024/05/20/elon-musk-confirms-threat-giv...
Did GP ninja edit their comment? I don’t see that quote
I still fondly remember the story an OpenAI rep told about fine-tuning with company slack history. Given a question like "Can you do this and that please." the system answered (after being fine-tuned with said history) "Sure, I'll do it tomorrow." Teaches you to carefully select your training data.
I'm surprised no one here has mentioned around.co yet. They've had this feature for years which was the main reason our team has been using it. Good to see other services catching up.
Is that the codename for Windows 11?
All conspiracies are based in reality.

All of them.
The datasets should not be used for knowledge but to train a language model.

Using it for knowledge is bonkers.

Why not buy some educational textbook company and use 99.9% correct data?
Oh and use RAG while you are at it so you can point to the origin of the information.

The real evolution still has to come though, we need to build a reasoning engine (Q*?) which will just use RAG for knowledge and language models to convert its thought into human language
I wonder how much of this can be actually automated by LLMs. Isn't substantial amount of time be just lazily spend tracking down what ever variable name or mapping to right thing?

Just spend time adding very simple script as cronjob by CI/CD... And everything was copy paste. But it still took time to set up and name things. To get the small inconsequential details right.
Let me guess, Apple is having to pay OpenAI for this, and they want Google to pay them for it instead
This article is largely feels like a 3 to 4 Cloudflare blog/articles summarisation. If you want more of this stuff, check CF's learning centre: https://www.cloudflare.com/learning/

Examples:
https://www.cloudflare.com/learning/dns/what-is-dns/
https://www.cloudflare.com/learning/ssl/transport-layer-secu...
https://www.cloudflare.com/learning/performance/what-is-http...
How does one differentiate knowledge from the language model in an LLM? At least in a way that would provide a benefit?
The most impressive thing about that is that the Mutalk 2 exists.
I suspect that current ML tech is good enough to constitute a big discrete step forward in terms of how much value Siri is providing as a digital assistant that's also in charge of your home. If that's the case, there's more harm in being reputed as the company that is one serious step behind in a space that isn't yet settled vs facing the same level of gaffs that Google and Microsoft are putting out.

Just look at Microsoft right now. They're experiencing all the heat that OpenAI brings, including unforced errors like Sky. Reputationally speaking, are they better or worse off having made such an early push for LLM product integration?
“The company’s mission is to understand the true nature of the universe”
- There’s no way an LLM is going to get anywhere near understanding this. The true nature of the universe is unlikely to be captured in language.
Alaska's Pristine Waterways Are Turning Orange
He has to hold as many shares of Tesla right now to make sure he can ram through the compensation package.
> I want to learn what I'm missing.

The perverse thing is that betting on the irrational behavior of other investors seems paradoxically rational at this point. Just, don't get caught holding the bag.
> A dog is an animal but an animal is not always a dog.

In this sentence, "is" describes membership (a bit like isinstance in Python, or instanceof in Java or JS). In a definition, this is not the same "is".

In a definition, "is" is the definitional "is", and what is after the "is" is supposed to be a comprehensive list of things you need to match to be called the term preceding the "is" (a bit like "class" or "struct" when you define a type)

Given the definition "A dog is a domesticated animal that has four legs and barks", everything that is an animal, domesticated, that has four legs and that barks is indeed a dog, and something that misses even one characteristic is not a dog (though I made up the definition, it is likely wrong).

Again, polysemy. Not all uses of be are equal. So:

> A language is ... does not mean ... is a language

Indeed, though not for the reasons you had in mind when "A language is ..." is a definition of language: both things around your "does not mean" are indeed true (when you were probably hinting at the second part being false, given your dog example), but the first "is" is definitional, and the second is membership. Both are true because the definition actually defines membership for each individual object described by the definition, and by putting the list of requirements of the definition at the beginning of the sentence, you are describing a particular item that trivially matches the definition. Almost like I did in my example (except I used "everything that", instead of "a").

> I think it's clear for the both of us that PLs are not the same as languages

As natural languages, yes. Which, granted, we would call just languages in everyday life.

> visual programming

How is this related?

I respect your opinion that language in programming language is a misnomer but have not been convinced so far and the more you are writing, the more I'm convinced that your internal definition of language is just too restrictive and I'm also not seeing how this restriction/framing actually helps.

I'm a simple person. You give me a definition of A, you give me something S, if S has all the characteristics given in the definition, S is definitely a A according to this definition.

Now, we can discuss the definition and how it's not entirely (or at all) satisfying, complete, appropriate or useful, and how it could be improved, or how the trick of using qualifiers to further restrict the definition does not cut it.

On this last point, I, so far, have not felt the need to change the definition of language I know to express my ideas clearly, and have been happy to use qualifiers like "natural" or "programming" when needed and unclear from the context. In particular, I have not encountered a situation where calling a programming language a language lead to confusion or bad consequences.
I have been using local LLM as a daily driver. Built https://recurse.chat for it.
I've used Llama 3, WizardLM 2, Mistral mostly, and sometimes just trying out models from hugging face (Recently added support for adding it from Hugging Face https://x.com/recursechat/status/1794132295781322909)
Lots of new chemicals to patent, too.

Arylcyclohexylamines are awesome.
Absolutely. The memory management is manual like in C, but with addition of defers it is actually quite good to work with.

Here is the source for the allocator: https://github.com/glebbash/LO/blob/81f96bb09e3a0b1455b32497...

It also links to where I learned how to build the "proper" allocator from scratch.
I'm unable to find some code where it shows how to verify the signature of SHA256(client_hello_random + server_hello_random + curve_info + public_key) I know the theory but somehow there is some issue to implement it, anybody can link an actual toy program showing practically how to do this?
thats a fair question coming in as spam in disguise. first i though of just flagging it, but now i think just to ignore it.
> he doesn’t have 6B in the pocket to finance it on his own?

This isn’t how you gain allies.
The House Bans the Fed from Building a CBDC Like the Digital Yuan
He’s been mostly too distracted with Twitter. His last one was the launch pad all his engineers told him would be a disaster that he insisted on doing anyway. That legitimately had the possibility to put them out of commission for years had the concrete seriously damaged any nearby residential properties.
Pascaline Systems
Check out Marcan's channel. The Apple ARM silicon Linux bring up is epic, almost 12hours, Apple used a fair amount of custom hardware. https://www.youtube.com/live/GxnWuXgj3JI?si=lUJ_7KdkylzXLryj
Ah yes, just what we’ve all been craving: even more Microsoft.
Everybody wants Elon Musk to make them some money.
Hopefully incompetence can save us from the megalomania.
A 1.3B-light-year-across ring of galaxies has confounded astronomers
Counterpoint - https://www.atlanticcouncil.org/blogs/new-atlanticist/dont-l...
Yup (what's quoted is precisely what was in the original comment). The reply was very soon (2 minutes) after the original comment, so perhaps GP's author corrected themselves (edited the comment) during that time (prior to noticing the reply).
> I just wish Microsoft could get their act together on their OS and release a Surface Phone

MS has given up on mobile as a OS or device category. In fact I’d argue MS has given up on the entire OS sector, as a revenue stream Windows is increasingly less relevant to their bottom line. They only see windows as a way to bring other applications (read: advertising) to their users but not as a means unto itself. Ask yourself, what new OS features has ms released since windows 10 that is more than UI changes, or applications that aren’t really a core part of the OS? Adding dark mode or tabs to notepad are not real features that anyone needs.

The truth is that the OS has gotten so complicated and it’s nearly impossible to find competent talent that is excited about OS design and development so it’s barely possible to just keep the OS up to date with the latest hardware, there’s simply no time or effort available for new development.
I don't think you know how this works. The rich don't risk with their own money, only the money from others.

Even if they do, it is much less of their wealth on the line managed by others to grow it.
Well it was cosmopolitan because it conquered many people in an area that was cosmopolitan from the start (in particular Constantinople) and as long as they didn't fight back for their independence they were tolerated.

That's not much different from the current state of Israel which allows Arabs to live in it (and even have political representation!).

I don't know how to square the elevation of the tolerance in the ottoman empire while at the same time decrying the apartheid within Israel's borders.

The situation is fucked up. It's hard to have justice and peace.
What would you be using it for? More and more I fail to see the value in LLMs. Something like Copilot, if used correctly, does have a bit of usefulness, but that's really the main use case right now. You can't trust the LLMs, so you can't use them for anything where you aren't going to go through the output meticulously afterwards.

Then again, I don't see the point in Siri either, it's useful in only a handful of cases.
The killer Slack feature is the ability to draw on the other end's screen. I really wish I had that sometimes in (small) Google Meet meetings, simply to avoid the "it's on your left. Your other left. Okay down 3 items. That was four items. Go up one. No, now you've gone up 2 items…"

Or mid-prod outage trying to get some engineer to type a command to run for you, and they can't dictate from speech to terminal, because they don't know shell/Unix commands at all. Then I can just write the command on their screen, for them to copy character by character… (to some extent, chat solves this. To some extent. I also wish we could get some basic markdown.)
Based on the functionality, I'd think it's the codename for "Copilot Plus" or whatever it's called now.
I haven't looked closely into Solana because it's clear to me it's not a decentralized network. Its transaction history is over 100 TB now, with gigabytes being added per day (source: https://www.reddit.com/r/solana/s/ipF70lwxe0).

The result is that everyone relies on the Solana Foundation to store the full archive, and pretty soon even non-expired history will only be possible for large companies to store.
Unfortunately, this requires creating a Medium account and signing in. Maybe it also requires payment later on.

This is the message I see.

> The author made this story available to Medium members only.

> If you’re new to Medium, create a new account to read this story on us.
Mobile firewall options include Little Snitch on macOS, VPN/tailscale on iOS/iPad to home router, or an LTE travel router.

If using a travel router, Apple Configurator can limit Wi-Fi SSIDs. There are claims that some Apple traffic can bypass on-device iOS VPNs.
The Image Map Element
It might be because an electronic payment system can accept exact tender and / or the options to tip defaults to lower payment options / easier to hide a small tip to your friends

With cash few have exact change and the table can see what you give. This leads to rarely asking for change back and putting higher amounts as it ups your social ranking.

This effect is easier to see in a bar.

Often you need to keep track of dollar per unit sold as some staff will overpour
US sports betting could become a $45B business
Not really. We already have `#pragma once` which is per-file, not per-translation-unit.
Yup. They're going to have the greatest training set of trolls, shitposts, and propaganda.

The only universe they're going to end up understanding is the one inside Elon's head.
I believe it's the other way around - most people who have computer science degrees have attended university with a rigorous math, engineering and theoretical computer science curriculum. And despite that, they struggle to use any of it in any meaningful capacity.

Months can go by before I get to solve a good DS & A problem in production. Most of my job consits of fighting with the mundane drudgery of fighting with cloud providers or getting crappy frameworks to do what I want.

I think the value of people who have a deep understanding is about to skyrocket.
Show HN: My tool helps startups get practical customer insights
Senty.ai is a research tool I developed that delivers a comprehensive 'day one' research answer that can be used to get a serious head start on product development.

Senty currently uses App Store reviews as the basis for assessing a number of metrics, from customer sentiment to change over time, areas in need of improvement and critical issues.

Senty.ai leverages LLMs to asses and support the answer, but it is NOT a simple wrapper for ChatGPT. Is is a sophisticated research tool that when used with other methodologies (heuristic analysis, focus groups, surveys etc.) is extremely powerful.

I am CX expert and ex-McKinsey consultant, and over the years I have led customer research projects around the world, focusing on incumbents who want to create new digital ventures.
My narrator does tell me the following:

1. Are return values identical for identical arguments?

2. Are there side effects? What are those?

3. "Congratulations, this narrator here found a story that can be told in isolation!"

4. Are the variables used in close locality to their declaration

5. Are all these loops doing what I think they do? (This one requires iterations of temporary code rewrites)

6. Is the story told with high efficiency? Can some side effects be prevented?
Would really like to see this in action! Do you have a tutorial?
Hierarchical Documentation Agents for function calling and discovery
Hi everyone
I wanted to share this project that I am currently building, where I am building a hierarchical graph structure for the documentations of different packages. The function discovery part in function calling is the trickiest part as just dense retrieval won't help a lot. Rather we can build all the documentation into a hierarchical graph, and based on the function definitions, we can jump to the nodes that are relevant and narrow down our search space. I am hoping to brainstorm more about it and currently, it supports sklearn, pandas, and OpenBB. Working on huggingface and Ray.
I've been using the free version of cal.com which has been phenomenal, and there's self hostable option which is nice
I’ve thought about why you couldn’t do this forever! Amazing technology but I always thought multiple audio input should be able to make a room a better source not worse and full of feedback.
Apple should consider an iPhone/iOS light, a version stripped of anything but the bare essentials. I get why they don't, the market isn't big enough, and they can barely sell their current best phone, the iPhone SE.
Css scoping has been fixed for ages already by css modules, styled components, or/and (native) support for nested css declarations. If those all fail there’s namespace conventions like BEM.

If your css is a mess in 2024 (2016 really) it is all on the developer and not the language.
Bob from accounting will not even know how to run a Python script, how to deploy it, install required modules. Programming is in a significant part about knowing how to break a solution to a problem into small, testable, reusable chunks of code and knowing when a one-file script is fine or when a framework (3rd-party or written in house) may be a better solution. Programming is also about knowing the tooling for your language, the operating system, protocols, formats. AI won't help Bob with that.
Yes the correct link is https://www.instawebai.com. I cant seem to edit the url of the post.
Chromecasts do it too, for pairing purposes. I’m sure other devices use it for clever purposes as well.
Looks interesting! Always glad to see more WASM native languages coming. You may take a look at MoonBit(https://github.com/moonbitlang/moonbit-docs/tree/main). The language is Rust-like with gc support, and we also have a full toolchain like cloud IDE, compiler, build system, and package manager.
AI is not rocket science. It's child's play compared to space tech.
> Anchor Positioning

Are there selectors for this anchor relationship?
e.g. style anchored element when anchor is on :hover
Asset rich doesn't imply cash rich.
BGP operators _have_ self-organized sufficient security measures. Compared to just about any other attack vector on the internet, BGP hijacking is among the least likely to impact most people.
So.. tech winter over?
its probably because per contract std::array has to behave exactly like C array for legacy ops. Also this is not zero cost abstraction, so programmer has a choice: ultimate performance or extra safety.
It has the advantage over torrent that you don’t have to hide yourself behind a VPNs to keep from getting sued for illegal doings.
Open Source Stock Analysis and Community Platform
That is wild! I'd also like to learn more about this.

The language is a bit, idk superlative, but if it does what it says then it would be great.
Cool project you too :) It's fun to see how the language of the first compiler affects a lot of the syntax of the languages we build.