skysight-inc/HackerNews huggingface dataset:
TL;DR really no idea what if this is the state of the navy and it's bad, or this ship just went into dock with deferred maintenance, or is actively being retrofitted. But can't really take some photos out of context and angry folks gut reactions on the internet as actual data.

More Details:

(caveat, I'm not former military so if I get terms wrong, forgive me)

I looked through the last month of photos on the navy facebook page which is where this photo is supposedly from. All of them have clean decks. They have a mix of at attention and dress uniforms for ceremonies and many many more photos of sailors in a relaxed or work situations in non-dress uniforms... https://www.facebook.com/photo/?fbid=535384871959649&set=pcb... is one.

The article links to a dude's tweet who does not source the image... but a google reverse search finds it from https://www.facebook.com/USS.Hopper/... The dude's twitter's slogan is "Views my own, but really should be yours" draw your own conclusions.

Here's the photo source, https://www.facebook.com/USS.Hopper/photos/pcb.6120716927952..., looks like a promotion ceremony for the younger man in white dress according to the caption and photos, the rest of the folks look to be friends or folks who were around.

Looking around more, mostly the deck is rusty and other surfaces look clean tho there are a few spots below the radar built into the side of the tower (I'm not navy so don't know terms, don't shoot me) https://www.facebook.com/USS.Hopper/photos/pcb.6120716927952....

Here's a photo of the ship in good form https://www.marinevesseltraffic.com/image-resize?url=Images/... you can tell from comparing photos and by the folks in white that they have peeled the grey paint off the deck and it has rusted underneath, or it peeled itself and wasn't repainted. The ship is currently in port in perl harbor according to https://www.marinevesseltraffic.com/vessels/USS-Hopper-(DDG-...

The comments don't help, it's just all "not in my navy" or "I'll state my theory as fact" style facebook comments from people uninvolved with the ship (they mostly look 40+ from the comments). So again not much detail.
> The gold standard for election integrity is casting paper ballets at poll sites, to be tabulated onsite the moment the polls close.

In essence this is a question of parallelization. Since cardinal systems (minor exception for STAR) your algorithm is argmax(reduce sum(ballots)). Your poll site would report their local reduce sum numbers to the central authority who would reduce sum across all areas and finally perform the argmax operation.

On the other hand, ordinal systems have to be much more coordinated as they are not trivial to parallelize. In essence they are doing an exhaustive search. We run many elections wherein we pop the argmin candidate each round. This has a lock because we cannot pop the argmin candidate from our local polling site until the central authority has collected all ballots and told everyone which candidate to pop.

This is a main motivation for my arguments into cardinal systems. There are other arguments (e.g. favorite betrayer, monotonicity, scalability, preference embedding) but when we are comparing methods and there are minutia to quibble over, algorithmic complexity is a big factor to be concerned with. In fact, I think it is an embarrassingly under discussed feature of extremely high importance. Just imagine how difficult all the recounts in the recent presidential election would have been under a ordinal system (and compare to a cardinal, which the cardinal we can also perform good statistical analysis while we are tallying votes and it is also good for random subset sampling. Also underappreciated features).
Great review of a complicated and developing topic. Best line, and so true:

> Unfortunately, because science is all too often taught in school as a collection of facts, rather than a dynamic process of enquiry, people can be vulnerable to being misled ...
Getting back into learning my 3rd language: Sesotho/Southern Sotho, my wife's native language. I kinda petered out early this year, and I want to at least be fluent in the very basics when we visit her family in March.
They're being pushed very hard from the supply side while lacking much
push-back internally due to dwindling expertise and leadership.

This 4 parter I wrote for Techrights [1] and the Times article that
seeded it [2] go into detail.

[1] http://techrights.org/2022/12/28/andy-farnell-on-british-uni...

[2] https://www.timeshighereducation.com/campus/eliminating-harm...
> The United States is absolutely an Empire occupying territory, "...the U.S military has 200,000 active-service members deployed in at least 170 countries worldwide..."

Strictly speaking, that makes it a hegemony, not an empire.
It screwed up my capital one password change by not filling in the "re-enter" field, or offering a different password for this field, and then not asking to remember it, causing me to have to reset a forgotten password.

Don't blame CapitalOne, it is 1P's fault for offering a broken feature: if you can't properly update an "update password" form, don't offer to do so. Like tesla and its bogus FSD.

I've been changing some passwords and 1P constantly overwrites the password it just generated or when I click on a password to change it overzealously copies it which means i repeatedly have to go back to the generated password vault look at the history and copy it into the password entry. LastPass was a bit less trigger happy with the click-and-copy and smarter in detecting when a password changed. Like I said, both have bad UI, 1P is just a little worse than LP.
> 1. Could there be an option to place 00:00 at the top instead of the bottom?

I wear a 24 hour analogue dial wrist watch, with 24 on top. I'll admit, I sometimes wish I had chosen 12 on top, since it's more naturally to look at the watch during the day, and less so during the night. Since it more naturally follows - on quick visual inspection - what it would look like on a normal 12 hour analogue dial.
That doesn't mean they'll lower rents. Far better to have X% empty than lower rents X% for any value X.
I feel like this is more of a tooling thing? E.g. I want IDE tooling that can infer type adjustments when I'm doing a refactoring.
Any other mechanism for fixing the ephemeral name problem? I don’t like having to invent meaningless names.
I have no doubt the problem is worse in academia, but to be quite honest nobody is really doing a good job at curating, governing and unifying data across large organizations (at least without extreme expense.)

Just look at the treadmill of architectures designed to "solve" this problem: integrated databases to "data warehouses" to "linked data" to "data lakes" to "data fabric" to "data mesh."

Organizations that succeed do so because they have the resources to prioritize data management, and do so at significant team size and expense. But any organization that doesn't (or can't) view data curation as first class, top-line budget isn't in a position to capture even a small part of the theoretical value of their data.

Consider the "data mesh" architecture, the latest fad in this space. It basically assumes that not only do you have a dedicated data curation team, each data source also has it's own dedicated team of curators capable of productizing data sources.

That kind of thing is simply out of reach for most organizations.
The central abstraction isn't IMHO that heavy. It's just this:

A process has an isolated execution state, a message queue, and an id.

Messages can be added to the queue using the process id (from local or remote processes), and messages can be pulled from the queue by the process (with pattern matching, first matching message is removed from the queue)

If you have a performance issue, introspect with erlang:process_info to see what your processes are doing, and language indepedent tools to see what the VM is doing. process_info gives tons of information, IMHO, much more operable than other systems I'm familiar with. Ex: if your process has a large message queue, either it's not processing it's messages fast enough, it's selectively processing messages and leaving junk in the queue, or some combination; you can get inspect the queue with process_info and maybe figure that out. Lots of possibilities for why too slow, maybe it's waiting, maybe it's slow numerically, etc; process_info can tell you what function is running, which is usually helpful, etc.

Network partitions and their effects are highly application dependant, but if you have multiple nodes in your existing system, you have to think about it already, or choose to ignore it, which you can also do here, although if you use mnesia, you shouldn't ignore it: the default is for partitioned and then rejoined nodes to stay apart, waiting for an intervention, which may be the only reasonable default (because there's no right answer), but it's not what people usually want.
I don't think someone buying a home for their family should be considered "well-off". That should be our base standard of living.

