skysight-inc/HackerNews huggingface dataset:
Dependently typed languages can still develop a degree of biformity via 'tactic' languages. In Coq, for example, you have Gallina and Ltac, which are basically separate languages.

This occurs because even with an elegant theorem proving system, you eventually want proof search, and proof search = macros.

I'm not sure there is a way out.

That said, if dependently typed languages had passable ecosystems I'd use them as is. Not sure if that is more stubbornness than good sense.
All high-performance processors have very complex optimizations. This has nothing to do with x86. The vulnerabilities found in other processors are similar in design and about as difficult to exploit.
Look up the Australian BAL system.

There's defined protection measures for different levels of fire exposure.
I mean he is in the top ~100 most cited researchers of all time, across all fields, and he's still alive. Guy isn't a great public speaker but his name is on quite a few foundational papers in his field.

https://scholar.google.com/citations?user=0dDO3SAAAAAJ
Note that the linked webpage is just a mess of text that was clearly created as SEO-focused advertising for this law firm. It is not any kind of serious reference on the China exit bans phenomenon.
Actually, for an annual fee you can let your dog run off-leash in Congressional Cemetery in SE Washington, DC. I assume that the cemetery requires that you clean up after your dog. The one dog owner I knew who paid the fee certainly would have in any case.
I have a hard time calling the first flaw a design flaw. VPN clients are geared towards the average person. The average person wants to be able to print a paper to his/her printer while connected to the VPN. Though I could definitely see a policy which only allows such communication to private IP ranges and not public ones.

The second vulnerability is more interesting. It seems VPN clients should be better at verifying their communication with the VPN server. The article claims communication to the server itself isn’t encrypted to avoid encrypting packets multiple times. How much communication is directly to the server vs just relaying through? Even if it got double encrypted, it doesn’t seem like that would greatly impact the connection since that traffic would in theory be minimal.
ARP is very common knowledge for people with basic Linux, networking skills. Back in 1990s, early 2000s was a very common tool for LAN troubleshoot
> JS and Python have gradual, not static typing.

that's because of all legacy dynamicaly typed codebases
DOJ lobbied for EU approval of Oracle-Sun deal (2011)
Sorry, I don't understand your concern. My observation is that having a variable declaration that is single-assigment in Java requires the "final" keyword, which in the most charitable case is "final var" where the caller and/or the IDE know the type (e.g. "final var foo = new ArrayList<Bar>()") and in the degenerate case is "final ApplicationEvent<Map<String, List<String>>> thing = doSomething()"

In Kotlin one can get finality via the much nicer "val" keyword, and seems to be idiomatically the default, versus Java's mutable-by-default stance

Saying either language "won't catch type errors" is not something I can agree with
Zig isn't meaningfully safer than C

it's not? why would anyone bother using it then?
some use a hammer to build a house, some use a hammer to tear it down
>regardless of how many numbers are on your paycheck.

I dunno, 7 is a lot of numbers. Work for 5 years, and be close to retirement. Definitely have my house/car and even a few luxury projects paid off in that time. I could work part time/contracts and let the rest of the money gather interest.

But I suppose you're basing this on reality, not a true ultimatum.
I agree with the comment on newbies.

My interns (for some reason) are eligible to work from home, which they do regularly. But without in person interaction they do almost nothing and have no motivation because they don't feel like they are part of something.

With just two days of in person collaboration they have achieved a week's worth of progress, not because they are being watched but because they feel like they have direction and the work has value.

For people new to thev work and the company tools and processes its hard to get that feeling working remotely.
A simple version of this is to do a very cheap SELECT * [where tenant = ...] of your feature flag table(s) to a dictionary structure in memory on every single edge/application server, and do this atomically every few seconds or minutes.

Statsig [0] and Transifex [1] both use this pattern to great effect, transmitting not only data but logic on permissions and liveness, and you can roll your own versions of all this for your own domain models.

I'm of the opinion that every agile project should start with a system like this; it opens up entirely new avenues of real-time configuration deployment to satisfy in-the-moment business/editorial needs, while providing breathing room to the development team to ensure codebase stability.

