skysight-inc/HackerNews huggingface dataset:
This is a great thread, thanks! Somehow I missed it when looking for prior art.

When I initially started implementing this I was hung up on similar concerns. For example in GPT2/PotatoGPT the MLP player is 4x the width of the residual stream. I went down a rabbit hole of addition and multiplication in Typescript types (the type system is Turing complete, so it's technically possible!) and after crashing my TS language server a bunch I switched tacticts.

Where I ended up was to use symbolic equivalence, which turned out to be more ergonomic anyway, i.e.

type Multiply<A extends number, B extends number> =
number & { label: `${A} * ${B}` }
const Multiply = <A extends number, B extends number>(a: A, b: B) =>
a * b as Multiply<A, B>;

such that

tensor([
params.EmbeddingDimensions, // This is a literal with known size
Multiply(4, params.EmbeddingDimensions)] as const)

is inferred as

Tensor<readonly [768, Multiply<4, 768>]>

Notably, switching to a more symbolic approach makes it easier for type checking dimensions that can change at runtime, so something like:

tensor([Var(tokens.length, 'Sequence Length'),
Multiply<4, Var(tokens.length, 'Sequence Length')>])

infers as

Tensor<readonly [
Var<'Sequence Length'>,
Multiply<4, Var<'Sequence Length'>>]>

And you'll get all the same correctness constraints that you would if these were known dimensions.

The downside to this approach is that typescript won't know that Multiply<4, Var<'A'>> is equivalent to Multiply<Var<'A'>, 4> but in practice I haven't found this to be a problem.

Finally, on more complicated operators/functions that compose dimensions from different variables Typescript is also very capable, albeit not the most ergonomic. You can check my code for matrix multiplication and Seb's writeup for another example of a zip function).
If I had to pick a layout for pure speed/efficiency I'd go with MTGAP.
No it doesn't lol because you can insert any test you like into your equation. GPT-4 performs well above average on almost anything you throw at it.

"Says more about [insert test]" is not an intelligent argument. It doesn't even make sense. Can you tell me exactly what this mysterious thing is ?

If you have this secret test for "true" intelligence and understanding the entire world is missing on then please share it with us and get your acclaim.
That is important. It's also something that simply isn't going to happen, at least not for a generation or two (to be optimistic).

In the meantime, AI automation is more likely to increase people's struggle by eliminating a whole lot of jobs.
Gonna be pretty gnarly when these get introduced into a theater of war and some desperate person points them at human flesh. :-|
Ask HN: Why do video games award points in multiples of ten?
Should video games released nowadays continue to do this?
AT&T tries to block Starlink/T-Mobile plan for satellite-to-phone service
Yeah, that's definitely always been my challenge with weight loss. I have zero problem with self control -- I can easily cut calories in half or less (e.g. 1000-1200 cal/day), but it's simply that my body suffers immensely. I lose all energy, can't concentrate on anything, and my immune system weakens so I start getting colds constantly.

I'm sure I'd easily lose weight with Ozempic but I'd still be suffering health issues. Not because of Ozempic itself but just because I wouldn't be getting enough calories, despite still being above a healthy weight.
I’m in basically the same situation. The minor annoyance of key bindings is worth it for significantly reduced hand strain and slightly faster typing speeds.
Definitely, but when it comes to counter-offensive, the same rules apply: you don't need to blow up each drone in a swarm. You just need to cause a big enough explosion near enough drones (just like how we don't shoot airplanes or ships by direct impact anymore, we "make thing go boom" close enough to a plane or ship to cause enough catastrophic damage to the flight surfaces/hull and if there's a direct impact, that's just a bonus)
I think you're looking for this thread. https://news.ycombinator.com/item?id=36000631
I wish courtyard-like shapes were more common in western architecture.
I think you are absolutely correct. In this simple example, it's not easier to comprehend. Especially for someone who already understands how composing software out of function calls works.

