skysight-inc/HackerNews huggingface dataset:
> No, I code to make the computer do cool stuff and formal analysis may be fun for some time but it quickly gets in the way.

I agree with the spirit of your comment. I want to add that the defining characteristic of becoming proficient at a technique is that it no longer gets in the way. Touch typing is a good example: when you totally lack proficiency hunt and peck is actually faster. In fact I’ve seen people get up to around 30-50 wpm that way. Having to constantly rehome and remember where the keys are and learn the muscle memory definitely “gets in the way” at first. I think you’ll find if you take the necessary hours that once you achieve proficiency doing things like constructing a nontrivial loop without using an invariant and variant will be considerably more and not less cumbersome.

That said, for exploratory programming, which a lot of professional work frankly is, I don’t find it particularly helpful to worry about proofs until I have a solid grasp on what it is I might want to prove.
Telling "Beauty Salons" to fuck off has been the correct answer for 20+ years. The reasons may change (actually, they only get added to), but the reply stays the same.
people buy github stars now sometimes because it can be used as one input for fundraising.
And if you live in a foreign country and bank in another country, what then? Fly back to your "home" country to sign in and stop rebills?
> What am I trying to say? I have a programming addiction? (Maybe.)

I think all of us do, to some degree. You have to to endure hours on end staring at a glowing screen and banging your head against a mechanical keyboard.
What a weird usage of that word…
I have something like that tool, it's a dirt auger that goes in a drill. The drill needs a side handle to not hurt wrists though.

I'd probably buy a bunch of portable x ray fluorescence and mass spectrometry gear, give them to all interested friends, and try to make civilian toxin hunting as a hobby be a thing.

I might get a high end PC and do DeepFakes vtubing.
Maybe I'd set everything up to be solar offgrid and work on making
My whole town mesh network-ified.

Most of the stuff I'd have mentioned is now cheap consumer gear. I've already got a 3D printer and FreeCAD, I've got IoT sensors, cheaper phones are fine, I'm more into tabletop and only very casually interested in video games.
There are a very large list of foundational capabilities so that it’s not practical to respond with a concise answer. One example is automatically closing resources on behalf of the caller thanks to lifetimes. Another example is the best compiler feedback of any mainstream language.
This has been happening in public on GitHub since January, FWIW.
I imagine some such people exist in Cornwall and Devon, but they probably number in the hundreds at most, not that that fact will really help them much.
If nothing else, you can just pipe the code and then write comments explaining what's left after each step. But the verbose code can be substantially slower (which happens when piping can be used to perform all these operations lazily).
I don’t know much about Rust, but Swift can prevent data races at compile time by using the Actor type.
aren't those two different issues?

security against leaks needs to happen at the backend. security to access an account doesn't protect against leaks of the database. it protects against personal data or identity theft, which is not something companies get punished for
Lojban relies on implicit pragmatics just like any language. It's not that it's unambiguous. That's essentially impossible without also making the language impractical. It's precisely ambiguous meaning that one can be precisely as ambiguous as they intend to be, and provide facilities to this end that no other language has.
What is retirement, if not doing things you enjoy. Coding is unique in its ability that you can even do it as an old man.
Imagine thinking that dropping expats and international travelers is a good move though.
The trick is regulation. A huge difference between the wildly profitable tech companies and most other large companies is that everyone else has to have customer service departments... large departments providing hundreds or thousands of jobs and salaries helping users with the product.

Very simply, Google and the like should be required by law to have customer service adequate to support user needs in every language they operate. Problem solved.
I've posted this before, but it's worth repeating.

I recently discovered that I’m a slow metabolizer of caffeine. Via my raw 23andme data.
https://you.23andme.com/tools/data/?query=rs762551

C/C genotype.

https://www.geneticlifehacks.com/liver-detox-genes-cyp1a2/#C...

Instead of coffee being a net positive, it actually takes caffeine 4X the time to process through my body. It also increases my cardiac event risk (most normal metabolizers it does not).

