skysight-inc/HackerNews huggingface dataset:
My gut is that was the point? That Dart uses a SAT solver to no discernible advantage.

I will also note that this amuses me to no end. If you have enough dependencies that you need the speed of a SAT solver.... how many dependencies do you have? And why are they changing so dang much?
They benefit from their purer FOSS licensing behind GTK (in contrast to their competition, Qt) and place in history. They're working on a doomed experiment, on the fumes of enchantment of Apple design and the false hope that, maybe someday, "regular people" will use Linux. On a tablet or something. It'll all be tablets -- nobody'll even have desktops anymore. The hardware will converge, if you will. There will be a Unity of interfaces.
This is some massive abuse of ligatures. Did they just cover every 6 letter combination? Or do ligatures somehow get to count characters.
You can't turn it off? I haven't used Android in a while, but always like Firefox made it easy to turn this type of stuff and telemetry off.
There was a brief period in 2020 before the chip shortage when 100/25G was affordable on eBay.
Thanks! It doesn't use Liveview but the execution backend is Phoenix + Erlang.
>> To be clear, that's ChatGPT, not GPT4. GPT4 should be better, but it is still limited beta and I haven't bothered joining.

Well, I can predict the next few token sequences you're about to get in response to your comment. "That's why you got that answer GPT4 is so much better" etc.

Regarding your earlier comment about burnout, you're not alone. I stayed on HN because I could have the occasional good discussion about AI. There were always conversations that quickly got saturated with low-knowledge comments, the inevitable effect of discussions about "intelligence", "understanding" and other things everybody has some experience with but for which there is no commonly accepted formal definition that can keep the discussion focused. That kind of comment used to be more or less constant in quantity and I could usually still find the informed users' corner. After ChatGPT went viral though, those kinds of comments have really exploded and most conversations have no more space for reasoned and knowledgeable exchange.

>> LLM has a good memory.

Btw, intuitively, neural nets are memories. That's why they need so much data and still can't generalise (but, well, they need all that data because they can't generalise). There's a paper arguing so with actual maths, by Pedro Domingos but a) it's a single paper, b) I haven't read it carefully and c) it's got an "Xs are Ys" type of title so I refuse to link it. With LLMs you can sort of see them working like random access memories when you have to tweak a prompt carefully to get a specific result (or like how you only get the right data from a relational database when you make the right query). I think, if we trained an LLM to generate prompts for an LLM, we'd find that the prompts that maximise the probability of a certain answer look nothing like the chatty, human-like prompts people compose when speaking to a chatbot, they'd even look random and incomprehensible to humans.
This is a fascinating article, and one of few on HN that I feel uniquely qualified to discuss :)

Three of the lights mentioned in the article are ones which I was responsible for maintaining with the US Coast Guard a decade ago. Lynde Point in particular was one of my favorites (you can see it easily from I-95 as you cross the Connecticut River). The house nearby was used as Coast Guard provided housing for one of the Chiefs on the base. The sale/divestment of lighthouses has been going on for some time, I recall ferrying prospective buyers to Latimer Reef light back then.

The problem is, as other commenters have pointed out, that these structures are simply falling apart, often containing hazardous materials such as asbestos, and more critically are generally difficult to land a boat at. We managed to ding a prop on at least one occasion on the rocks at Race Rock light. It's certainly ideal to set up a foundation which maintains the structure and grounds as well as providing a historically significant place for visitors to see. Some lights in the area are set up beautifully like this (I can think of Huntington Harbor NY, Falkner's Island, and New London Ledge lights off the top of my head). There are a few which are completely private as well. I'll never forget walking through the beautiful house at Dean Kamen's unique North Dumpling Island "nation".