My goal with that example was to point out how there are implicit dependencies between validateFields() and networkLogin() and updateUI(). They need to be called in the correct order to make the program work. Our library makes those dependencies explicit and calls things for you. It's not a big deal when we have a 3 function program. But when we have dozens or hundreds of interdependent instances of state, those implicit dependencies become a real struggle to navigate.

Now we're convinced our library works well. We use it every day. But it's also very reasonable for you to be skeptical. As you say, there's cognitive load. As a potential user, you would need to spend your time to read the docs, try a few out ideas, and understand the tradeoffs. That's a lot of work.

I'm glad you took a look at the project, though. The fact that we've failed to make a case for it is certainly on us. Which gets back to my original point. I don't know how to sell a solution to complexity.
I know someone that took it and his gallbladder burst. Doctors couldn’t say if it was related to the drug, though.
Phones take a long time to boot (12 seconds on an iPhone SE) even though their hardware stays the same.
Man, I had stuff I had to work on today!
> I’ll finish with something that I think we did well: migrating away from Supabase was easy for Val Town, because it’s just Postgres

Y'all are saints in this space. Every other managed db provider does everything possible to make leaving as difficult as possible. Definitely gives me a lot more confidence using Supabase in the future
It does come with a huge penalty. Want to get rid of your GC pauses? Good luck with that. Best case scenario like D you get to split your libraries in GC and non-GC, or C# where you can kinda skirt around it with structs and stackalloc.

Worst case scenario Java without value types - Rewrite it in another language.
Used microwaves are almost certainly cheaper than any similar munitions used by the us mil.
I believe there is WIP to get python type annotations for arrays/tensors shape, but it's not a thing yet, indeed.
Which it did, quite often. There would often be bugs that existed between kernel 2.6.300 and 2.6.336 or some nonsense. The idea is nice, but in practice all of that backporting just seemed like a lot of work for not much benefit.
>Sad that the obvious route (diet and exercise) is skipped by so many people, who just want to continue their unhealthy lifestyles but not suffer the physical consequences of it.

Food has a different effects on different bodies with different mental state and neurochemistry. Pleasurable foods can be as addictive as recreational drugs. Is it really fair to blame it on people? When somebody can't stop using cocaine, we don't call them undisciplined, we call them addicts.

It is far better for somebody to use a crutch to lose weight than remain fat and significantly damage their health in turn reducing their lifespan. Increasing tax on unhealthy foods and reducing sugar is still a work in progress. The long term goal is to nudge people into healthier foods such that the cycle of addiction is harder to start.

With the collapse of traditional gender roles, both the man and a woman in a typical family are now working full time. It's harder particularly for the lower class to eat healthily when there's nobody to prepare meals. If that problem were solved, we'd be a big step closer to solving obesity.
>I only tried combining them and nearly went to the ER

Could you elaborate on that? I'm currently still a smoker (working on it...) and on Concerta. Your note alarms me :)
Ah, I see you don't work in the field.

A few of the cost of legacy:

* exponential growth in verification space (each feature combines with all other features),

* design complexity (effort that could be spent better),

* area/power/cycle time overhead (all options require more ports to muxes, more wires to run, etc.)

* and most importantly, opportunity costs: some optimization tricks can't be pursued because the assumptions would break for legacy code

The legacy tax is real
I have never ever seen an example where Amazon has ratcheted up prices on any product after getting x market share. In fact, I've seen the opposite. Looking at camelcamelcamel price history, many diaper products on Amazon are trending down since 2018-2019 (max price history). Surprising given inflation.

It's too easy to enter the diaper (or whatever) retail market that such a tactic makes no sense.
The 200k+ from the past year is scaled back from 1 mil+ the year prior.
They are relatively tiny but they run on the GPU to avoid lots of copies back and forth.
After a decade, I type slightly faster on Colemak, but I’d take a 20% reduction in speed and still prefer it over QWERTY.

With QWERTY, I was getting hand pain that I shouldn’t have been getting in my 20’s. Far to many twisted moves from top for bottom row.
GPUs are usually not faster at doing the operation, but excel at doing the operation in parallel on a gazillion elements. Matrix math is mostly additions and multiplications.
games on steam might, but are valve themselves actually doing any of that packaging?

