skysight-inc/HackerNews huggingface dataset:
If we are applying that emotionally charged nonsense as a standard then why not apply the same standard to the victims of police murders and conclude that the police need deported? Or exilr all doctors given the number of molesters among them?
Slightly more optimistically: As we go along, small pieces go from "too expensive to actually use" to "usable on real projects, but nobody does yet", and then to "doesn't everybody do that?"

This is the story of improvements in type systems over the last 70 years. But the progress is very slow. So this is only slightly more optimistic...
and probably no where to hide if you want to just rest and vest.

"Rest and vest". What a luxury. Some of us are trying to tread water with an anvil chained to the waist. That's what I get for choosing to work for something I'm passionate about. What a world
My apologies if I misinterpreted. I assumed it was tied together with this:

> When I worked in defense contracting people loved trotting out stuff like "the work is stable", "you can't get fired from a government job"

It's truly a shame that the employees who keep the government glued together -- be it via direct government employment or contracting -- are subject to unnecessarily turmulous conditions because of one political party's antics.
rsnapshot was definitely my favorite Linux option before restic. I find that restic gives me the benefits of chunk-based deduplication and encryption, but via `restic find` and `restic mount` I can also get many of the benefits of rsnapshot's simplicity. If you use `restic mount` against a local repo on a USB3 SSD, the FUSE filesystem is actually pretty fast.
Totally achievable by using interfaces instead of structs

type Foo interface {
Foo() int
}

type Bar interface {
Bar() string
}

type FooBar interface {
Foo
Bar
}

Then functions that accept a Foo will also happily take a FooBar. Does not solve the problem of passing a FooBar[] to a function that expects Foo[] but that can be solved with generics or a simple function to convert FooBar[] to Foo[].
"I have largely avoided the second law of thermodynamics, which says that entropy always increases. While fascinating, this is so problematic that a good explanation would require another book!"

For those interested I am currently reading "Entropy Demystified" by Arieh Ben-Naim which tackles this side of things from much the same direction.
The YouTube link was broken (for me, at least).

This is it:
https://www.youtube.com/watch?v=PVHPYb3t098
Interesting topic because I wouldn't want to work with those 20% who reject people based on n-th level relationship to anything controversial.
I get not wanting to deal with people who run these things but employees?
Those "anti-political" places typically mean a specific side (depending on your country that may anti-right in western countries and anti-left in eastern).

When I worked in the office before 2019 we had all kinds of people there. It was kind of beautiful in a way. Straight up communists discussing stuff with conservatives without any heat. Isolation breeds extremism.

It's true that it would close doors but man until the market takes that choice away from me I don't want to open those, and I say that as a guy who never worked with any of this even indirectly.
And to be fair - not having experience with those things also closes doors, just different ones.
Right, this is exactly what I'm getting at - learning a distribution over a fixed sample space can be done with Bayesian methods, or entropy-based methods like the OP suggested, but I'm wondering if there are methods that can automatically adjust the sample space as well.

For well-defined mathematical problems like dice rolling and fixed classical mechanics scenarios and such, you don't need this I guess, but for any real-world problem I imagine half the problem is figuring out a good sample space to begin with. This kind of thing must have been studied already, I just don't know what to look for!

There are some analogies to algorithms like NEAT, which automatically evolves a neural network architecture while training. But that's obviously a very different context.
> There is no defensible moat unless a player truly develops some secret sauce on training.

This is why Altman has gone all out pushing for regulation and playing up safety concerns while simultaneously pushing out the people in his company that actually deeply worry about safety. Altman doesn't care about safety, he just wants governments to build him a moat that doesn't naturally exist.
PSA: Mercury closing all Ukrainian founder bank accounts
So they just pay better?
Interesting timing for this. Chrome 127 (releases today) disables Manifest V2 extensions. When uBlock Lite runs out of rules, unwanted advertising will be back on the web.