The US is also one of the only countries where mortgages are so expensive. We wouldn't need the tax breaks if housing prices were low, I suppose.
C++23 is not too late to the party https://en.cppreference.com/w/cpp/memory/out_ptr_t/out_ptr
Set is ugly to me, in the meaning of "it's useless in programming".

Function is helpful, but morphism is almost "invisible" in programming course. Noone tells you this is just the morphism in the category of X....

I prefer the pragmatic approach with tons of examples, tutorials, lectures first before teaching purely theoretic "foundation".
I don't know how the collision detector works, but in general, you don't even need binary files do you? Just add a comment in a source file at the end of some line with near-arbitrary data. Bonus points if it's preceded by enough whitespace to fool the reader into thinking there's nothing there.
> Vanilla OS is an immutable operating system, core parts of the system are locked down to prevent unwanted changes and corruption from third-party applications or a faulty update.

Can't imagine the HN responses if this was Windows marketing text :)
I'm late to the party, but has Microsoft sued anyone over doing things with .Net?
The word 'bitcoin' appears twice on the entire webpage.
I think it's still a thing some people wouldn't like. Like if you had a super-hardline Unionist in Northern Ireland, and you insisted they were Irish (because they are from the island of Ireland) they might get a little upset.

I made a comment elsewhere saying that people shouldn't get upset about getting called "British" if they consider themselves Scottish above all. But likewise I don't think it's smart or considerate to be all "well actually..." about something deeply personal and strongly felt like someone's national identity or gender or anything like that. That's sort of asking for conflict.
Thunderbird already has an offline Atom/RSS reader, and plugins that sync state with online RSS services like Feedly, so all the pieces are there.
In my experience this is a distinction without being relevant in a lot of cases. I used to shop at a national retailer that had a very generous return policy, the other side of it being that they’d inspect returns and potentially repackage them when judging they had been unused (sealed package etc.), except for super high margin stuff where they’d be more open to just discard the returns.

But then fraudster learned the ropes, and after a while knowing wether your product was actually new or not got basically impossible. They still had a generous return policy, so you wouldn’t be left SOL, but expectations got a lot different.