gog in perticular got a custom licensed version of dosbox in exchange for funding.
In Neal Stephenson's Termination Shock, a character has trained raptors to take down drones and he crafted 3D printed sleeves to protect their claws from damage during attacks: https://www.nealstephenson.com/termination-shock.html
Wow, 250k a year to go to work 8-5 is “modern slavery”. On a bit of a high horse there.
Never in my life have I been excited about a browser, until now!
Big-endian numerals in little-endian component order is still ixUn-endian! YMD or little-endian numerals, then we can talk :p
Why wait?

Those fancy weather stations often transmit to the indoor LCD display using fairly simply messages sent in the 433 MHz band or the 915 MHz band. For many those message formats have been reverse engineered and decoders for them added to open source SDR software such as rtl_433 [1].

With a $30 USB RTL-SDR and rtl_433 you can then use the sensor units from many of those fancy units as inputs to your own display and analysis software. And you can often use your neighbors' sensors too. One of my neighbors--I still haven't figured out which--has an AcuRite 5-in-1 system and I can see its readings using my RTL-SDR and rtl_433.

If you build your own sensors it is cheap and easy to add a 433 MHz transmitter and define your own message format. Rtl_433 can be extended to cover new message formats by giving it a config file that describes the formats.

There's a driver for Weewx to let it use rtl_433 [3].

You can get an RTL-SDR and rtl_433 now, and start playing around with whatever sensors others in your neighborhood happen to have.

[1] https://github.com/merbanan/rtl_433

[2] https://www.acurite.com/shop-all/weather-instruments/weather...

[3] https://github.com/matthewwall/weewx-sdr
I also think the problem is that if you’re losing weight, you’re by definition not eating healthy. If you could skip to the fat gone step, and work on a diet that maintains a healthy weight, it seems like you would have a easier time adjusting.
it is really odd to only discuss long term plans in a meeting.

Meetings help individuals present their idea/code and reviewer to critically/loudly think about the solutions. If that does not happen, thinking happening offline is not likely.
Makes sense given the mechanism of action.

I describe my adhd as being addicted to nicotine and stopping cold turkey. Except you're not addicted to nicotine, what you're addicted to is a stimulus that is inconsistent and changes constantly. Your cigarette is a constantly changing thing.

Methylphenidate really messed me up, I found Lisdexamfetamine much much more effective.

I still use nicotine, though in vape form these days.
As a counterpoint, I've been using it for several months and have had no side effects to speak of other than occasionally some mild reflux.

If anything, my energy levels actually went up immediately after starting it. Normally I was pretty sluggish but it felt like some extra firepower was unlocked.

Everything has risks and benefits, and might harm some people. I hope your family member gets better soon.
> my body suffers immensely

Does the same thing happen if you slowly wean yourself down? Are you cutting out essential nutrients that your body needs to function properly rather than the unnecessary carbs/junk? The reason I'm asking these things is that people I know who have reduced their caloric intake usually report feeling better, not worse.
Oh, we agree more than we disagree.

The only part I really take issue with is the notion that working for someone is modern slavery. I don't think it's anything even close that. Slaves can't quit and do something else. They can't even change who their "owners" are.

> I'd rather eat ramen, than get $250k a year and expected to be at my employer's beck and call 8am-5pm.

I know a lot of people who make that exact choice.

> The fact that pretty much no one seems to see anything wrong with this terrifies me.

I think lots of people see the problem and fundamentally agree with you. The issue is that solutions to the problem are difficult for most people.
There was an article about these very people working at Google.
First off, THANK YOU to you and the rest of the Earth VR team. You’ve brought literal joy to many people through your work.

I brought my Quest Pro and a gaming laptop with me to visit a nursing home a few months back and took some of the residents on guided Earth VR tours of their hometowns/places that they remember fondly. I’ll never forget all the tearful smiles I witnessed that day, and it’s all thanks to you and your team.

