skysight-inc/HackerNews huggingface dataset:
re.:

> The problem of "identification" was quickly solved by another engineering feat, which was to slap on "positional embeddings". As usual, this too didn't happen because there was a deep mathematical understanding. Rather, it was attempted and it worked.

Wasn't that tried, because of robotics?

It's a commonly solved issue, that a hand of a robot must know each joints orientation in space. Typically, each joint (a degree of freedom) has a rotary encoder built in. There is more than one type, but the "absolute" version fits the one used in positional embeddings:

https://www.akm.com/content/www/akm/global/en/products/rotat...

(full article: https://www.akm.com/global/en/products/rotation-angle-sensor... )

I find that parallel very fitting, since a positional embedding uses a sequence of sinusoidal shapes of increasing frequency. In the "learned positional embedding" gpt's (such as the gpt-2), where the network is free to use anything it would like to, seems that it actually learns the same pattern as the predefined one (albeit a little bit more wonky).
According to what evidence? I have worked with developers who later ended up working for Google and they were OK but not great. They didn’t stand out in any way.
Complaint: https://nytco-assets.nytimes.com/2023/12/NYT_Complaint_Dec20...
I tried to use Verilog for a DIY project and found no way to control Verilog model from Python. Why is it like this? Do people really write tests directly in this awful outdated language instead of using Python?

I tried to use cocotb, but this is not what I want. It runs verilog interpreter and launches Python script from it, but I want the other way: I want to create a verilog model instance and access it in Python.

Also, I found that Verilog seems to have no built-in feature for modeling real delays. Let's say we have a gate, and when input signal changes, output should instantly go to "undefined" (x) state and only after a delay switch to a valid 0 or 1 value. It seems that verilog has no such type of realistic delay built-in. I found only "transport delay" and "elastic delay", both unrealistic. I had to create my own "delay gate" to simulate this (and made lot of mistakes doing this).
Introducing... BlackHoleMail.

We are a team of former astrophysicists from NASA, which makes us the most qualified people to operate email infrastructure.
Our infrastructure operates from Panama, a jurisdiction well-known for its secrecy.

Soon we will also introduce QuasarVPN and other sciency-sounding privacy things, with privacy, from your privacy-loving friends at BlackHoleMail.
It used to be common. In the 1950s engines didn't last as long so you would do such a thing. Now when I hear of it I assume a mechanic ripped someone off. Though race cars do abuse engines enough that a swap is worth it for them.
How many ex-Apple employees work(ed) at NSA? It may just have been the right person doing their regular 9-5 job, with no subterfuge. The list of employers for Hardware security folks is likely a couple of dozen companies, and Apple and NSA are among the most prestigious of them. I expect some employees to move in both directions.
Fleas haven't been an issue here since i started keeping chickens. I only have 3 chickens right now, but still no fleas. This is the first year where ticks have been a nuisance, maybe 4-5 ticks a week on the animals that go outside. I usually also have guineafowl, but the local wildlife loves eating guineas, and they're 3x more expensive than chickens, so it's hard to keep throwing money at that problem. Guineas are much more effective at killing snakes and ticks than chickens, though, in my experience.
The messaging argument (within the comment section, that is) is tough since it's a game of innuendo. Folks who hate the modern messaging are trying to find any criticism except to point out their distaste for DEI casting, plotlines, and messaging. Folks who are more supportive of those things tend to try to "out" the first group, and ask specifically what it is about the messaging that people don't like. eg: "Old movies had contemporary moral messages. Why don't you like _these_ messages?" Both sides of course have some validity in their argument. A lot of the modern movies are simply bad in addition to having DEI messaging. And if we're being honest, some folks' primary concerns are the DEI issues alone.
I think you can see it up at a building on E 47th: https://imgur.com/a/9dsKmGP
That only works with a few built in types, like numbers. For any other type, you had better hope that the author has added such checks.
Probably does not count for weekly shots administered on the other side of the border
It's crazy to me how well this works, especially on mobile.

If league or even TFT was as accessible as a tab like this it'd be the end of me.
Kinton Ramen just added it to their menu
Who said anything about solar being single source??? And everything is expensive, the question is wether or not it is profitable. And politics aside, the financials have decided a long time ago on wind, solar and, sadly enough due to criminally underprized CO2 certificates, coal. New NPPs just barely replace capacity going offline, is always late and always above budget. And even if we ignore the net added capacity of new nuclear plants, the gross capacity being built pales in comparison to wind and solar.

Pushing nuclear power, for other than military or political reasons, is riding a dead horse.
thanks all… now, go play with weird geometries! my treat! ;)
As a defender, you should treat malice and incompetence as functionally equivalent. Save the attribution for the post-mortem (or better yet, don't let it come to that).
Good thing uranium doesn't need mining! And it is only found in countries with strong human rights records!
> Like dieters falling for magic 10-minute-miracle exercise gadgets, developers seem ready to fall for easy solutions to the latest crises in their field.

> Just like "mostly secure," "mostly pure" is wishful thinking. The slightest implicit imperative effect erases all the benefits of purity, just as a single bacterium can infect a sterile wound.

Taking the analogy to its logical conclusion, the only healthy diet is a 100% strict diet allowing no impure substances. Very few people can actually live this way and it's questionable whether anyone should.

The author's audience is those who wish to make safe programs. He advocates modeling all effectful computations using the type system using the framework of monads. He acknowledges that there are even more expressive frameworks like separation logic systems, but that these require too much theory to be useful to the everyday developer. So the author clearly acknowledges the tradeoff between pragmatism and safety, but it's unclear why it's better to draw the line at monads rather than separation logic.

Many software developers draw the line at, "seems like it should work" and most are satisfied with the type of "mostly safe, mostly functional" assurances offered by Rust. Very few go as far as to prove their programs safe in separation logic, and indeed the cost benefit is questionable for most software systems.

In my earlier career, I might have read an article like this and become some sort of a monad zealot and insist that the entire codebase has to be rewritten using monads in pure functional style. In most cases, this would be a highly questionable decision. If you are writing a game, or making a web server for a dating app, an imperative style is probably the better choice.
> If you want to maximize learning, it seems best to pick the style/format most suited to your preferences.

Yes, but iff that format is well-suited to the subject matter.
I can't even imagine how you'd get the parts, and they probably can't change the plans either. Ok so I decided to look into it a bit more, and here are some interesting details from documents on the nrc.gov and EIA.gov:

Here's some context for what was happening in 1985, from the eia:

>"As a consequence of the identification of a large number of deficiencies shortly before the WBN Unit 1 license was expected to be issued, the Nuclear Regulatory Commission (NRC) sent a letter to TVA [...]. In response to this letter, TVA developed a Nuclear Performance Plan (NPP) to address corporate and site-specific issues, establishing programs to address a wide variety of material, design, and programmatic deficiencies. WBN Unit 2 construction was suspended at about that time, with major structures in place and equipment such as reactor coolant system piping installed."

And while most of the documentation was very terse and spoke more about specific regulatory requirements that I don't understand, this is pretty interesting:

(From the nrc.gov)

>"The NRC staff reviewed TVA’s refurbishment program and found the following: (1) TVA was refurbishing or replacing most active components and instruments; (2) TVA had determined the potential degradation mechanism for each category of components, along with any contributing environmental factors; (3) the acceptance criteria were developed from the licensing basis, design specifications, and vendor specifications; (4) the proposed inspections and testing included in the program could be expected to identify degradation; and (5) refurbishment activities would be in accordance with applicable vendor and design specifications or requirements."

That sounds like a massive, massive amount of work. It explains why it took longer even if the reactor was apparently 60% completed.

(From the eia) :

>"That time, a study found Unit 2 to be effectively 60% complete with $1.7 billion invested. The study said the plant could be finished in five years at an additional cost of $2.5 billion"
Check out https://www.store.level1techs.com/products/p/kvm-switch-usbc... paired with https://www.store.level1techs.com/products/p/dp-repeater-hdm... for one of your computers - it may do the trick for you. There are other models if you want more monitors or computers (or different set of inputs).

No affiliation with them except that I've got one their KVMs (not an USB-C version, though) myself and it's been quite reliable (only infrequent accidental hiccups, nothing unplugging the power for a second can't solve), much better than my previous pile of hacks juggling monitor inputs via DCI and using USB switches for the peripherals.
https://tvtropes.org/pmwiki/pmwiki.php/Main/RealisticDiction...
Why do people bother mining it?
Maybe you can point me to where you advocated for risk mitigation. Because you seemed to imply bureaucracy is sold as risk-mitigation under the mistaken assumption that it correlates with safety. Did I read it incorrectly and you are actually saying there is a truly positive correlation between safety and bureaucracy? Or maybe you have an opinion on what we should replace the current version with?
You’re probably right. Rereading it still feels like snark to me, but that’s not a great reason to reply as I did. Thank you for pointing it out.
it's actually an excellent sentiment. it's futile to just keep inventing new euphemisms every time someone is offended. people get old, it's a fact, it's the way it is.

ageism isn't about what it's called or some kind of implied "shame". it's about assuming things based on it, like competence, employ-ability, etc. that's ugly, and fwiw the industry that hn serves, could really stand to learn a thing or two about it.

i'm not as eloquent as miss manners, but she's right.
I'm not sure (haven't been there in a long time), but isn't that what the flickering dashed blue lines are? In the legend, they're "歩行者ネットワーク", which Google says is the "pedestrian network".
This of course explains quite clearly why Haskell has taken over all large-scale software development in the decade since it was written.

Personally, I prefer to just not be careless with side-effects. And maybe add some runtime invariant checks if I do have to write something that's too easy to misuse.
I got it pretty regularly as a kid, though it disappeared completely by my mid 20s or so.

You want to stop it because it triggers a massive, involuntary physical fear response. Not so much when waking up, but certainly when falling asleep. You feel with complete conviction and certainly that it will kill you if you don't fight against it and wake back up. Doesn't matter how much you know it's not true.

Some people even get hallucinations of evil figures attacking them during this, it's likely where the concept of succubi and incubi comes from.
I make pizza at home, to be honest with 10 euros i make 6-7 pizzas, and the issue would be just that the dough finishes, adding 1.50 euros for another kilo would make for another 6-7 pizzas.

now its italian prices so might need adjustments but lets see

50 cents yeast
1 euro flour
50 cents salt
2 euros tomato passata 1kg
50 cents basil

The rest mozzarella

Now you might want to go over budget a bit and get some olive oil that is expensive, but you just put half a tablespoon per pizza so…

Making pizza is really good business with high margins
I'm would guess that they would just buy a newer server that has faster compute and storage, and do a migration.
"Fundamentalist" is the correct word for this article indeed.

And like other fundamentalist thinking in other areas, the real world begs to differ.
good, finally someone with PR clout is calling out the massive theft that happened. During their AI land grab "Open"AI conveniently ignored opt-in, out-out, revshare and other norms and civilized rules followed elsewhere.
PHP took the market away from Perl from the late 90s onward as it got more features. There were still tons of Perl CGI scripts but PHP was miles easier, and it eclipsed Perl in adoption many times over. By the mid 2000s, a very large site written in Perl was oddly antiquated (the P in "LAMP" changed from Perl to PHP)

PHP was basically the server-side JavaScript of its time. But as programming trends changed, and more and more went "client-side", more JS frameworks popped up, until Node appeared, and then there was no need to learn two languages to make a web app. Python and Ruby had their time, but neither were as dominant as PHP was or JS became.
Impressive, and interaction on an iPad touchscreen is fun.
A good reason for enforcing some rule on git commit messages though is to have a message that helps when bisecting to find where an issue was introduced in the past. If the commit message is too meanless or too different from whatever is the convention, it makes you spend more time when tracking and solving issues.
Very cool, I visited Shinjuku station earlier this year and got lost in it more than once.
Google maps does a decent job of giving walking directions through the station but finding my current location was difficult.

I think something like this would have helped me build a mental model of the station.
Maybe I shouldn't tell you about GeForce Now, which can run League in a browser tab...? It works so well it's ruined my life, lol.

But yeah, it's an awesome JS demo!!
Bombing defenceless civilians is no test for any combat plane. The same effect could be reached by using a few old second-hand WW2 fighter-bombers.

Mark my words. The F-35 will turn out to be the 21st Century's version of the Brewster Buffalo. And like the Brewster Buffalo, will end up killing many, many of our pilots in combat.
Pizza Hut has a $4.99 delivery fee in CA so either they are claiming they can't manage to sell four pizzas and hour or this isn't about the bill but about reduced demand.
What happens if you flip the property->agriculture assertion, instead agriculture->property.

This regime makes more sense to me, especially when considering the supposed nutritional poverty that the earliest agricultural societies are said to have experienced. "I worked this land, the yield is... mine..?" leading to conflict which eventually necessitated state and thus defined property rights. And this then allowed for vertical hierarchical development as "old money" was in possession of the most fertile land. I'll read through your paper here shortly, perhaps I'll find the answer.
It should be very easy to add one without somebody noticing. This is the same Apple which shipped a version of macOS for months that added the ability to login to root with any password only a few years ago.

Their review processes are so incompetent even one of the most security critical components, root login, let a totally basic “fail your security 101 class” bug through. It is absolutely inexcusable to have a process that bad and is indicative of their overall approach. As they say, “one cockroach means an infestation”.
Venture capitalists expect most of their bets to fail. It's very possible that none of their synthetic fuel startups will succeed. It is not at all reasonable to assume that a technological breakthrough will transpire just because venture capitalists are funding it. Otherwise, we should just sit back and let nuclear fusion solve climate change. Surely you don't think you know better than the VCs funding fusion, right?

And for what it's worth, some shipbuilders are exploring nuclear cargo ships: https://www.reuters.com/sustainability/maritime-industry-exp...
Water temperature is completely wrong, but hey, at least it doesn’t include milk, extra points for that.
The logistics of trying to plant, maintain and harvest crops underneath a bunch of solar panels while also needing to deal with the subsequent issues of uneven runoff of water from rain make it seem impractical. Just cover parking lots, malls and supermarkets with them, we have plenty of those, and they're closer to where the electricity is needed than agricultural land.
Apparently ChatGPT does pretty well with Julia.
https://www.stochasticlifestyle.com/chatgpt-performs-better-...

It does take some asking around to discover the optimal Julia workflow with Revise.jl, PkgTemplates.jl, VSCode settings/debugger, Pluto.jl, but now it's probably my best development experience. Julia 1.10 improves much of this as well.
Love this (especially the timeline and portability aspects).

Also

> I am not a designer.

non-designers are exactly who I hope to hear from, so thank you!
No it's not the same; `x ?? 'foo'` evaluates to `x` when `x` is not `nil` and to `'foo'` otherwise; `x or 'foo'` evaluates to `x` when `x` is not one of `nil` or `false`, and to `'foo'` otherwise.

This idiom seems to have been made widely popular by Perl folks, and while it has always been a good trick up your sleeve when you're 16 and want to impress the other kids, it's never been a good, correct way of doing things seriously, especially not across different scripting languages when every single one has its own Byzantine rules of what counts as truthy and what as falsey (like empty strings or empty lists). It is an especially pernicious idiom because of the widespread clout with which it tends to be transmitted; turns out it's one of the Falsehoods Clever Programmers Think They Know Better About. They don't.
Ironically the most "message"-y Star Wars production is also widely considered the best thing Disney has done with the franchise. Andor is fantastic and it's not subtle about its politics.
Challenges with semantic search on transcribed audio files
I watched their TV show while I was in high school. Never found the brothers act all that funny but their show was different. They poked fun at the government and then as now the government did not like it at all. The network was under immense pressure, eventually they caved and despite the shows popularity they were cancelled.
I've been trying to solve a problem with implementing semantic search on my YouTube search engine yt-fts (https://github.com/NotJoeMartinez/yt-fts). I've managed to substantially speed up search results by storing subtitle embeddings in Chroma. But a bigger problem has been with how to properly segment the text in a way that accounts for the duration and context of word embeddings while returning precise time stamps. This a blog post exploring what I've tried so far.
You're not even safe from the French police, let alone the NSA

https://techcrunch.com/2021/09/06/protonmail-logged-ip-addre...
It’s been too long since I’ve played with Lua to recall whether this would also be the case, but in JS the nullish coalescing operator is useful over logical OR because it prevents false-y values (0, empty string, false) from being treated as nullish ones, a frequent source of bugs.
Why limit yourself to walking when you can build them :)