With all due respect to the Chrome team, where is the leadership, competence, or moral courage at Google? It looks like they are announcing to the world today that they care more about advertisers than users.
Maybe they think more people will just use quantized versions of 70B.
Sure, I addressed it in my second sentence. However a bit more research shows already well-researched metabolic changes could have an impact, and I thought it was interesting, but apparently I was wrong.
AWS has a separate service for running LLMs called Amazon Bedrock, it shouldn't take long for them to add 3.1 since they have 3 and 2 already.
I noticed that tailscale magic DNS appears to not be able to understand that /etc/resolv.conf doesn't need to be manually overwritten when using dhcpcd whereas there is no such problem when using the ISC dhcp client.

Obviously, tailscale is in the wrong for trying to infer whether or not /etc/resolv.conf is under system control rather than just providing a knob to tune that behavior but that doesn't change the fact that my DNS gets subtly broken when using dhcpcd.
"Meta AI isn't available yet in your country"
Hi from europe :/
1.Why webflow.
2.Protfolio Spelling error

Keep up the good work
I looked, just now, at all the Make alternatives mentioned: Task, Mage and Just.

Those first two are nowhere near as easy to read as Makefiles. The last one, Just, looks good, though.

At least Cmake files are easy to read, but many of these alternatives are just poor UI, compared to Makefiles. I mean, using YAML of all things and thinking it's some sort of improvement over Make syntax?

1. Mage is just insane. In what world is this:

func Build() error {
if err := sh.Run("go", "mod", "download"); err != nil {
return err
}
return sh.Run("go", "install", "./...")
}

More readable than this:

build:
go mod download
go install ./...

2. Task - not just significant whitespace, but significant whitespace everywhere, due to a poor format (YAML). Look at the example given:

version: '3'

tasks:
build:
deps: [assets]
cmds:
- go build -v -i main.go

assets:
cmds:
- esbuild --bundle --minify css/index.css > public/bundle.css

Compare with Makefile that does exactly the same thing:

build: assets
go build -v -i main.go

assets:
esbuild --bundle --minify css/index.css > public/bundle.css