The fact of the matter is that while a lit navigation aid is still absolutely critical for maritime safety, it no longer needs to be housed in a large structure providing shelter for equipment and a keeper. With the advent of LED technology, it's trivial to mount a small solar panel with a storage battery the same size as a car's. This makes the lighthouse structures themselves only a burden for the Coast Guard to care for, which we absolutely did not have the resources for.
What do you hate about it? I've grown to like them. The only thing I don't like is, YT doesn't let you save Shorts in your list.
No lol. It was such an embarrassing situation. I was dunking on my wife before landing in Sweden - "hey do you see how good my Swedish is? guess i'll have to do all the talking". And once we reached there, to have to speak English at every situation made me turn red and she looked on with a smirk.

Duolingo is a bit like Notion. It makes you think you are achieving things but the direction is completely incorrect.
Hmm, that seems slightly overdone, this just looks like noise to me.

Would be much more annoying if every so often a letter was eve r so s|ightly wrong.
Very cool concept
white cane.

https://en.wikipedia.org/wiki/White_cane
AI-powered robot replacing humans as security guards in Switzerland
Microsoft's implementation of eBPF allows for loops :D

https://vbpf.github.io/assets/prevail-paper.pdf
Htmx
Htmx.org
A Software Engineering Culture Test (2020)
I’m with you. I resisted YouTube Shorts at first, but I quite like them now. And as you said, the long form videos are still there right alongside the shorts.

One criticism I have of them, though, is on the web they’re mixed in like regular videos on your subscriptions page. On mobile they’re sort of grouped together in a separate UI element, which makes it much easier to scroll through your subscriptions. Maybe this is one of the reasons people hate shorts so much?
Qt does have a functional safety certified renderer available[1]. My expectation though is that the passenger UI isn't safety critical on Dragon. A "crash and restart" model is probably fine for what it's doing.

[1] https://www.qt.io/product/functional-safety-and-qt
Is there any evidence of this? I have seen the data but it seems also likely that the same immune issues that cause ms could cause a lapse of resistance to eb.
I don't know. How did KDE, the best desktop in the world, come about? It's better than Windows's -- the DE of a multi-billion dollar OS with 98% planetary market share that's been iterated upon for like 30 years across uncountable dev hours. Dolphin vs. Explorer! Billions of dollars!!! Versus five Dutch guys, working for free!!!!!! Split views! Terminal integration! Dark mode BEFORE just a couple of years ago! File metadata under the filename! Tabs! TABS!!!!
It's executed in a Docker container inside an EC2 Instance.
> The smallpox vaccine is the first vaccine to have been developed against a contagious disease. In 1796, British physician Edward Jenner demonstrated that an infection with the relatively mild cowpox virus conferred immunity against the deadly smallpox virus. Cowpox served as a natural vaccine until the modern smallpox vaccine emerged in the 20th century. ...

> The term vaccine derives from the Latin word for cow, reflecting the origins of smallpox vaccination.

https://en.wikipedia.org/wiki/Smallpox_vaccine
https://archive.is/l5NWq
I was addressing the claim that you made.

And I'm not presenting some amazing new idea. People have been discussing for years that these companies hire people just to have them, not for business goals.

"“They hire everybody, whether they need it or not, just to have a reserve of talent,” he says. “They can afford it.” "
https://www.wsj.com/articles/these-tech-workers-say-they-wer...

""The worst part of working at Google for me was, as for many others, feeling under-utilized. " (7 years ago) https://www.quora.com/What-can-a-prospective-or-new-Googler-...