I’ll aim for a brick and mortar retailer if I go for a specific well established brand I’m willing to pay extra for (in particular if it’s the brand’s direct store), but otherwise I don’t feel physical retail has much of a high ground compared to online ones given the overhead and other limitations.
It's not shown on Christmas in Norway, rather on "little Christmas" (lille julaften), on the 23rd
TL;DR: this works in a scenario where you must immediately choose one from a series of randomly ordered candidates of a known quantity. To optimize the probability that your choice is the best candidate:

1. reject the first ≈ 37% of candidates;
2. choose the subsequent candidate that is better then any seen so far.
I work on a chatbot that provides support. I also do analytics for all of our support channels.

Businesses do not want higher abandonment, and deploying automation reduces abandonment. When we deployed a chatbot on our phone support channel, abandonment went down 20% (this includes people that abandon inside the chatbot).

The reason why chatbots exist and why they aren't going away is because they reduce support costs. Our chatbot resolves 40% of issues. That translates to millions of dollars in savings.

I'm not trying to defend chatbots by saving they improve customer experience. In most cases they hurt customer experience. It's too tempting for corporations to resist though. Sooner or later someone is going to ask why support costs are so much higher than their competitors.
also historically the philippines, micronesia, germany, japan, venezuela, ...
Yeah, so many more leaky abstractions that will be hard to debug. Not even sure why? You're not saving anytime by doing it this way. Axum already has good DI that is somewhat ergonomic in rust (well, I hate how extensions aren't checked at compile time like in warp...)

I think the solution to "rust doesn't have DI like C# and Java" isn't trying to make DI like C# and Java (you won't be able without very heavy runtime cost), but make a DI that works well in rust and re-adjust yourself.
I am unfamiliar with that version. The rendition I recall was that the giant otherwise had no interaction with the surface world until Jack appeared.
I moved out of embedded.

It pays very little, there's very few opportunities to move around, you need to have relatively good practical electrical/electronic skills and the technical skills you do get don't contribute at all if you're trying to bootstrap side-projects.
>When I went to school, fights were fairly rare, but they did happen. Usually they were minor without any serious injuries. Your punishment was usually several detentions, saying you're sorry, and your parents punishing you at home. Now, the police get called. One mistake and your life may be ruined.

I have the opposite view to this.

Why is it generally OK (not just in the USA, but many other western countries) for any kind of crime at school to be handled in-house, and swept under the carpet, when if you did the same thing on the street/in the workplace you'd get in trouble with the police?
Wow, I read “Once you observe the darker side of human nature in the technology industry, you cannot forget or unsee it.” And then I hit the (skippable) paywall.

I laughed, goddamn this is funny. An article about how exhausting this shit is and there’s fucking dark patterns shitting all over it. It’s so perfect, like a grand satire. Performance art done in software, but fully unintended and shockingly cynical.
A long time ago computers with limited RAM address space - and problems which didn't fit - used various tricks to deal with that. Overlays, paged memory, virtual memory - all that could effectively address more memory than address space allows.

So I'd argue C-as-specification (not as existing implementation, I don't know) is _theoretically_ Turing complete. Yes I agree it's a troll.
https://www.youtube.com/watch?v=N7JBXGkBoFc&t=1m10s
Very possible! I'm in the process of building a C&C-like prototype, except 2D. I'm hoping to post a tutorial + code in a couple of weeks on our site (link in profile). If you want some assets to get started, you can use a free asset pack we released and the one I'm prototyping with: https://quiver.dev/assets/art-assets/outpost-assault-tower-d.... You'll definitely want to read up on the navigation system in the Godot and I imagine fine-tuning that will be a bulk of the work. If you have any questions, feel free to send an email (in my profile).

If you are looking for a 3D tutorial, this one seems pretty good: https://www.godotrts.com/courses/rts-game-development-course... (but I haven't used it myself).
Louis isn't bitter. Outraged, concerned, but not bitter. There are so many dimensions and textures to "upset", I feel like folks have lost their ability to discern all the different types.
Prop 13 was a direct result of a California court decision.

I forget the 1960s case, but the gist of it was it instituted equalization in school budgets out from property taxes in the name of equity.

In other words, high property taxes in 1 town were forced to be transfered to the neighboring town with a lower budget, so much so that the transfer had to be make payments by pupil within a $100 band.

That was instituted blind to school performance of course.

This actually took hold in many states not just California, however CA was the o ly one that forced transfer payments within a $100 band. There are different flavors of this all accross the country

Of course, homeowners are not idiots. They dont want their tax dollars wasted. So soon after this case forced these transfer payments, there was a swell of home owners pushing for prop 13.

Makes sense. Local taxes to local benefit. If my taxes are going elsewhere, why should i pay more?

And so here we are. Almost 50 years later.
Prop 13 is here to stay and is the only restraint that communities have against out of control state spending.
I didn't go to a prestigious US university but even mine had all this data and used it. In tech we like to think we are the only ones to "get" data. We are not.

