skysight-inc/HackerNews huggingface dataset:
I swear to God that Hacker News is the only place on the entire internet where you could find someone who takes a stock rhetorical phrase like "swear to god" literally.
In all languages I'm aware of you can limit the visibility of global variables to the current compilation unit / source file, it's still 'mutable global state' from the pov of functions in that file, but non-existent for anything outside the source file.
I think it's as naturally async as anything else here actually. If you're calling a function via IPC over shared memory, you're sending a message, signalling it's there to the other process, and waiting for a response message with the result.

The only thing needed to turn this async is to change the "get result over IPC" function from "block until result is available" to "check if result is available, return TRY_AGAIN if it's not"
The rise-and fall-of the "software developer"

Quotes for emphasis, because I'm pretty certain this is related to all of the code camp nonsense that told people they could make six-figures after the course.

I don't doubt that there are a lot of developers that succeeded after those camps...

However, there were definitely a lot of people that shouldn't have been there in the first place and were only after the large paycheck dreams that were dangled before them.

Interviewed a lot of them, it was obvious which was which.
ZeroMQ has never been a managed queue. It was always more of a networking library on top of which you could implement some interesting paradigms, but it has never been on the same playing field as MQs (on purpose).

SQS is still very much alive. It is more than likely the first or second most deployed resource in AWS in my daily work.
My father taught us this as a simple conjecture of sorts that somehow always stuck with me: "in a frozen lake the warmest layer of water is at the bottom and it's at 4°C".
Now there might be a plethora of cases where this is not exactly true, as is often the case with simplified models, but this is how I would word it to my kids :)
> My personal pain is Tableau trying to move uo the stack into data orchestration and compute. Code is completely inaccessible.

Not really a Tableau user, but I bet they are doing it to increase vendor lock-in. Which has always been an industry wide problem, proliferation of APIs and languages for that reason. I am not even sure how this could be any different, if the remuneration in a capitalist society depends on scarcity of the traded product or service (and the commons are privatized as a means to increase it). Here, the commons are the common understanding, standard APIs, and interoperability.
> western political philosophy, known as Westphalian sovereignty) is that there is no other authority inside a State’s borders except its own

You’re citing centuries-old political philosophy, only remnants of which remain in our world [1].

The West that arose after WWII and through the Cold War is decidedly non-Westphalian. Concepts like human rights, non-proliferation and self determination are non-Westphalian. The Nuremberg trials were anti-Westphalian.

The closest modern analogues to (and proponents of) Westphalian philosophy are Russia, China and North Korea.

[1] https://en.m.wikipedia.org/wiki/Westphalian_system
If you are cherry-picking cites that agree with you, that is a much bigger scandal than you citing a paper that ended up being retracted 22 years later. The point of citations is to cite the relevant literature, pro and con.
Can you extend it? How do they deploy, and where do they deploy their projects?
Show HN: Pomoglorbo, a TUI Pomodoro timer for your terminal
This started out as a fork of pydoro and turned into a playground for dataclasses and strict mypy type checking. Some of the advanced features are

- it writes the current status into .local/state/pomoglorbo for i3status/xbar
- it is very configurable, including cmd hooks to run after a Pomodoro/break finishes or starts

The layout is compact, and it runs well over SSH/Mosh/Tmux.
"the West" has to keep some degree of not officially caring to avoid being backed into a policy corner and has no incentive to take law enforcement action when threat actors in those other countries operate with impunity.

We're already well into causus belli territory with NK, but nobody wants to go there: https://x.com/tarah/status/1798036415932187127
>France doesn’t investigante crimes that happen in Spain, Portugal doesn’t investigate crimes that haven in Canada, the USA doesn’t investigate crimes that happen in Germany, etc…

https://en.wikipedia.org/wiki/Interpol