Quick question: are these new 3D Tiles the same as what’s in Earth VR, or are they higher resolution/newer imagery? The video demo linked upthread looks incredibly crisp, but I’m wondering if that’s just an artifact of seeing it in 2D (the upclose castle textures on flyby looked a lot more like what I’m used to from Earth VR).
I liked COLEMAK until the second I had to use someone else's equipment I felt like someone broke my fingers every time.
Blog: https://blog.cloudflare.com/privacy-pass-the-math/

(older) Design: https://privacypass.github.io/protocol/

PATs: https://blog.cloudflare.com/eliminating-captchas-on-iphones-...
Cloudflare tunnels have been a blessing for me, as someone locked behind an apartments router trying to host services without the ability to forward ports. The fact that it's free, is the cherry on top.
A manager should never see only "having promised the feature today, and now saying it'll be next week."

A bad manager may ignore everything but that, but if a manager isn't even aware there was much more to the story than just that, both the manager and the individual have failed.
I think it would also need to have some kind of embedded version control from camera through Photoshop so you know what was changed.
Looks like you're already out of credits. I'm getting a "loading assets" error.
It's not great, but what's the alternative? They need to distribute a list of sanctioned entities so that companies can ensure they're compliant with US sanctions law by checking if their customer or vendor is on the list. If the list were just first and last names, then there would be a greater risk of false positives, and non-sanctioned individuals would have their freedom of commerce unduly restricted.
I have no idea why they have chosen to use that.
With what? The whole point of this line of discussion is that building stuff in C is suboptimal, often requiring the end user to juggle n different build systems by hand to get all the dependencies installed.

Since we're talking FreeBSD here, thirty years ago we had Modula-3 whose build system is lightyears ahead of anything make based.
> The thing that keeps me coming back to Julia is the ability to pipe

> Provides link to R.

Is there an example of this in Julia? I use R now, and every time I give Julia a shot I go back to R because of the insane TTFP. I don't use anything remotely close to big data, and the 90-120s compile times just to replot my small data (using AlgebraOfGraphics.jl in a Pluto notebook) just kill me.
Minutes are ok, but cahotic hours are not easy to read.

Can't you place the hours in the conventional order inside (except 12 would be where usually 11 is)? Imagine the moving ring has two sets of marks: 59 to 61 outer ones that align with the minute marks on the external ring, and 11 to 13 inner ones that align with the hour marks on the core disc...
Yeah but it looks pretty weird and blobby down there, and a lot of the street data is pretty warped and strange looking. I'm playing around with this for a cycling app, I think I'm going to go with sort of a drone follow camera.
Slavery is quite a loaded word, agreed.

My point is your time on this Earth is more valuable than $250k. It is not being a slave, but it is not being a free man either.

There are people in abject poverty that do not have to ask for permission to anyone to spend two weeks doing whatever they want, or to end the day early today.

I do not believe freedom is one-dimensional, on one side the Egyptian slave, on the other, the FAANG engineer. The latter has only a theoretical ownership of their time, but in reality, to keep a roof over their head, society pretty much favours only one choice: As much time as you can give, for as little money as you would take.
Sounds cool and quite intricate. Distributed reactive computations might indeed change the basic logic I described. Most reactive systems I've worked with and thought about are local.
Haven’t Checked Your Gmail in a While? Google May Delete Your Account
I see options in my Cloudflare control panel to tunnel things besides HTTP(S) services (including TCP and SSH) via Cloudflare Tunnel. Am I misunderstanding the blog post?
Another one I like is `netstat -tulpen` (tulpen is german for tulips)
Nobody does long-form arithmetic in the texts seen by these LLMs. Everyone uses calculators, so the AIs only see the result, not the step-by-step process to get there.

I would expect the models to be bad at, say, division of long numbers in the same way humans are bad at doing the same calculations in their head!
Are the numbers realistic to build out transit? I think the big issue is that we say we should do this or do that but there aren't real good numbers to back them up. How much money is a large heavy rail subway that is fast? How big does the town need to be to support such a a system? How much would each person need to pay?