https://store.steampowered.com/app/1122120/STATIONflow/
I don't have this issue because I dump an extensive deny list of hosts into my /etc/hosts file from https://github.com/StevenBlack/hosts
Boston Light can sometimes be seen from the air as you approach Logan International over Boston Harbor.
Cannot one write tests in Python? Python seems much nicer to use language. Sadly, I found no library that would allow to create an instance of verilog model from Python and control it (cocotb doesn't allow this).
MATLAB® by MathWorks
It’s simple really: write libraries and frameworks yourself and use them for real projects. It will give you a great understanding of what makes a quality library/framework and make you a better programmer.
Lol! This is all too close to reality. Gives me goosebumps.

There's also a few metro station sims (more sim than horror):

STATIONflow: https://store.steampowered.com/app/1122120/STATIONflow/

Overcrowd: https://store.steampowered.com/app/726110/Overcrowd_A_Commut...

And of course Mini Metro:
https://store.steampowered.com/app/287980/Mini_Metro/
https://www.dniprotoday.com/en/news/serious-gps-signal-inter...
I do not disagree at all, but there's no dollar-amount for each complaint or employee quitting because of RTO, or missed hire because of mandatory time in office or move to a faraway city. That allows CEOs to just count up dollars and then follow their vibes on the issue, which is what I believe they do.
i can see you are probably a polyglot, working in several languages with regularity.

it would certainly be frustrating to have to juggle these semantics as you switched back and forth.

however, languages are just that - they have their own meanings, and unfortunately they can't all be the same across languages (or they'd all be the same language).
We do have a standard. Most EV manufacturers use the 18650 battery cells, which are cylinders 18 mm in diameter and 65 mm long. You can buy a wide range of 18650 batteries from different sources.

The problem is that those have to be assembled into packs for vehicular use, and it's not really practical to develop an efficient standard form factor for packs given the enormous variance in vehicle designs. When a pack suffers collision damage then in theory it could be possible to reuse any undamaged individual 18650 batteries in a replacement pack, but in practice this is just too risky and labor intensive. So, the entire pack has to be replaced.
> unless you start cutting them down and sequestering the carbon

We actually do that all the time: we cut down trees and make houses. Here's a number from the US Forest Service [1] that as of 2009 the US was using 187 million m3 of solid wood products.

> you can get pretty far covering seasonal fluctuations with simple overprovisioning

Fully agree.

> likely advent of mass production of synfuel

I'm extremely pessimistic about that. The best hope is for hydrogen, but even that looks all but hopeless to me, if you don't count "blue hydrogen".

[1] https://www.fs.usda.gov/research/treesearch/33882
Looks nice. Found a quick demo here: https://www.youtube.com/watch?v=LvjF9Btxigs&t=2m45s

I'll give it a try.
The whole Barbie thing wasn’t important until the vocal political right made it their new public enemy #1.