I can drink a cup of coffee at 8am and it still impacts my sleep the following night. My blood pressure remains really elevated (20+ points for systolic) the entire day.

All these decades I’ve been ingesting coffee thinking it’s a “net positive” - not for my genotype.

When the reality is I sleep like shit, my blood pressure is through the roof, I feel awful for a day or two of drinking a single cup, and it all makes sense now.

Even with just 30mg ingested this morning at 8am, I still feel very wide awake at 9pm.

When I totally detox from caffeine, go through the headaches, I ultimately feel calmer, and I get the best, deepest sleep.
Not a sleep expert, but you can do sleep study to see if you may have sleep apnea . If you don't have that, then its about managing your health , environment and stress. Make sure you're not too over weight which can effect your sleep. Make sure your room is cool and not stuffy or hot. Wash your sheets reguarly, nothing beats sleeping in fresh sheets. Look into a better mattress or pillow. Lastly another game changer for me is a weighted blanket. It makes me feel like i'm protected and comforted.
Japan's stock market has been trending sideways for decades. Housing values only depreciate to zero over time.

Japanese people have no way to easily invest locally. They no longer buy stocks.

Virtually, the only reason to buy stock now is for discounts (e.g., buy transportation stocks for discounts on tickets; buy grocery store stocks for discounts on food). If America is headed this way, this is what to expect.
Yeah it looks like AIB cards are in stock these days.
Note they misuse the term end-to-end encrypted, and apply it to mirroring "what banks do". I don't know anything else about their product, but this is sloppy and/or dishonest.
Ask HN: Can AI align itself to human?
One indicator is that horseback riding today is one of the most dangerous things you can do. The injury rate for recreational riding is higher than American football, car racing, and skiing. https://tsaco.bmj.com/content/6/1/e000728

I would venture to guess that since stop signs, lane markings and traffic signals were all deployed after cars started killing people, there were a significant number of people annually run over by horse-drawn vehicles, thrown from horseback, or run over by pre-car vehicles like trolleys and trains. Urban streets looked something like this: https://www.wisconsinhistory.org/Records/Image/IM24987
So yes, but, it's not very clear at all, and this idea that 'China is making the loans so they default and then get access to ports' is 'rationally cynical' but not quite right.

Also, everyone is aware that this could be the reality and of the outcomes.

In reality - China's loans were regular commercial loans made by regular commercial banks (don't get me wrong, at the behest of the CCP).

The amount of $ lent out is staggering and it's not going to come back and it's yet another gigantic problem for China.

And yes, in the end, 'ports will be seized' etc..

Also I think we should be cynical in that China has zero goodwill whatsoever, unlike I think the duplicitous goodwill of the West they don't care one bit and will absolutely dig their tentacles into poor countries in an attempt to control them.

Unlike Soviet policy which was based on defence and handouts, China is based on deeper economic integration and they uses their 'very cheap labour and zero regard for anything' to build a lot of stuff. Africa is getting roads and airports which will go a long way to providing cover for the local regimes.

It remains to be seen if they can keep this up, but I don't see it subsiding - China is in a very good position to provide 'very cheap stuff' to 'very poor countries' and lever that economic clout. India also uses it's 'serf population' as a form of geopolitical leverage, if you were wondering 'who build the Qatar stadiums' ... it was that.

It's right for us to be cynical but we can't be arbitrarily cynical, it's generally a bit more complicated, and unfortunately there is zero public discussion or anything in the media in North America, and not enough in Europe either.
Arrays at the root of JSON are dangerous and best avoided:

https://stackoverflow.com/questions/3503102/what-are-top-lev...
Show HN: Practice Conversations with AI Personas
Hello HN,

Excited to share my new project, a site for rehearsing conversations with any emulated person, powered by ChatGPT. Originally inspired by my daughter's idea, we built a tool that simulates scenarios from chats with a crush to job interviews, aiming to boost confidence and reduce anxiety.