https://en.wikipedia.org/wiki/Europol
Well, the one thing they have in common is that both projects were originally designed by the same person, Pieter Hintjens.
I live in a former socialist country, where ground-level apartments were a thing even in larger buildings... nowadays people don't like them, because there is usually a lot of foot traffic around such buildings, and nobody wants to live in an apartment where anyone can walk right by the window and see inside the apartment (+ security risks).
Related:

"What Modern NVMe Storage Can Do, and How to Exploit it"[1] by Gabriel Haas and Viktor Leis.

[1]https://dl.acm.org/doi/10.14778/3598581.3598584
Nah. I used to be a iOS developer. The official native frameworks are buggy as hell. Everything is broken all the time. Occam's razor is on this behaviour being just another bug that receives little attention because everything else is also buggy. I can't even blame them, the iOS api surface is huge, and every year there's new frameworks and every couple of years new devices. Android has the advantage of being open source, which allows external contributions to fix bugs, which oftentimes fixes the small-percentage bugs because one developer ran into it and decided to fix it. On iOS this is impossible, and there's no corporate incentive to fix small-percentage bugs.
I always buy them salt-packed in large jars. That said, most people use them so infrequently that a small jar lasts a long time.
Hoping everyone reading this understands what's being kept from us.

Cross-platform webapps should be table stakes for adopting any platform.
Amphi generates Python code, so you can definitely orchestrate them through Airflow but it doesn't generate "Airflow code" so to speak. Now, in the future we might develop Airflow specific workflows or maybe operators.
On a Blindsight tangent, that's exactly what "techniques will occur when a void is found" was about: the passive is on purpose, encoding the philosophical zombieism of martial zen.

The conscious mind is useful (like s/w for resolving a TLB miss) for calculating useful things to have in the cache, but in an antagonistic situation, one needs to have a high percentage of h/w-served hits.

If one consciously decides to employ a technique, one will certainly not surprise oneself, and one will probably not (unless one's heart is very spherical indeed?) surprise an opponent who is practicing the 3rd of the "3 pwns"*.

(indeed, I find the evolutionary just-so for consciousness to arise from the 3rd pwn: once one has the grey matter in place to model others, modelling oneself would be a natural side effect)

* https://news.ycombinator.com/item?id=39898001
That is exactly what it is!
So, can adult stem cells become any type of cell or not?
Without a doubt?

You would probably need a billion dollar business beforehand.

And a sure-fire way to end up with a billion dollar business is simply to start with two billion.
Yeah, for short inputs the models are not that precise, but for long and complicated ones they work quite good, probably NLLB has been trained with very few short texts.
Thanks a lot for the feedback!

> Isn't really "unified" with 4 tools syncing to Todoist. I could see this being really attractive as a niche tool though - "developer focused" inbox or whatever.

Indeed, this is pretty limited right now with only 4 tools and I focused first on my own use case.
Eventually, I will add other tools and probably not only developer oriented tools.

> add Obsidian as a destination and it might be compelling for me to try out :)

How do you see Obsidian as a destination? Do you manage your todo list in Obsidian? What is you task management workflow?
> Potemkin country

Maybe they’re another Russia, their tanks and artillery all crumpets. But maybe not. They have a lot of them on paper [1].

[1] https://en.m.wikipedia.org/wiki/List_of_equipment_of_the_Kor...
Move to Zimbabwe.
Yeah and North Korea is known for punishing family members. It's just foolish to brag like that. Probably worse than the hack itself.
Then provide a comparator to sort differently, no problem.

There will never be a good reason for the spec to be like that. Just look how people here justify the mess of BigDecimal.
AMD supports PyTorch out of the box , these comments make me feel no one has tried or even working on this stuff
I suspect vinnyvichy may have been "conversing with gods and ghosts" ... but until I manage to translate that page I shan't be sure :-)
It depends. I don’t tend to end up with deep object graphs that need to be saved/ reloaded.

It might be that we serialize foo and foo has a list of references to its 3 children. The “parent” reference from the child back to foo is marked as do not serialize; an “after rehydration” function on foo could then set the value each child’s parent reference.