Teaching outcomes are evident from exam results, grants won, papers published etc and are routinely used to determine promotions, staffing and more. Food/footfall etc are monitored and predicted by the private catering companies on campus. Budget reviews are comprehensive and require yearly and greater analysis of university performance on a per department basis. All that doesn't even include competitive processes like ranking tables for universities, applications for grants, participation in international research groups etc etc.
All Smalltalk history talks mention that APL was a major influence, and it didn't have operator precedence either. In addition, the Smalltalk-72 scheme of "parse as you go" would make implementing precedence really awkward.

Smalltalk-76 introduced a fixed syntax and does have a bit of precedence: unary > binary > keywords. All binary messages have the same priority, which given that you can define new ones avoids a lot of complexity at the cost of a few extra parenthesis.
Jonathan Haidt on the ‘National Crisis’ of Gen Z
Not to be glib, but isn't that the role of government? Society crowd-funds projects with taxes. I appreciate that a smaller group could have finer control over decisions, but that might be a hard sell.
It is still lying. Most people when they talk, they are not trying to bullshit. They may be wrong, but they are not indifferent to the notion of truth.
I like the idea!

I disagree with other commenters here that dependency injection is not useful. I think it doesn't come across well in toy examples, but in my experience it is very useful for large services, which otherwise tend to accrue a big rats nest of instantiation in the startup code, which is difficult to modularize. I haven't built a service like that in Rust yet, so maybe other patterns work well, but I have noted these big instantiation entry points in rust code that I've read, so I'm skeptical that it is a solved problem.

I do agree that it introduces a significant legibility and debugging burden, but I think that can be significantly better with compile time DI. However, I think it does require good tools that would take quite awhile to be built for an immature framework like this.

But the thing I'm most skeptical of here is the implementation. Is there not enough information available in a normal procedural macro to figure out the dependencies, without using this trick with the rustdoc data? That approach seems very cheesy and likely fragile to me.
Currently I'm working on constructing proofs of tautologies directly from the system of axioms using substitution and modus ponens rule. https://en.m.wikipedia.org/wiki/List_of_Hilbert_systems

Main objects in my program are expression trees. I manipulate them, cut them, merge them, compare them, splice one into the other. Rc's enable me to have full flexibility and share tremendous amount of data across objects in my program.

Rust is absolutely wonderful language for this problem thanks to Rc's, enums, value semantics, auto-deriving traits and ability to implement traits for existing types and of course speed.

I'm not implementing specific algorithms. I'm making them up as I go although I used some simple ones like topological sort or A* that eventually turned into just breadth search because I have no idea how far I am from the solution.
Clearly the biggest asshole with a microphone that can reach them.
To consolidate, concentrate, and collaborate.

Consolidate: I have too many things going on at the moment. A day job, freelance consulting gigs, side projects, family and stuff. Need to sort my priorities and consolidate some of the stuff to avoid burnout.

Concentrate: Multi-tasking is more of a bane than a boon. It usually impacts concentration, leading to some not-so-good decisions. My goal is to reduce the number of active tasks at a time and focus more on things in front of me than worrying about the future.

Collaborate: Another goal of the upcoming year is to collaborate more. There are so many interesting problems around us that can be solved with collective wisdom. I am all for active collaboration, without spreading myself thin, of course.
Agree. I use NetNewsWire and always paste in the main URL. Hunting down the rss link is not a thing.
GraphSynth
My bad. I wish I could delete my comment now :(

I think I saw it's USCIS form and jumped to conclusion...
I played hitman on the iPad, how is it comedy?
I presume this is the passage you're referring to:

The problem is that I’m not getting much better at unprompted creative
work. Observing problems and solving them, coming up with ideas and
executing… those opportunities come few and far between in the university
classroom.

The problem is that writing is a total non sequitir of a answer to, "How can I get better at unprompted creative work?" There are lots of other things, from painting to programming to just going on walks that could make one better at unprompted creative work. So my question stands. Why writing? And why writing 500 words, specifically?
condorcet demonstrated 200 years ago that it's incoherent to talk about what a group of more than four people collectively wants

arrow sharpened this result to a needle point in the 01940s https://en.wikipedia.org/wiki/Arrow%27s_impossibility_theore...

the nature of government is that it keeps people, individually, subjugated against their will; police that can only arrest people who want to be arrested, prisons who can only imprison people who want to be imprisoned, or armies that can only beat armies that want to be beaten, are not effective police, prisons, or armies

empires have always worked by having subject governments willingly accept their subjugation by the empire; the 'willingness' of guam or samoa or hawai‘i to be governed by the usa is no different

democracy is still better than dictatorship or other forms of monarchy, but it is a mistake to confuse the decisions of democratic governments with the desires of their citizens
We need more ad-tech startups for the university/higher education industry NOW