You can create any persona you want to interact with, whether a celebrity or someone you know personally. Essentially, you are just creating custom prompts for ChatGPT and we add in a little extra to try to ensure it behaves the way you would want. You can share your AI personas with other users or keep them private.

Although I'm not a trained developer by any stretch of the imagination, I dove into programming this completely solo...well actually, with ChatGPT as my tutor. The logo was also generated by a Stable Diffusion based model.

Give it a try at practicetalking.net and share your thoughts! Hoping this tool will help you prepare for real-life conversations more effectively.

Looking forward to your feedback!
The semi-friendly loan shark doesn't pay you personal bribes. The kneecap shark pays you bribes to take loans on behalf of your country which you aren't personally on the hook for.

By the time the bill comes due, you've got enough money to catch a private jet off into the sunset.

It's elite capture 101.
That would be a moof point.
Not necessarily. At least for those of us from Asian cultures, it's not that unusual to sacrifice and do something you hate or at least are ambivalent towards because it's a well paying stable career.
>The question really is why is swift <-> objc bridge so bad you need this software?

HUH? I don't even understand the question. A bridge is something redundant in itself. It doesn't have to be "so bad" to want to get rid of.

Why keep going through a bridge when you could (after this effort) call the lib directly?

And why maintain the same code in 2 different languages, an increasingly deprecated one, and your new one?
I can totally relate to this. I find myself forcing my attention away from programming to do other work. Programming is like an infinite game.
Hi all, I'll be around for a couple hours if anyone has any questions.
Maybe I'm a bit old...but a good, working Babbage Analytical Engine would be so cool to have and tinker with.
A strong case for transitioning from ClickHouse to Apache Doris
TLDR: The transition was mainly for partial update of columns, lower storage costs, and lower maintenance costs.
This is how Apple rolls with their secrecy.
https://www.splitgraph.com/
whoops, best thread is what I was thinking.
Still?

How big is Foundation anyway? Or are we talking about the movie they released?
I had that issue when I left a (15+ year) job with a company that owned the phone number I'd been using for both work and personal. Justification being that this was waaaaay back when mobiles were just becoming ubiquitous; Nokia 3310 days.

Not just the hassle of re-connecting the accounts, but even knowing which ones were inextricably linked to the phone number to which I no longer had access.

(I think I could have requested the number personally, but I wanted to make a clean break, and having a new phone number meant I was much more difficult to contact for any legacy issues I no longer cared about - double-edged sword)
Unless his life is also a luxury, deep sleep is a nessecity. Those other things can take a back seat, unless it's an emergency situation concerning the wife, kids, etc.

A modern family man is also no use dead or when performing badly due to lack of good sleep.
>it's an inability to make decisions. That's it.

I would say it's an inability to execute the 'correct' decision society has imposed on them. Hoarders can make decisions just as well as anyone. Their unique problem occurs when it's apparent to everyone but the hoarder that it's time to discard an item. It's always something that has almost zero vale, but never none. The hoarder distorts reality, and imagines a world where the item holds some non-zero value in the remote future. My feeling is that it's somewhat linked to gambling addiction. It's as if they were a poker player, constantly betting and playing games for hundredths of a cent. It doesn't matter what cards they're dealt. At this price, they never need to fold, and so they never discard even a truly terrible hand. By doing so, they retain a very slight chance of winning the game. If their objective is to win as many games as they can, without losing any of their money, this is a valid strategy. We see this strategy as hoarding.
Well one can find lot of examples in programing language world. e.g. Go's generic implementation, Java's value type implementation etc where things can take really long time to get implemented. It takes delicate confluence of factors like community interest, technical/financial resources and implementers agreement on desired approach to get a feature done.