(As long as all you need is eventual consistency, of course, and are fine with these structures changing in the midst of a request or long-running operation, and are fine with not being able to read your writes if you ever change these values! If any of that sounds necessary, you'll need some notion of distributed consensus.)

[0] https://docs.statsig.com/server/introduction

[1] https://developers.transifex.com/docs/native
I don't understand your favor for a database query. What database, who's querying it, and why would that be better than a UI? Ain't nobody opting for database queries as their go-to interface for anything, and it would be silly to recommend anyone use sql to build their pc. The benefit the tool provides is not having to interact with a database.
I did interview at startups but not <= Series B. After 2 back to back layoffs that just seemed too risky. (The second one was me getting cut literally two weeks into the job) But most startups also have similar timelines, except maybe a faster initial turnaround from application to first technical interview. Very few companies had things streamlined and quick.
As an enthusiast I have to say that was a thoroughly soporific selection, not improved much by the captions.
This comment is great, because otherwise it does seem basically necessary to log into a Google account after enabling Developer mode in order to update the firmware.

However, even though `sudo bash` or `sudo -s` has worked out fine for the parent commenter, there is a note at [0] that says, """IMPORTANT: ...Also, you must execute these commands *as a normal/non-root user*. Running them as root will break things. DO NOT RUN 'SUDO SU' BEFORE RUNNING THE SCRIPT CMD BELOW."""

Thus, a question is: does the parent comment's method ignore the warning at [0] about using sudo to run the firmware update command? (If so, at what risk, and, if any, is there a workaround to mitigate that risk?)

[0] https://mrchromebox.tech/#fwscript
I don't think there's any country where most people use Twitter at all, much less use it often enough that they would incidentally see an emergency alert from their local government.
UChicago scientists see first evidence of 'quantum superchemistry' in the lab
I think the theory of Google's death is that they are "killing the golden goose." The idea is that they are killing off all the independent websites on the internet. That is, all the sites besides Facebook/Instagram/Twitter/NetFlix/Reddit/etc. that people access directly (either through an app or a bookmark) and which (barring Reddit) block GoogleBot anyway.

These are all the sites (like CNET) that Google indexes which are the entire reason to use search. They are having their rankings steadily eroded by an ever-rising tide of SEO spam. If they start dying off en masse and if LLMs emerge as a viable alternative for looking up information, we may see Google Search die along with them.

As for why their revenues are still increasing? It's because all the SEO spam sites out there run Google Ads. This is how we close the loop on the "killing the golden goose" theory. Google uses legitimate sites to make their search engine a viable product and at the same time directs traffic away from those legitimate sites towards SEO spam to generate revenue. It's a transformation from symbiosis/mutualism to parasitism.

Edit: I forgot to mention the last, and darkest, part of the theory. Many of these SEO spam sites engage in large-scale piracy by scraping all their content off legitimate sites. By allowing their ads to run on these sites, Google is essentially acting as an accessory to large-scale, criminal, commercial copyright infringement.
Just my 2 cents and I generally agree with the sentiment in the comments about Postgres just being rock solid reliable and having great integrations / vendor neutral.

One of the huge benefits I see with Postgres is its extension system. PostGIS is amazing. Can save any company that needs to do heavy geospatial processing $$$ by dodging ESRI. The only database I've found that handles geospatial stuff better is BigQuery, but considering the revolution that was Google Maps over the best decade I don't think that would really surprise anyone.
Moq SponsorLink and supporting OSS more broadly
You might be right but gosh, what a terrible way to treat your most faithful supporters.
Read "The Romance of Reality" by Bobby Azarian. It starts there and expands to cosmic levels.
How is this not already achievable today? You’re free to use Cloudflare to cache, AWS for your web servers and GCP for your DB. It’s just not as practical to do this from an IAM standpoint and cloud providers are offering incentives to get more of your hosting business.
Not if each one gets a separate id.
> Such bad luck.

Not just luck — Adobe were fighting dirty with a look-and-feel lawsuit against Macromedia for use of tabbed palettes: https://web.archive.org/web/20010516014855/http://www.adobef...

“Adobe's tabbed palette, used throughout Adobe's products, are being copied by Macromedia® in many of its products, including Macromedia® Flash™ 5, Dreamweaver®, FreeHand® and Fireworks® software.”

Compare the infringing tabbed palettes of Flash 5 to the non-infringing (vertically-stacked) palettes of Flash MX:

- https://www.webdesignmuseum.org/old-software/macromedia-flas...

- https://www.webdesignmuseum.org/old-software/macromedia-flas...
Rakim and Nas are another set of rappers with this genius-level lyrical/grammatical flow.

https://www.youtube.com/watch?v=M34OelgSlKI

https://www.youtube.com/watch?v=hI8A14Qcv68

It really seems like most of this lyrical talent exited rap by the early 2000s, not that I listen much anymore. There's some decent artists these days but it seems like the raw peak talent is gone because you don't need it anymore to make top dollar.
> In the USA it's illegal for anyone other than the Postal Service to place anything in your mailbox.

how does this work with outgoing mail?
Can anyone speak to the state department’s ability to repatriate you if China enforces an exit ban while in country?
This isn't true. Originally advertising was designed around the premise of explicitly highlighting utility and functionality of goods/content. It wasn't until Bernays came along and adapted his uncle Sigmund Freud's theories into practice by designing advertising to manipulate people into believing that they actually need the product.

Modern advertising is not just "showing a product to induce demand". Car adverts don't just highlight functionality, they use mass market analytics to play emotionally driven messaging and visuals so that you associate that feeling with the car ad.

Do you know what Bernays called what services he offered before the word got tarnished?

Propaganda.
> Take biofuel subsidies

Yeah, yet another stupid "solution".

https://www.reuters.com/business/environment/us-corn-based-e...

> sulphate emissions reductions

You're right, the question is how big effect that had. I don't have the info.

> 90% of sharks are gone

https://www.seaspiracy.org/facts (sorry for the uppercase)

FOR THE FIRST TIME SHARKS ARE GOING EXTINCT BECAUSE OF US

SPECIES LIKE THRESHER, BULL AND HAMMERHEAD SHARKS HAVE LOST UP TO 80-99% OF THEIR POPULATIONS IN THE LAST TWO DECADES

APPROX. 50 MILLION SHARKS ARE KILLED EVERY YEAR AS BYCATCH

> Greenland is going to melt over 10,000 years then adaptation should be relatively easy. Melting in 50 years would be a different story

https://today.uconn.edu/2023/07/greenland-melted-recently-sh...

Until recently, geologists believed that Greenland was a fortress of ice, mostly unmelted for millions of years

Long-lost ice core reveals that much of Greenland was green 416,000 years ago

It’s really the first bulletproof evidence that much of the Greenland ice sheet vanished when it got warm

The CO2 levels during Marine Isotope Stage 11 interglacial were lower than today, but warming was still sufficient to generate major Greenland ice sheet melting.

If we melt just portions of the Greenland ice sheet, the sea level rises dramatically,

Four-hundred-thousand years ago there were no cities on the coast,” says Bierman, “and now there are cities on the coast."

> Circulation stopping? Droughts? These are likely to be worse with a warmer world, but how much more likely/worse

I can't answer that. Nobody probably can. Does it matter?

> extinction rebellion ... worse environmental outcomes including worse emissions

You're comparing extinction with worse emissions. I know almost nothing about extinction rebelion, but after this discussio I can understand their despair ;)

> why is global trade threatened

That's ChatGPT point ... probably disruptions in production etc.

I don't have anything else to say. I'd talk about biodiversity loss etc., but I'll spare you. Thank you for the discussion.
I hear they make people share hotel rooms with other employees. Is that true?
This is a really great point, and puts into words the feeling I've had about GPT for many years now but had trouble describing. Thanks.
Water is essential for human life.

The ability to doxx people, stalk them and trigger them to commit suicide, as it happens, is not considered essential for human life. I mean unless of course you're a kiwifarms loser who considers that "life".
I jumped ship from MySQL/MariaDB around psql 9.6 and haven't looked back.
"Adtech is such a thoroughly gross field."

Someone else on HN called it "elegant" last week.

https://news.ycombinator.com/item?id=36975056
uBlock Origin is also an incredible success story here!
> Not saying you’re wrong, but are you sure?

To be honest, I was anticipating using the same circuit for the lamp instead of pulling a new one, but sure, having the electrical work done to pull a new circuit to the car is definitely feasible.

> Not necessarily. In California at least...
Thanks for making keeping me honest in assumptions there. That said, I have to imagine the amount of states that have these provisions is pretty small, and likely more importantly, this assumes that one has assigned parking. I haven't lived in an apartment in a long time, and never in a major city, but all of the apartments I've lived in had free-for-all parking.

The point I was trying, but didn't fully make in my original comment was to highlight that there's a fairly significant amount of the population in the US that doesn't have easy and/or reasonable access to home charging, and that is a fair reason why even folks who can afford and are interested in owning BEVs are precluded from considering them.
:x86:

Apart from the drawing boards at Intel when the 80286 was designed, can anyone find any evidence or have first-hand experience that rings 1 and 2 were ever used in any specific commercial purpose? (I haven't heard or seen of it.) 286 protected mode was generally a flop (outside of OS/2), while 386 protected mode was significantly better. The LDTR (-> LDT) and hardware task switching (reloading TR) aren't typically used. GDTR (-> GDT), TR (->TSS) and IDTR (->IDT) setup are essential.

The TSS includes where to find the 6-7 stacks, and for a permissions mask for port I/O.

Double fault handler (in the IDT -> INT 8) is typically what leads to a colorful screen of death. When the double fault handler fails (or the IDT or was overwritten), a triple fault happens and the CPU halts or the virtual machine does it own impression of a colorful screen of death without (usually) actually killing the host machine.

An invalid opcode handler permits handling CPU-unknown opcodes in the OS such as using emulation or other hardware.

Note that generally most PCs prior to UEFI/EFI booted in real mode with 1 core running, so writing a parallel and concurrent OS typically involves setting up protected mode structures, switching to protected mode, and then talking to the APIC for every other core.

Resources:

https://sandpile.org

http://ref.x86asm.net/geek64.html

https://cdrdv2.intel.com/v1/dl/getContent/671200

https://www.intel.com/content/www/us/en/docs/intrinsics-guid...

https://www.amd.com/en/support/tech-docs/amd64-architecture-...

SVGA/VGA/EGA

https://wiki.osdev.org/Expanded_Main_Page

http://www.osdever.net/FreeVGA/home.htm

https://archive.org/details/gpbb20/

https://archive.org/details/programmersguidetotheegavgaandsu...

System management

https://wiki.osdev.org/Symmetric_Multiprocessing

https://pdos.csail.mit.edu/6.828/2018/readings/i386/s09_08.h... <- CPU fault handlers

https://ctyme.com/rbrown.htm

https://wiki.osdev.org/UEFI

USB

https://beyondlogic.org/usbnutshell/usb1.shtml

Emulators

https://www.qemu.org (qemu-system-x86_64 or qemu-system-i386 for very retro)

You'll usually want to create an ELF32x64 binary kernel image that's a bit of real mode, ia32 and then switches to 64-bit registers mostly (ia32e [amd64/x86_64]).
yeah came to make this point. when the story initially broke I thought it sounded like a horrible accident. Now I suspect she's a nasty loon...

or at least very very stupid.

Will be interesting to see what the Police dig up.
Silicon Motion Readies PCIe Gen5 SSDs with 3.5W Power Consumption
Woman fired after company uses keystroke tech to see how she's working from home
Location: Bogotá, Colombia
Remote: Yes
Willing to relocate: No
Technologies: HTML, CSS, JavaScript, SVG, TeX/ConTeXt, WordPress' PHP, Jekyll
Portfolio: https://miler.codeberg.page/
Résumé-CV: https://codeberg.org/miler/curriculum-vitae/raw/branch/main/curriculum-en.pdf
Email: Please see Portfolio or CV/Résumé

Professional graphic designer with more than 5 years of experience in both frontend and backend (PHP; Wordpress, Jekyll, some Joomla, Typo3), iconography, editorial design/typesetting with ConTeXt (some specific examples at https://imgur.com/a/HEzh1x5) and basic graphic design. Please check my portfolio to see some examples of my work.
I still use Fireworks MX 2004 till this day.
Ugh, not Amazon Chime...
I am currently using my RX 580 8GB for running large language models on my home computer using llama.cpp opencl (clBLAST) offloading of layers. I can fit up to 13 billion parameter llamas (1 or 2) if they're quantized at 4 bits. It's not super fast but at least my AI IRC bots aren't eating into my CPU time anymore.

But my attempts to get direct ROCm support were thwarted by AMD.
This seems like a business opportunity. You can charge sellers to accept their returns, and then list them on Amazon or eBay and get paid twice.
Cool, this definitely seems like a good enumeration of techniques, nice to see that they discuss stuff like kernel fission as well. Having a good understanding of loop nest optimization transformations (tiling, fission, fusion, strip mining/sinking, iteration order changes, etc) provides a good vocabulary for talking about this stuff too.

As someone who has spent 80%+ of their time CUDA programming for the past 9 years (I wrote the original GPU PyTorch tensor library, the Faiss GPU library, and several things that Nvidia took and put into cuDNN), I found the most instructive, short yet "advanced" education on the subject to be Paulius Micikevicius' various slide decks on "Peformance Optimization"; e.g.:

https://on-demand.gputechconf.com/gtc/2013/presentations/S34...

(there are some other ones outstanding, think one was for the Volta architecture as well)

They're old but still very relevant to today's GPUs.
Our Fragile Energy Economy
..said about every Microsoft product ever...
I could not find a terms of service page for your product on your web-site.
"I asked this one guy who's just as ignorant as me and he thought it was totally cool, so no way you should have a problem with it".
> can't be relied upon

Oh? Which ones?

I believe I can fix that, but I can't make a move without a repro test case.
You could do the light bulb dirt test in a room without windows or another light source.
*incredibly inaccurate (oh, subconscious!)
I think that most of those points applies for most science and engineering projects, not merely spacecraft design. As many wise set of rules, a lot of rules contradict each others, so that it is universal and intemporal.
thank you, food for thought
I think you’re just unlucky. Having compiler enforced null checking does not reduce the amount of nulls you need to check. They will still be everywhere and you will still have instances where people will not check null from a nullable function with !! because they believe their input won’t give them null back.
Getting Creative with Embeddings
Same with OpenRISC, at the time the RISC-V project was started.

ARM too. The RISC-V design was fairly well advanced by the May 2011 spec, and IMAFD (and E) were in essentially their current form in the May 2014 spec.

Aarch64 was announced between those two in October 2011, with the first 64 bit Apple iPhone 5s shipping in September 2013 and with ARM's own cores such as Samsung Galaxy S6 in April 2015.

The first commercial RISC-V chip (SiFive FE310) shipped in December 2016.
It's not that you're not good at it, there's just a lot of hidden functionality that isn't obvious, and it's a terrible UI for long-form writing of any sort due to the context size limitations.

If you tell it "write a story..." it will write in the style of a children's fairy tale (opening with "once upon a time" and everything). Telling it "write a professional fiction novel in the style of Tom Clancy..." would improve that. Had you told it to "write an academic paper about ___," you should not have received diplomatic PR speak.

The lack of precision is addressed in a second pass. For each subsection, you tell it "isolate section ___ and expand it to include x, y and z." Now you have to start copying responses out of the chat window and into a different document, otherwise it'll turn demented and start changing earlier parts of the paper. This sort of workflow has not been worth it for me so far, but YMMV.
In the real world, localities are routinely using Line or Twitter to send information to inhabitants. This is maybe on top of some paper fliers or announcements on loudspeakers.

I don't know what this looks like in other countries, but we're talking about telling people about something, not updating your registered address.
Again, we have rate limits and usage limits in place. You know that you can pay to have Captchas automatically solved, right? It's not the solution to all problems. Obviously if a targeted DDOS happens then some changes would be required.

Also, that is no longer the case that Cloudflare uses Captchas for bot blocking. That's the legacy mode
They certainly want you to believe that.
That is called "hotdesking" and it sucks.
> Bad. Antithetical to both Google's original ideals and the early 'netzien goals.

At this point, we should all realize that every ideal and slogan spouted by tech companies is just marketing. We were just too young and naive to know any better. 'Don't be evil'. In hindsight, that should have set off alarm bells.
Deals are made out of practicality. For instance the US did deals with Osama Bin Laden once upon a time. Doesn’t mean anyone wants them taking over a country that has a democracy. If ROC wanted to join China, let them vote to elect the CPC, eh?