Cars are somewhat easy because you don't need a consensus anymore. They are so popular the majority support building the infrastructure around them and each person can spend as much or as little as the like on the actual car.
That's not how it works, the Patriot is a completely self-contained distributed system with a lot of redundancy. It has its own networked radars that can track both missile and aircraft threats. In the instance you are referring to, the Russians tried to flood the zone with a mixture of flight profiles simultaneously (ballistic, cruise, and drone) to overwhelm and complicate the defense. An air defense missile optimized for ballistic missiles won't be great for cruise missiles and vice versa. Patriot batteries contain different missiles optimized for aircraft/cruise missiles (PAC-2) and ballistic missiles (PAC-3).

While there are human operators, the Patriot has a fully autonomous mode that is turned on for large-scale attacks like most integrated defense systems produced by the US. When that mode is enabled humans are no longer in the loop; the networked computers engage all of the targets simultaneously, selecting the optimal weapon assignment and timing for each target. That was clearly used here. If the Patriot didn't have radar it wouldn't work and it clearly worked.

No Patriot system was damaged by Russian attacks, there is no evidence that anything got through. The only reported damage was an auxiliary system component getting hit by a large piece of falling debris, which was promptly repaired.
https://www.postgresql.org/docs/current/app-pgdump.html

> pg_dump is a utility for backing up a PostgreSQL database. It makes consistent backups even if the database is being used concurrently.
The counter argument is to examine how likely it is that someone actually would have created Amazon and not just a cruddy online Wal-Mart

https://mattsclancy.substack.com/p/how-common-is-independent...

Looks pretty unlikely to me, personally, judging by the low stats on independent discovery
School bus gets stuck under low bridge again
How have you found it for hosting services? I found it struggled with something as simple as an Apache webserver, though perhaps that's just something to do with my internet itself.
Maybe there's a Laffer Curve of programming. The 100% programmers are doing 0% per week due to lack of life altering kickback or equivalent, and the 0% programmers are doing 100% per week but deliver no value. Somewhere in between, the 50% programmers are the ones who are actually delivering the most value.

Your 20% puts you somewhere on the curve, perhaps to the right of the optimum, which might also explain the lack of life altering kickback. It's a feedback loop. Management wants workers at the top of the curve, not at the interchangeable edges.

It may very well be that the mediocre programmers, who feel lucky to be employed at all, are carrying the industry on their shoulders. Oddly enough this gibes with the widespread management attitude that they'd rather reward a mediocre person who works hard, than a brilliant worker who appears to be taking it easy.
Can you add more detail on the year table at the very bottom / how you're meant to use it? I can memorise it but I'm not sure how you're meant to use it after that.
My brother got me one of these as a present when I was a teenager. The only game I remember that had full support was the god game Black & White. You controlled everything with a hand including interacting with the creature and moving/destroying things in the world. Each different action and object you picked up had a different “feeling” and it was surprisingly believable. I remember “furry” vs picking up wheat was similar but the wheat was “sharper” as expected and was really impressed. I wish I still had the mouse but from memory the motors failed, I think in part due to living in a tropical part of the world near the ocean, but not sure. Good times.
I've seen this in some sci-fi stories, it makes a lot of sense, but I have a personal hunch that setting up a filtering solution on various feeds of mostly-crap is going to be too much effort for most people, and they'll just slowly abandon the crap-feeds for anything beyond the most trivial sorts of entertainment.

And then you could see something like a move from commenting on Twitter about news articles linked out to going back to going directly to the source and discussing things with other "verified subscribers" (whether paid or otherwise verified) there. Even in a "free, but ad supported" world it wouldn't surprise me to see outlets push for more "I'm a real reader and commenter" verification to keep their ad rates up.
So in short, seize the means of automation.
>Nature isn't here for us, to make our lives easy. Or for that matter, hard. It just is.

So, you're doling out (what you think is) knowledge, while objecting a couple of levels above, to others doing the same?

Did you invent Nature, that you are so sure of its purpose, or lack of purpose?

If you think others are getting it wrong, give some objective proof, first, for why you think your statements are right, including any of them.

Otherwise, you are as little credible as the people you dismissed out of hand.