But more often — say baz bar and bam reference foo — the speed at which baz changes is different to the speed at which foo changes. The reference to foo from Baz is marked do not serialize. Baz also has a property indicating the ID of Baz. (For IStashy<K> - K is the type used for the keys, the IDs; it might be a string or an int or a guid, I tend to use string. All objects in the system have the same kind of ID, and it is unique per type.)

Generally if cyclic data structures are possible then some part of the cycle will be marked as no serializable and I’ll keep a key reference adjacent to it.

Situations that triggers huge cascading saves — they’re kind of an anti pattern for how I work. If one little change changes everything then perhaps it can be calculated on the fly from a pure function, not persisted at all— or perhaps there’s over-coupling etc.
I'd suggest using a different photo of your partner, something that represents them better. That makes a difference in my experience
Push notifications, for starters.
But the more compelling argument is that from the user’s point of view, an app is something else than a web page. Even the most basic feature - being represented at the Home Screen on the device - makes a huge difference.
If Israel wanted to genocide the Palestinians then it would have been a smoking pit with nearly 100% of the citizens killed inside of a month. They are conducting a military operation against a state terrorist actor where said government hides amongst innocents and uses them for shields. So Israel has one of two choices, do what they’re currently doing or throw up their hands and let Hamas continue to cross the border and murder citizens at their leisure.
Apple issues 'serious' under landmark EU rules: Vestager
Just bought the iPad version. I am so excited to show my kids this when I get home from work tomorrow. They are going to be ecstatic.

The sounds bring back so many great memories.
Would I trust an OS which states "Why don’t you use GCC? – Because GCC is a crap." in the project's FAQ [1]? This isn't really inspiring confidence.

Also, it's completely not obvious from your web pages which features already work in your OS. And, IMHO, Discord is definitely not "the perfect place to connect, collaborate, and contribute".

Just my 2ct...

[1] https://exectos.eu.org/faq/
People have tried this! And for not-complex problems, the newer models do give the right answer and yet usually fail on the complex tasks.

Prompting does help though - if you ask the model to check it's own answer, it can often catch errors it made and improve. But the interesting part is precisely how does the model succeed at all at any spatial reasoning task? Surely it hasn't seen all spatial reasoning tasks in its training set. So, what's the other hypothesis? As you say, people suggest that there could be a world model that is constructed internally by the LLM.

However, as you can see right here in this thread that people disagree that you need a world model for solving such tasks.
But my infrastructure is code! Can't you see how it's all in git?
He contradicts himself left and right. In one comment, he writes that they will never come after him, in another that he's seriously concerned. He writes that he has a lot of serious connections in the DoD up to the highest level, and then explains that he has a way to stop any attack from NK, but nobody will even listen to him.
Yeah, but many ISPs, especially smaller, have a same pool of ip addresses for all of their users in that 'region' (for whatever size and definition of a "region").

So with some effort, reconnections from/to a mobile network and many tcp/ip connectons, you can achieve that your device is connecting to the attacked site with many different (if not all) IP addresses from the ISPs pool, and if each of those is blocked, none of the legit users (using the same IP address pool) can access those services anymore.

Look at services like digitalocen with cheap virtual machines... even amazon... so many of their IP addresses were used for something "bad" and got blocked, that running a legit service on any of them can mean that a portion of your potential users won't be able to access them, because they'll be on some block list somewhere.
Thanks for this. Lots of familiar names in the references including, in a big surprise, my undergraduate research advisor and another colleague with whom I worked closely in his lab. My first published scientific paper was with both of them. My advisor is a legendary surface scientist but I had no idea he had studied ice formation on his beloved single-crystal surfaces! I look forward to reading the full paper.
This looks visually similar to Apache Nifi.
Yep, BigDecimal does this crazy thing, and it shouldn't. It does it, because the buggy spec allows it.