And all the money in world can't make it any faster.
Blood test results? I couldn't find anywhere to input the data manually.
I track everything else there, like blood pressure, but serum iron, ferritin? Transferrin? Albumin? Etc. Nothing. Am I blind?
Indeed you're right, I know what you're talking about, and actually briefly worked in contact with the people you're talking about in early 2000s as an intern, until leaving that circus for good. However I also know for a fact that it's been used in at least one organization for a couple live projects as a visual language in a CASE tool (no idea to what extent though). That org had some of the best bullshitters and practitioners of siburda - imitation of intense work - I've ever encountered in a post-soviet world (which had no shortage of those), and the same kind of ignoramuses you allude to.
Half of this thread to be honest. Asimov and Dick, Stephenson and Gibson. I never liked Douglas Adams or Terry Pratchett but I've read their books trying to understand the hype.

It was after failing to get engaged by the three-body problem (again), frustrated, and recognizing that I was dealing with unusually high professional and personal stress which likely robbed me of focus for reading "good" fiction, that I went looking for lighter fare and found this series. The author apparently was a ghost writer for the original star wars series. It doesn't surprise me a bit.

$0.02 :)
@janstice already replied with the original source, which was the IRA after bombing Margaret Thatcher's hotel.
i found a detailed article on Drakon in Russian [1], they say that development of the Drakon language started in 1986 (that would have been two years before the launch) and that work on the ГРАФИТ-ФЛОКС dev environment was completed in... 1996.

it was used with the Sea Launch program, Fregat - that's a space tug for Soyuz/Zenit, the modernized Proton-M, ДМ-SL-Б - that's a space tug used with the Zenit launcher.

However the article is a bit old, from 2009. It could have been used for later systems.

https://old.computerra.ru/readitorial/418507/

Wikipedia mentions hybrid variants of Drakon - like Drakon-C, here the they would put C code into each of the boxes of the flowchart (each square box would stand for a basic block, and each diamond box a boolean expression?). I think that would make more sense, this way you could actually write some more complex programs and the flowchart would not blow up in complexity.

https://ru.wikipedia.org/wiki/%D0%94%D0%A0%D0%90%D0%9A%D0%9E...

i guess that with Drakon-C a function call would be just a line in the basic block, would make more sense.
I think you’re thinking of the Foundation series (not movie) on Apple’s streaming service?
Racket has full-blown green threads (virtual threads)[1] that serve as an alternative to the async/await paradigm. It also supports use of native (OS) threads[2].

[1] https://docs.racket-lang.org/reference/eval-model.html#%28pa...

[2] https://docs.racket-lang.org/reference/places.html

[&] https://docs.racket-lang.org/reference/futures.html
> Someone else baked my bread, made may car and built my house and I paid for all of them.

That's true. But, with the possible exception of the bread, you did not pay the people who did the work, you paid someone who appropriated their work and sold it to you as their own.
Apple funds LLVM, but it didn't start LLVM.

"The LLVM project started in 2000 at the University of Illinois at Urbana–Champaign, under the direction of Vikram Adve and Chris Lattner. LLVM was originally developed as a research infrastructure to investigate dynamic compilation techniques for static and dynamic programming languages. LLVM was released under the University of Illinois/NCSA Open Source License,[3] a permissive free software licence. In 2005, Apple Inc. hired Lattner and formed a team to work on the LLVM system for various uses within Apple's development systems."

https://en.wikipedia.org/wiki/LLVM
"Regular banks of China" are all de facto organs of the CCP government. They play along with the strategic agenda or their executives get reeducated.
what's updawg?
> i could tell you more but it would just spike my blood pressure after 6 months of not having to deal with that mess.

There was a time when I could've transitioned to FPGA development and I was pretty keen to do so. But after using (fighting with) Xilinx's tools and watching other people who were deeper into the FPGA side wage similar wars I decided it just wasn't worth it. That it would be better just to stay on the software side of things where the tools are mostly open source and so much better. In FPGA development you just don't have any control over the backend tools - fortunately there are a lot of front-end simulation tools like Verilator that are open source and some limited backend tools like Yosys are open source. Hopefully open source will continue to make inroads, but it's slow going.
I've Neeva heard of them
> you can't call async code from a sync context (hence the color issue), but I can always pass a "context.Background()" or such as a context value if I don't already have one.

You can always pass context.Background, in this metaphor creating a new tree of color.