"Most people I know of who quit Google did so because they feel they were underutilized" (14 years ago! https://www.reddit.com/r/IAmA/comments/9qeuq/i_quit_my_job_a...)
Just a general trend of humanizing things that aren't human: governments, corporations, AI.
Skimming the article, it looks like they had 8 people and 0.6 acres of agricultural space.

Planted entirely in potatoes, that could grow 3800 calories per person per day [over the course of a year]. Given that is probably wasn't entirely potatoes, I'm wondering what sort of margin they had on their calorie production.
So is it an idiom in Argentina to say "go fuck a grapefruit"?
Futel – Free Public Telephone Service
Only partly agree, definitely not all complexity there is necessary.. part is vendor lockin and another one is their own grown complexity due to rewiring/wrapping their own stuff for reuse in different forms.. and grown complexity that maybe made sense at some point, but grew too much - as almost everywhere.
Dark Reign 1 was the first online game that I ever played, back in 1997. I still have the manual somewhere...
From what I've seen it's extremely multi-faceted if you want to do the things described in the article (OS/binary zero-days), however there are somewhat simpler things to start with such as websecurity (XSS, request smuggling, fuzzing, sql injection, etc).

There are many resources to get started (recommend some of LiveOverflow's videos) but one practical way is CTFs which challenge you in mock scenarios.

Also financially & satisfaction-wise (at least if you are into learning/puzzling) it is quite good as something to pursue.
The K-Pop Avatar Group with Millions of Views
https://youtu.be/EaL_ewitOpQ
Plants like more carbon and more heat. Areas that are currently too cold to grow will become capable with longer grow cycles. We can enrich soil with fertilizer to make it better.

In the past, current deserts (Iraq / Mesopotamia) were much more hospitable to plants and life. Now they are not. Climate change has been a fact of life for all of human history. Now it may be man made, but that doesn’t change the fact that we have lived through this before. The Bible is full of stories regarding drought, famine, floods. That is part of nature.
In the sci-fi novel Iron Sunrise by Charles Stross, death by neutrino flux from a weaponized star figures into the plot.

(edit - spelling)
Awesome stuff, it was because of MM, I learned all algorithm, embedded systems, sensors and noise. Also interacted with some amazing people. First love.
Jesus Marie, they're dolphines!
> I still see nothing in what you wrote that indicates they'd be brighter that say 5 to 7 years old kids. Kids have culture too, use tools etc.

I don't really see how you can claim that. What don't you see?

But, you also sort of prove my point as well. An 8 year old is as intelligent as an adult human. It isn't as knowledgeable or socially developed but the brain is basically 95% complete in its growth by 8 years old or so.

Part of the mistake is confusing knowledge or societal integration with intelligence.

> Evolution doesn't generally add features that aren't needed. Orcas don't have arms, don't build skyscrapers or fly to the moon. There's no need to be that bright.

But orcas do require intelligence. Their prey are dolphins, tuna, blue whales, humpback whales, beluga whales, seals, rays, salmon, herring, sharks, etc. Their prey are fast and strong and several of them (i.e., the mammals) have excellent hearing, sight, and intelligence of their own. They need their intelligence to cooperate in their hunting and to teach the learned techniques. And again, there are several indications and observations that their social and emotional intelligence is greater than humans. Orcas are currently considered a single species and thus that single species and brain provides for a huge variance in prey and living environments.

Ancient human brains and intelligence are identical to modern human brains and intelligence, and they had no need or capability for skyscrapers or going to the moon. Because again, technological development doesn't necessarily relate to intelligence. Technological development of humans is a bit of evolutionary runaway process because of our dexterity and brain combination. But just because we have a lot of technology doesn't mean we are the most intelligent. It is quite clear that our technogical development exceeds our social and emotional intelligence's ability to keep up.

> Those are two different dimensions. Being intelligent doesn't mean you're kind hearted or less violent.

It does indeed relate to social and emotional intelligence. Not everything is about bits and atoms.
That's a fun one. Not sure why you're downvoted for the anecdote.
Elon Musk’s brain implant company Neuralink approved for in-human study
Why renewables and not low carbon?
Source code is available here[0]. Permissively licensed under MIT.

[0] https://github.com/popey456963/pretty-oeis
You can write custom jsx function and let typescript call your function instead of react's.

Your custom jsx function can return data in reusable format, that is passed to different functions for difference use case.

ts-liveview is using this approach to use jsx for both server-side rendering and compact over-the-wire updates
I got ya. I have no problem seeing fellow Homo as, well, human, and probably with unique insight of their own.

Things have gotten a little weird lately, as the Nazis have started identifying with Neanderthals. Or vice versa - or something like that. The notion that Erectus evolved in-situ into the various species of Homo - a resurrection of the Candelabra model - isn't quite as fringe as it used to be, and it might have some nuggets of truth. Unfortunately, the Candelabra model is just hot stew on toast for the Hitler-inclined, and then that overflows into everything else, making open discussions of human origins a mexican standoff. Anthropologists, meanwhile, approach anything hinting of the model like it's made of plutonium, and rightfully so, but this just cranks up the conspiracist vapors to 11. "See the Human Origins THEY'VE BEEN HIDING FROM YOU!" and then someone shows you an x-ray of some dude's leg with an extra bone in it.
Ask HN: Consultants of HN, what criteria you use to charge your clients?
I’m curious to know from other consultants or who do consultantation works here in HN, how do you charge your clients, and I don’t mean the payment method but rather the approach you use:

do you charge per hour, per scope, contract, or something else?

What factors you use to price your services/work?

Do you have a separate contract for each work? Or per client?

Do you have specific payments contract installments?

What tools/SaaS you mostly use? Either in comms, follow up, contract writing and approval, documentation management, payments too or any other tips.

I personally do engineering consulting and refuse to charge per hour, I think clients who ask that they are trying to underpay you, especially if you have a proven record of your outcomes, as per hour rate doesn’t count the efforts you put and have been put outside of these hours, so I charge per scope, I do my initial estimates and based on that I name my price for the whole scope, but curious how others do it.
Until fungi discovered ligninase enzymes, when a tree fell in the forest, it just… sat there. For eons. Got covered up. Got smushed. Became coal.

Now we got these fungi chewing things all up. Thanks a lot, fungi.
Tesla data leak reportedly reveals thousands of safety complaints
Perhaps he's playing 5d chess.

bmitc's inability to understand the argument in a meaningful way is itself evidence that human intelligence is closer to the orcas
Those past changes were quite disruptive, causing malnutrition and death, wars, etc. The current rate of change is much faster so we should expect all of those to be worse because there are far more people alive now and neither humanity nor the ecosystem have much time to adapt.
You are 100% correct. I remember over the years always seeing it when viewing alphabetical listings of packages in various distros.
I’m inclined to believe that the bulk of cattle mutilation cases are from natural predators and the really anomalous-seeming cases are just from thrill-seeking sociopaths and/including bored farmers, both groups undoubtedly encouraged by media attention

to go on a slight flight of fancy, I could believe one or two (perhaps early) cases were aliens. if you’re looking down from above in certain regions, the largest groups of exposed megafauna will be cattle. what do humans do when we meet an abundant new life form? kill one and cut it up to see how it ticks.

but then another plausible hypothesis is that it’s just a slightly sick inside joke/prank amongst some subculture, playing on that observation to mess with the credulous
Did you ever identify the iOS malware?

I wonder if it was a misbehaving app or had persistent root.
I hadn't heard of "viaweb" until now. Having just read the (tiny) wikipedia entry for it, I'm getting intense radio-on-internet vibes from it.

> Viaweb's example has been influential in Silicon Valley's entrepreneurial culture, largely due to Graham's widely read essays[11] and his subsequent career as a successful venture capitalist.[12]

Basically - rich guy tricked some other rich people early on in their career - attributes future success to this early "success" despite it probably being a bad idea and having less to do with innovation and more to do with big-dicking clueless investors.
FYI you can play with this system by calling 503-468-1337
Not sure if this is still true RE: Azure. AFAIK they use Hyper-V (hypervisor) containers which offer kernel isolation like other lightweight-VM-container runtimes.
> allow emissions to become part of the decision process.

A carbon tax would do so. Unfortunately it's hard to get anything done nationally, much less globally
I would advise against running for now. 2k steps per day is nothing. Sorry, but it's the reality.

Start cycling again - it's much easier for your knees, especially if you're overweight.

Thing is, most people (including me until 5 years ago) make a resolution that they will start training and diet and stuff - they go hard for 2 weeks, get injured, stop. Wait till next year.

This is not how it works - you need to set a long term goal, and go there progressively, very slowly in the beginning. Your goal for the first 6-12 months is simply consistency - show up every day - and you achieve that by training easy. But training everyday.

If you just start walking, and cycling a bit everyday - and you increase the distance or time by 5-10% per week, even if you start very low, you will be around a shape allowing you to run a marathon by the end of the year.
Ask HN: Resources to be a better Platform EM
Context: I have always been part of smaller setups for the last decade and was fairly good at what I did. I have had help from a Senior Architect in my previous jobs and I would focus on getting things done with the teams I led. I recently got a plush job to lead a large platform team in a big tech company (spotify/uber-scale). There is a lot of tech which is new to me (k8s, aws internals and a lot of SRE heavy stuff). I am confident I will eventually do well but wanted to get some advice from folks here on how can I structure my learning and onboarding better. What core topics (tech/non-tech) should I focus on to be successful in this team?
And why would I base my entire application on a framework by a tiny developer?

And honestly, ChatGPT is so well trained on AWS CLIs, Terraform, CloudFormation, the SDKs for Python and Node, I can throw most of my problems at it and it does well.
Not really going to argue your points (they seem well researched!), however I think for most consumers there's still that last level of "thinking" required to feel comfortable having an EV as a primary vehicle.

Including as you mentioned having a heated garage compared to people such as myself who have to rely on street parking which can comprise both the battery distance and the ability to consistently charge.

Lastly I do think there's a catagory of people who take pride in figuring out how to make systems work for them specifically (in this case EVs in Canada). I myself am that way about many things in my life but when it comes to my vehicle i just want it to work.

It's good to know that your experience is working though and hope for EV coverage to expand in the future.
I like 3 and 4 stars reviews, too, since there's the sense people are making a calculated balancing attempt to perhaps be fair. If you want to tarnish the average give it a 1, a 2 if you want to be read, whereas a 5 will tarnish only you as an HR person.

I think the lesson here is to ignore the overall average and to read subjective stuff and look for patterns.
The lack of any scorch marks or impact craters around or anywhere near the patriot sight is a pretty good indication it was intercepted.

Same with the giant flashes in the sky.
(Architectural) Decision Records should explicate assumptions behind the decisions. There will be implicit assumptions too, but at least you can later go back to the records and analyse what was implicit in them.
Then use the search functionality the walled garden provides. Don't mix content only few have access to and expect all to use.
I do mean an exceptional amount of stress. Some of the most stressed people I can recall encountering in my life are college students right before finals. I recognize the possibility that 2 of the 40 (really, in this case, just the 1 who’s “right on the bubble”) might be unjustly punished (expulsion) for a lapse in judgement. I also just mean to bring up the possibility; I don’t know what these students’ intentions were but I know what mine might have been.

(For what it’s worth, I don’t mean to be arguing the points the person you were responding to is arguing. Many of those are rather weak but there are stronger arguments for a similar conclusion.)
It will all be alright. This is just an understandable and expected recalibration for the global economy after a global pandemic, global supply chain crunch, and the Ukraine-Russia war.

The United States and Europe are fundamentally rock solid and poised for considerable growth and innovation for a long time yet, along with their allies and friendly rivals.
Access denied

You are not authorized to access this page.
I don't understand what that solution brings when you have Terraform? Also linking your code with you infra code, who thought this was a good idea?

Last question how actually the simluator works, is it one of those case where it try to emulate some high level concept but then your prod code break because the simulator was 40% accurate?
My experience is that people virulently and irrationally fight against the idea, to the point of misrepresenting facts. It's difficult to bring up, at least online, without raising a lot of hackles. Over 95% of the population uses animal products, and are accustomed to them, so it's considered an afront to say that their behavior is suboptimal in one way or another.
A brutal practice for sure, but several animals will play with their food.

Have you considered that human violence exceeds playing with food by many, many orders of magnitude?
Large Language Models Are Few-Shot Health Learners
The catch there was that it was our stated goal, but the person leaving that review wouldn't have known about the imminent acquisition, which is what made it all the more ironic.
It definitely feels "unnatural" that others don't get angry.
https://arstechnica.com/gadgets/2022/07/nikon-will-reportedl...

https://www.japantimes.co.jp/news/2022/07/13/business/corpor...