If the canonical equality you want to provide is not compatible with the canonical order you want to provide, then don't provide the canonical order. Or provide an order that is compatible, which makes it pretty much canonical. It is really simple, and going against simple things like that is why software is such a mess. Because software really allows you to do anything you want. And now it is down to you to want the right thing.
The HTTPS MITM case doesn't need to intercept close to the server, it just needs to know that Victim is trying to talk to a particular server. Then, they obtain a forged certificate, and use the same mechanism shown here to intercept the TLS ClientHello and pretend to be the TLS server, with the legitimate certificate. The reason this works is because in a targetted attack, it's much less likely that the improperly issued certificate would become public and (1) be revoked, and (2) cause problems for the CA that issued it.
The apartment building I live in was built in 2019 and is solid concrete. I only ever hear my neighbors when they're drilling or something. In my city it's housing built post WWII to about the millenium that's known for shitty sound insulation, although it often has other benefits like higher cielings and charm.

It seems like a weird US thing from what I've seen online that new buildings are still just a frame and drywall. I don't get why though, sure building costs initially are slightly lower but a concrete building will last much longer, it's easier to insulate against weather, and they can charge higher rent for the sound isolation as well
I went from not caring about weed, to pro-weed when I got addicted to it, to strongly against weed normalization right now after I managed to finally quit.

I hope societies can quickly realize that weed normalization can be very destructive to our youth. I'm lucky I got addicted at a later stage in my life, which allowed me to remember what life was like before my addiction. I shudder to think high school students or college students who get addicted.

Not many will agree with me here. Many will say that weed isn't addictive for them. Some will inevitably accuse me of being the type of person who will get addicted to something no matter what, even if it's not weed. I don't really care. Quitting weed 100% was one of the best things I've ever done.
How is it possible to make that much though? Is it like a private bounty board or something?
Remember this guy didn't fly to DPRK, he committed what could be considered crimes under CFAA while on US soil? (CFAA written broadly enough that taking a country offline could be considered to affect foreign commerce/communication of the US)
Yep and I mean... don't we all remember the assassination of Kim Jong-nam outside of North Korea in a Malaysia airport ?

who know if NK will do it again, but showing his identity so that NK know who they should target is really stupid
Thanks for your question. Amphi generates Python code using Pandas and can scale on a single machine or even multiple machines using Modin, but the process is manual for now. Future plans include deploying pipelines on Spark clusters and other services such as Snowflake.
Redditors will do literally anything for social validation
Wooooooow!
Many interviews with him directly you can check out. Article is consistent with those interviews.
Chasing a Bug in a SAT Solver
Cormac McCarthy on Ludwig Wittgenstein
Like the sibling comment says, you typically have to pay for the premium model (and believe me, they are miles ahead of the free stuff - free copilot uses gpt3.5 which is a full 2 generations behind).

The other way is to get an API key from OpenAI or Anthropic and then, you can pay per token which is incredibly cheap - load it up with $5 and it can easily last you months if you're not using it much.

As a dev, I cannot recommend these better models enough. The ROI on my $10-$20 that I spend every month is easily in hundreds to thousands of dollars.
I wanted to test the bitol standard. So I invented a use case based on a RAG.
I put most of the code (CUE, Python and DuckDB) so you can try it yourself.

I hope that it will be useful.
Not the same question, but related.

Over the years I feel I've got very good at tracking down reasons for crashes in C and C++ programs, and I quite enjoy the experience of tracking down such bugs.

I've often fancied a way to monetise this, maybe even a "no fix, no fee" system (assuming you can give me a way of reasonably predictibly reproducing the crash, even if it needs a while / has a random element).

It would require the company giving out their source code to me, and giving me a way to build it, so I imagine in most situations it wouldn't be worth the effort, unless the bug was absolutely mission-critical.
Vipassanā – Calming a Wandering Mind
Message based tech is less popular to talk about, not that it's less used overall.

These days, with AI, vector dbs are all the rage, so everyone hops onto that train.
> We now have the ability to have an Einstein-level of genius in our pockets