You can always call "runtime.block_on(async_handle)", in this metaphor also creating a new tree of color.
I think that's the point. They were talking about how many times it's been posted, so that's probably the best of those submissions.
In case anyone's wondering, it's not the HN password (with or without quotes) :)
> The question really is why is swift <-> objc bridge so bad you need this software?

Do you want to keep using a UTF-16 backed String type while the world (including Swift) is on UTF-8? (Oh, and I am posing the question to Java too...)
My personal theory / opinion in how I know I slept deeply is whether I had a dream that felt like a fairly long period. There was a point in my life where I literally had no dreams and slept like I was passing out. I realized that this was greatly affecting my long term memory. I went and made incremental steps in getting my sleep better and thankfully was able to start dreaming again, and even got to some points where my dreams became lucid, like being in inception. Anyways that's just my personal indicator on whether ive been sleeping deeply.
GP was probably looking for the word "astroturfing":

astroturfing:

> The disguising of an orchestrated campaign as a "grass-roots" event – i.e., a spontaneous upwelling of public opinion.

https://en.wiktionary.org/wiki/astroturfing

agitprop:

> Political propaganda disseminated through art, drama, literature, etc., especially communist propaganda; (specifically, communism, historical) such propaganda formerly disseminated by the Department for Agitation and Propaganda of the Central Committee of the Communist Party of the Soviet Union.

https://en.wiktionary.org/wiki/agitprop
> They are working on building up such a capability and the situation may be different in 10 years.

Yeah, that's what we're discussing.. these 'loans' are in pursuit of their strategic objectives.
I think you misunderstand how PGP works. There's no real-time interaction between participants. Participants don't have certificates, only keys. The ciphers and signing algorithms are determined by the OpenPGP spec rather than some negotiation between parties.

The trust model in PGP isn't a certificate with a signing chain but a "web of trust". I know Alice and Alive knows Bob. Alice vouches for Bob by signing his key and giving it to me. Since I trust Alice personally I have some level of trust in Bob.
I'm not saying Rust is the answer to all things, I'm saying I want a Rust translation for continuity of the wisdom and concision I loved in this guide as a 14 year old.
This is bound to problems - slighest change in your stack - language, runtime, OS would affect that so much that it's completely pointless to rely on measures taken and apply them later (that to be said, this is perfectly valid choice when you are locked in - like in the embedded or game console world, but rarely that's the case outside)

For example - https://go.dev/doc/go1.3#stacks
https://agis.io/post/contiguous-stacks-golang/

So your measurements in go 1.2 would probably differed in go 1.3 (and this is just one example, in only one of the possible axises that have changed).

It's not like you own the data structure there to control it.
I'd argue the opposite. Having to spin up and down instances for development is a huge PITA, the tooling sucks, and the instance might not even be available the next time you need them. It also stresses me out personally, because I'm worrying about getting productive use out of every minute. Whereas my little GPU cluster (Despite a big upfront cost) costs nothing but electricity and runs 24/7.
Happily Swift has interop with C, and they're working on actual C++[1], which would be a lot of wasted effort.

The question is very simple: Swift is meant to be a safe language, how feasible is that if a large chunk of the core types and runtime are implemented in C, C++, and Objective-C/C++? Migrating to Swift is the obvious and sensible step, unless you propose re-implementing them in yet another language?

[1] https://github.com/apple/swift/blob/main/docs/CppInteroperab...
Can a fox live with humans?
I was sufficiently curious and just went and tested this using BenchmarkDotNet. The example code is here (https://github.com/J-Bax/CSharpBenchmarkExamples).

The difference is quite significant.

(1) With the authors code (using Task.Run), I get ~428MB of allocations.

(2) Dropping the unnecessary Task.Run(...), I get ~183MB of allocations.

(3) Doing (2) and waiting N times on the same delay, I get ~39MB of allocations.

This was all using .NET 6 too. .NET 7 or the 8 preview might be even better since they are working hard on performance in recent releases.

So even looking at just (2), that puts .NET on par with the rust library.