These alternatives to "Make an easier Make" appear to not know about Make in the first place.
meh. or you could use mixins.
The situation that comes up the most often that you need to consider is when someone embeds the same sort of file into itself, or chunks of the same sort of file into itself. If using the ASCII characters to delimit fields was common, you'd need to consider that over the course of some moderately interesting system's life time the odds of someone copying and pasting something from an encoded file into the spreadsheet application and picking up the ASCII control characters with it is basically 100%. And while we may be able to say with some confidence that nobody is going to embed a CSV file into a CSV file (and I say only some confidence, the world is weird and I'm sure someone will read this who has actually seen someone do this), there's other situations like HTML-in-HTML (for example, every HTML tutorial ever) that are guaranteed by their nature.

It is still valid to disallow the ASCII control characters, one just has to make sure that it is done comprehensively, in all places users may input them. But that's not created by using ASCII control characters, that's a consequence of the "ban the control characters entirely" approach regardless of what the control characters are.

It's neat when you can get away with it, but I generally prefer to define a robust encoding scheme instead. A minimal one like "replace backslash with double-backslash, replace control characters with backslashed characters" and "replace backslash sequences with their control characters, including backslash-backslash as a single backslash" can be inserted almost anywhere in just a few lines of string replace (or stream processing if you need the speed). The only tricky bit is you need to make sure you get the order correct or you corrupt data, and while I've done this enough to have it almost memorized now I do recall feeling like the correct order is backwards from what I naturally wanted the first few times. But it is simple and robust if you get it right.
There is. Dad-bod guy is attractive to some people; hunky guy has more universal appeal. Bald guys can be hot, but they've gotta work on themselves (just like the rest of us) if they wanna get there. But it's weird, when I try to imagine Dwayne Johnson or Vin Diesel with hair, they do lose a few points of attractiveness!

I've got freckles; they really work the same way. Got bullied for them all through childhood. Hot girls with freckles are hot and people love their freckles. Drab girls with freckles get picked on and their freckles are gross. In adulthood, nobody's picking on me for having freckles, but I hear how other adults talk about their attraction to other people. Fortunately I'm firmly middle aged so my prospects tend to be less focused on appearances by definition.
The race to the bottom for pricing continues.
IME it feels like companies/managers haven't realised the power this gives them. Some are still using formal probation periods - remember, a probation can't remove legal rights, only delay additional rights - and undergoing normal redundancies rather than cheaply cutting the newer employees.
Meta AI Is Now Multilingual, More Creative and Smarter
Looks like we disagree axiomatically about certain things.

But life is short, so I'll just respond to one particular item for now:

The only problem is that some pushing for Arab nationalism couldn't stomach the existence of Israel or Jews in general.

No, the "only problem" was a bunch of armed foreigners attempting to carve an ethnostate out of their ancestral territory. They could have been Greek, Italian, Russian, Turkish, Persian -- it wouldn't have mattered a bit. It was the usurpation of their land, their resources and their rights that took issue with, and rightly so.

So no, it wasn't "because antisemitism".
This is exactly it. Chasing high salaries for many of us isn't about buying more expensive things. It's about obtaining freedom in your life as early as possible. Add in a family, and the only way to do it in your mid 40s when your body is still capable of doing anything, is to make numbers like what you mentioned.

A common retort is "stop working for FAANGs, then maybe you won't be in such a rush to get out". I completely disagree. I don't care who I'm working for, even if it's myself, it's the fact that my time is controlled by some outside force that I'm trying to escape.
I've had a blog at the same URL since 2000. Search engines are disallowed, comments are closed, I'm not on social media to announce it. I don't talk about it. Twice a week I publish something, but it's meant as a record for me rather than other people. The only reason it's on the web is so I can access it easily from different computers. Once I checked in Feedly, and it said that there were two people subscribed to it. To the best of my knowledge that's the readership.
~Calm down. It's a common misconception.~
This is very impressive, though an adjacent question — does anyone know roughly how much time and compute cost it takes to train something like the 405B? I would imagine with all the compute Meta has that the moat is incredibly large in terms of being able to train multiple 405B-level morels and compete.
>"Iran’s underground nuclear facility could be between 80 meters (260 feet) and 100 meters (328 feet) below the surface... That could be a problem for the GBU-57 since the US Air Force stated that the bomb could rip through 60 meters (200 feet) of cement and ground before detonating. US officials have talked about detonating two of these bombs consecutively to guarantee the destruction of a location. However, the new depth of the Natanz tunnels still poses a significant obstacle." [1]

[1] https://www.eurasiantimes.com/us-flaunts-massive-ordnance-pe...
People can absolutely be forced into working immoral jobs by muh capitalism, but some of you are way too enthusiastic about it. Someone doing blue team work for MGM after getting laid off in 2022 is one thing, a Staff Addiction Engineer looking to try a new industry in 2019 is another completely. Secondly, I agree that we should be hiring good people out of these industries, but there are a lot of people who just aren't going to be comfortable with that.
fp8 quantization should work if that's acceptable?
Yeah I agree. Such a company in Canda is going to pay way below market rate, maybe 60-80k and that's not feasible for me :/

It would be nice if the pay is around 120k.
Capacitive controls could be the cause of a spate of VW ID.4 crashes
What's the need? Every email client can already do what Markdown can.
> There is little protections against messing up with the internal. This is on purpose, I want the kids to learn to use the API not mess up with the internals of every single class.
Open source AI is the path forward
I use several audio apps on Android, on a mid-low phone. The most intensive use comes from Cubase - Audio and synths, mixer, inputs and outputs, midi/ phone input program.
After 30 years on Atari then windows I've had my ups and downs with the program, but I can easily say that my android version is a1 solid, connected to/ from my hardware synths
>dense bitsets for small ranges

Have you tried roaring bitmaps?, it will internally use either a sparse or dense representation based on the bits set and uses SIMD for all its operations.
"bootstrap your future now"

or

"reach into the future and pull the best possible rendition of yourself backwards to now forthwith such that you can become thatself once thineself agrees that it is indeed thou that thou wishes to become"
Not to mention lack of bodily autonomy for women. Tech commenters, because they are mostly men, tend to underestimate the weight those issues carry.

If you have no idea who Charli XCX, Chappell Roan, or Ethel Cain are, you're going to miss what's going to happen this year.
You can run multi-node with tensor parallel plus pipeline parallel inference, e.g. with vLLM (https://docs.vllm.ai/en/latest/serving/distributed_serving.h...).
Today appears to be the day you can run an LLM that is competitive with GPT-4o at home with the right hardware. Incredible for progress and advancement of the technology.

Statement from Mark: https://about.fb.com/news/2024/07/open-source-ai-is-the-path...
How would you ensure that the values of the types doesn't invalidate the contract? Easy for basic assignment, but not sure how you would do that when doing arbitrary mutation.
You don't use the 405B parameter model at home. I have a lot of luck with 8B and 13B models on a single 3090. You can quantize them down (is that the term) which lowers precision and memory use, but still very usable... most of the time.

If you are running a commercial service that uses AI, you buy a few dozen A100s, spend a half million, and you are good for a while.

If you are running a commercial inferencing service, you spend tens of millions or get a cloud sponsor.
This person regularly post rude low-effort comments

https://news.ycombinator.com/item?id=41034778

https://news.ycombinator.com/item?id=41004954

My body of work should be enough

This is a separate discussion, maybe you can put some of that body of work here.
This is a great introduction to the mess that is traffic signal controllers!

The reality is perhaps even worse than the article suggests. The majority of signal controllers support the NTCIP "standard" MIBs in addition to the "proprietary" MIBs that are provided through FreeTheMIBs. These "standard" MIBs are defined in standards like NTCIP 1202[1], which are freely available online through the NTCIP group.

These standard MIBs let you set/get all kinds of fun settings... put the lights into flash, change timing settings, set "preempts" to give yourself a green light, and more.

The standard also strongly suggests that all vendors use a default SNMP community name of "public". That means, for any traffic controller you happen to find on a network, you can almost certainly change tons of scary settings without even needing to _exploit_ anything!

I've been working in the industry for quite some time, and it's genuinely scary how poorly secured some of this infrastructure is and how slowly things move when issues are found.

(Disclaimer: I work in the industry, not for any of the companies discussed in the article, and all these views are my own and not those of my employer)

[1]: https://www.ntcip.org/file/2019/07/NTCIP-1202v0328A.pdf
The Cultural Exchange building at Hakone Gardens on Saratoga CA (near San Jose) was constructed in a similar manner - the building was designed and built in Japan, disassembled, shipped over and then reassembled on-site. Done in 1990 though, so not a historical building.

https://www.hakone.com/history
The potpourri of a youtube channel, Atomic Shrimp, has done a couple interesting videos doing just that.
- Fake it until you make it.

While there is some truth to this depending on the context, for the most part, especially in software engineering world, you don't know everything. Don't be afraid to say if you need to research something or do POC or investigation. No one will be mad at you and if they are, you don't need to be working with that person. I spent many nights frantically trying to figure out things, to make it seemed like I was up to par, when I should have been more chill about it.

- Do what you love, and the money will follow.

My parents, my high school guidance, society, everyone told me this thing in 2002. Many of my friends went into music education and I can say only one or two got a job in this field. Then 2008 hit. This view, it is the survivors bias, what you should do instead is what will make you money, then figure out how to use that skill to do or add to what you love.
For consumer stuff like this, you'll obviously get something else. But sometimes you can get recycled components if the price obviously is not sane, where recycling is an option.

It's only fraud if the description mentions new and original. :)
"range query" is different from "find next availability".

Do consider to explicitly use 16(-ish) bit pointers instead of native sized ones, and go for a SIMD-friendly binary trie; with some degree of implicitnes where it is addressed as if it was storing a set of mutually prefix-free variable-length (capped to something though, like 32 in your example) bitstrings (no entry is a prefix of another entry), but you're not looking to distinguish `{00, 01}` from `{0}`.

Operations are restricted, but it should be able to be very fast for "find first empty of at least X large starting at or after Y" as well as "clear from X to Y inclusive" and "add/mark from X to Y inclusive".
> Saying it was Trump who killed it is just conjecture

It all played out in public, just like everything with Trump. There is no need to lie shamelessly on HN, it won’t get you anything.
Is there pricing available on any of these vendors?

Open source models are very exciting for self hosting, but the per-token hosted inference pricing hasn't been competitive with OpenAI and Anthropic, at least for a given tier of quality. (E.g.: Llama 3 70B costing between $1 and $10 per million tokens on various platforms, but Claude Sonnet 3.5 is $3 per million.)
>At Obsibrain, we personally save up to +$20/month without the need for specific to-do, journal, and goal planner apps.

1.I might not be target audience but here is my 2cents,I dont pay for such apps since there are free alternatives available.

2.There are many free productivity templates Online.
It looks like they will IPO at some point, so that valuation issue should go away.
It's interesting how so many people have an aversion to being a business owner / entrepreneur, and will instead put in so much effort to optimize being a well-paid employee, instead of learning how to start and run a business.

These salaries listed are great salaries, no doubt, but they are not dramatically more than say, a guy running a successful local plumbing business. And the ceiling is limited as an employee, whereas it's virtually unlimited as a business owner.

If you aren't a shoo-in at FAANG and you want to make that kind of money, your best bet is to learn how to start and run a business. I don't mean try to launch a billion dollar social app that needs venture funding. I mean a SAAS that solves a boring problem for other businesses with money to spend.
agree 100% with this nice comment from a fellow dot-com crash observer.

Many HackerNews readers are young'uns who are seduced by FANG salaries, and the latest AI/ML bandwagon. They dont have the perspective one gets having seeing the highs and the lows.

I can bet there will be another rude awakening around the corner which will wipe out the "pretenders". After the dot-com bust, many pretenders left the silicon valley with anecdotes of leased BMWs abandoned at SFO airport.

After the AI/ML hype deflates, there is likely to be a similar separation. Folks in it for real will be separated from the folks who came in for the riches.

And for the history-buffs this rhymes with the CA gold-rush circa late 1800s - some found it, most didnt, levis profited selling denims to them.
It's a common misconception among people who haven't done even the slightest bit of research. Or done their taxes themselves. Confidently stating stuff that is obviously false SHOULD be ridiculed.
_My_ apologies for not making the distinction more explicit - reading it in hindsight it is a bit ambiguous.

In an ideal world the government would operate a little more sanely but I'm not holding my breath.
Unless I'm misunderstanding: isn't the JVM's virtual threads another instance of this colorlessness?
"According to the U.S. Small Business Administration (SBA), 99.9% of businesses in the United States are small businesses, which are defined as independent businesses with fewer than 500 employees. This amounts to around 33.3 million businesses, which employ 61.7 million Americans, or 46.4% of private sector employees. Small businesses are a vital part of the American economy, contributing to economic stability and representing 43.5% of the country's GDP.

Here are some other statistics about small businesses in the United States:

84.8% of businesses in rural areas are small businesses

43.2% of small businesses are owned by women

20% of employer businesses are owned by minorities

Small businesses account for about 96% of employer firms in high-patenting manufacturing industries
the sum here is the sum of wins or losses across all players. for you to win, someone else has to lose. in an economy everyone can be a winner.
AFAICT, their expansion still happens during an interpretation cycle — but when you "interpret" AST into your byte-code.
Is elixir's type system sound?