It's pretty cool but what you really mean is that it's a better UI to an encyclopedia and a story / art generator. It has no ability to reason at all and often struggles with simple things.
> In both cases, they identify and scan something

No, as I understood the GP comment, if you opt out there won't be anything for them to identify and scan, because you can't send anything.

> Not sure, if there is out at all.

Sure there is: You can opt out from being on the Internet.
The EPA's position is "there is no safe level of exposure to lead" in drinking water.

But the question is - is that based on science? And if detection methods continue to improve, will we hold to that statement? Will we tell people not to drink water that contains 0.00001 parts per trillion?

There clearly is some level of lead exposure where the level of effect cannot be distinguished from an individual not exposed.
I'm pretty unimpressed: this is stupid expensive for rather little.

Tangible Waves's AE Modular format is particularly easy for hobbyists to develop on: it's strictly 0-5V, with simple power requirements, etc., and it's very cheap. For a number of years Tangible Waves has sold the BRAEDBOARD module, which is more or less the same thing as Erica Synths's product, but costs $30. And Tangible Waves goes further: they sell a PCB prototyping module kit for $20, called DIY, to take your design one step further.

https://www.tangiblewaves.com/store/p92/BRAEDBOARD.html

https://www.tangiblewaves.com/store/p91/DIY_kit.html
I‘m using https://thelounge.chat/ as PWA on all my devices and it works very good. Maybe you can contact them or look around the source yourself.
Start with a trillion dollars and launch a grocery delivery startup
I bought an enormous jar in Napa not too long ago. And the capers are tiny, much smaller than the modern giant capers…
Privateering is back, baby!
> had some success ($500 MRR) with shareware, 20 years ago

Don't trigger my nostalgia! Fun times, been there done that 2005-2008 https://web.archive.org/web/20080118184913/http://www.sudoku... — then sold it on to another "micro-ISV" (the popular term for indie software maker back then)
One manufacturer at least has it figured out. These are what I’ve been getting in the US for a while now from places like Sprouts (Fresh Thyme), and Whole Foods. Even using a fork like others mention, it’s still just easier with this jar.

https://jeffsgardenfoods.com/our-products/other-specialties/...
Such an attack is, IMO, morally dubious.

North Korea is a poor country with millions of starving citizens, and rather than sending food aid, you broke down their only comms to the rest of the world?
I know that, but since I make money only from donations without giving anything in return of the money I am considered non commercial. For now I decided to use NLLB instead of Opus because it has good quality and is a single model for all languages (so I didn't have to implement the download management logic for the various languages and I was able to make the app faster), but it is a temporary solution, I will certainly replace NLLB in the future, either with OpusMt Big or with other models with a less restrictive license.
I prefer BRIMSC, that way you hear all the letters.
And even that process separation is spinning up more processes from within the same binary or build artefact. The usual fork() and CreateProcessW() etc and then wait on them.

Unlike in Microservices where each process is possibly a totally different language, runtime and framework spun up individually that too possibly in totally different ways.
But that’s the point - it’s just a promise. I have a similar career as the top comment, and turns out that Low code approaches only work when people who understand code use them. Be that Python or sql, real use cases are not the toy examples shown in all typical introductions to these tools.

That said, if this thing is customizable enough, a good data engineer can prepare canned steps that fit the general structure of the customer data process and it may have its place.
So if it was down, how did it affect global security metrics?
Thanks! Don't hesitate to give it a try and reach out if you need anything :)
I can imagine he did piss of some agencies? I mean other states could have mapped NK's whole infra, made a plan to take down NK's internet when "needed" (i.e. in case of some event)... Then some dude triggers it just for fun...

Some things are too big to just mess around with, I would feel extremely vulnerable having pulled such a stunt.
throttlestop (https://www.techpowerup.com/download/techpowerup-throttlesto...) is my one of top 2 reasons for using windows.

been aware of the code this is based on but i hope this also provides a set-and-forget experience like on windows.
What do you mean by "subtype"? Lean defines a thing calles `Subtype`, members of which are constructed from a value and a property.