skysight-inc/HackerNews huggingface dataset:
If you changed your browser defaults, that's more accurately 'no script' walled, or rather it's paywalled and no script doesn't work around it.
That is a perfect use case for having an extension like this. It makes it easier for you to jump back into a previous conversation and is primarily what I use for as well.
Super ultra hard disagree.

Base/rental trim -A and -B Benz interiors are terrible (in the US). Hard seats, plastic everywhere, shit tier center LCDs; list goes on. Civics are better.

I agree that the Model S interior falls short of most cars in its price range, though.
Finally singularity confirmed, thanks.
> I studied formal languages for ~2 years and have professional experience programming coq. The real benefit of this language, over other formal languages is the focus on being able to write real programs in it.

How does Idris compare these days?
Not necessarily. There are a lot of domains where you're digitizing decades of cobbled together non-computer systems, such as law, administration, or accounting. There's a very good chance that no single human understands those systems either, and that trying to model them will inevitably end up with obscure code that no one will ever understand either. Especially as legislation and accounting practices accrete in the future, with special cases for every single decision.
Correctness may not exist even though evidence and falsifiability are present.

Accuracy is meaningless without precision. For some precisions, it is entirely accurate to say that the earth is flat.

Truth and Falsehood don't really exist in anything except math, philosophy, and theology. History, like sciences, deals with the real world, where there are no proofs but there is evidence and further investigation can improve our understanding.
Thanks for sharing, this is really great.
Or refuse to give in to extortion and don't.
The OP didn't post the video at first. But people thought he was lying, so he showed evidence. Then you attacked him for defending himself and accused him of complicity.
> In the 80s ... Unrestricted was the default and zoning was loosely defined where it existed at all.

Umm, pardon? Zoning was well-defined by the 1980s. A lot of post-war development was deliberately zoned single-family detached housing, for example.
Yeah? That would apply to NGINX Proxy too...
Ok, but oh, I use Firefox ...
Sure, here you are!
127.0.0.1
Thank you for your thoughtfulness.
thanks, updated the article with your comment
The "positive" surface already contains all the necessary points. It's hard to prove that this surface on its own intersects with itself, but turning it into a Klein bottle makes the proof easy, since it's already known that the Klein bottle must intersect with itself when embedded in 3-D space.

It takes some rigor to ensure that mirroring the surface and turning it into a Klein bottle doesn't introduce a problem that would invalidate the proof, but the idea is this:

1) The surface exists only in the "positive" area above the x-y plane, and the mirror exists only in the "negative" area below the x-y plane.

2) The two surfaces only share the points on the original curve (on the x-y plane), and these points correspond only to the trivial cases where A=B. The surface and its mirror don't intersect anywhere else.

3) The resulting combined surface is a Klein bottle in 3-D space, which must intersect somewhere. Because of 2), that intersection must either be in the positive space or the negative space. Either way, that means there is an intersection in the original surface.

As briefly mentioned in the video, it's critical that the original constructed surface is only in the positive area, because otherwise when you mirror it and then turn it into a Klein bottle, the required intersection might just be the surface intersecting with the mirror, and not within the original surface itself.
Personally I'll wait for OpenAI to add this feature directly. I'm sure they're working on it.

I don't want this solution delivered in the form of an extension (one practical reason is I use ChatGPT from mobile a lot of the time). I have 0 extensions installed in general.
I wish more people would just try to do things just like this and blog about their failures.

> The published version of a proof is always condensed. And even if you take all the math that has been published in the history of mankind, it’s still small compared to what these models are trained on.

> And people only publish the success stories. The data that are really precious are from when someone tries something, and it doesn’t quite work, but they know how to fix it. But they only publish the successful thing, not the process.

- Terence Tao (https://www.scientificamerican.com/article/ai-will-become-ma...)

Personally, I think failures on their own are valuable. Others can come in and branch off from a decision you made that instead leads to success. Maybe the idea can be applied to a different domain. Maybe your failure clarified something for someone.
Lina Khan's Christmas Gift: Limits on Annoying Hotel and Ticketing Service Fees
There are options between "freezing to death" and "brainlessly working on other people's ideas while suffering inside". I've personally quit jobs paying more than double of my current salary, because I felt I'm wasting my life on boring, repetitive work just to make someone else rich.
There are two technologies I use every day that demonstrate a company is capable of solving an incredibly hard problem, X, while completely dropping the ball on the presumable easier part of UX, Y. ChatGPT is one of those. Driving in my Tesla is the other. I'm not sure how or why it happens but I think it about it daily.
My apologies, I missed that --- edited my post above to reflect your explanation.
IA will become less
Is It Snowing on Mars? Photos from Mars Orbiters Show a 'White Christmas'
Discourse can be self-hosted as well
My experience trying to scrape Google Maps with no code
A few months back I was working on a project to help founders that sell to SMBs get better quality leads (Current solutions like Zoominfo and Apollo don’t do very well for the SMB market). Of course, I wanted to do this as quickly as possible with as little code as possible.

We found that people were manually going through Google Maps to find SMBs. They would use the search and manually type in the businesses they were looking for. For example, they would type “restaurants” and manually call/email them.

What we decided to do was gather the Google Maps data autonomously and surface that to our customers so they could download it. The problem was that we would need a bunch of data from Google Maps to pull it off. We would need to grab all the SMBs across the United States which is a huge undertaking.

Initially, I tried no-code AI web scraping solutions and they worked horribly. For some reason, I couldn’t even get them to scroll down on the page. I was also able to reverse engineer their open-source code and discover that they were taking the entire web page and passing it into GPT to extract data. That just burned my Openai bill.

I then tried the semi-code approach where I would use something like Apify or Google Places API to scrape the businesses. This worked better but still, there was an issue of price at the scale we wanted.

Eventually, we ended up writing our scraper for the task. The main problem came after writing the scraper and having to parallelize and concurrently run the processes on a server (The scraping task was so large that we had to parallelize for time). Battling with different infrastructure cost us weeks of time.

This experience was so horrible we ended up creating potarix.com. It's a no code scraper. Simply type in the url you want to scrape and briefly describe your scraping task and our AI will generate a script. We’ve also made it super easy to control the infrastructure and specify how many processes you want running, provide login information, and bypass captchas.

We also understand AI is shit and doesn’t work a lot of times, so depending on your task we’re also creating a white glove onboarding service, so we’ll work in conjunction with the AI to complete a data extraction task for you.
Finamp is amazing, blows anything else out of the water
By naming the variable ID it is crystal clear what the value is.
Most of the time an explicit type only adds cognitive load to the reader, and limits the universality of the code. At an high abstraction level, most of the time a type is from a program logic point of view an irrelevant machine implementation detail. If a specific duck is required it is explicitly tested. This makes code very clear when the duck type is important and when not.
If a developer can’t write intelligible comments or straightforward code, then I’d argue they should find another job.
Fee-or-service is the simplest and lowest risk model for providers. Anyone can submit a claim using a standard EDI transaction or paper form. Capitated models only work for larger health systems that can deliver most common services under one roof, and that have the necessary IT and actuarial competence to price risk for a patient population accurately. There is an emerging set of technical standards which can make this a bit easier.

https://www.hl7.org/about/davinci/
MT Tool Review: Lara by Translated
It's free, extremely easy (not that port forwarding is complicated) and you don't need to port forward.

I point DNS records on my personal domain to tailscale IPs so it some subdomains can only be accessed when connected to tailscale, I can do app.mydomain.com etc without exposing anything online.
I'm happy with my software career at the moment and I think I'm on a pretty good "auto-pilot" for progressing. I want to focus on my physical health this year.

I'm about six months in of consistent weight training and it's been fantastic. I look better and I'm noticeably stronger. I want to continue my 30-45 minute, 4 day per week workouts through this next year.

The big addition that I've struggled with the most is increased cardio. My family has a history of heart issues (although I think a lot of that can be attributed to diet), and I'm definitely not the most cardio proficient individual. I'm not looking to lose weight, so eating enough will also be part of the challenge.

I'd just like to have better stamina, so it seems like regular cardio (maybe 3-4 times per week for 20-30 minutes) at a moderate to high intensity will allow me to do that.

It'll suck, especially here in the North East winters, but I'm hoping my cheap exercise bike can do me some good.

Life is pretty good right now as a young and single guy. I just want to make sure I get to live it in a healthy way for as long as I can now and hopefully get to share it with friends and family.
The "why" is the hardest part. You are writing to a future version of most probably a different person with a different background. Writing all is as wrong as writing nothing. You have to anticipate the questions of the future. That takes experience and having been in different shoes, "on the receiving side" of such a comment. Typically developers brag what they did, not why, especially the ones who think they are good...
> opening the floor to input from broader sections of the populace

I'm not arguing with you, but I'd like to understand that lay interest better.

Is it just people pissing everywhere to mark territory? Is it an expression of curiosity? A sign of some level of commitment to certain subjects? Something else?
Just install ublock lite and continue on with the same experience as before
Yep. Peoples do not want kids becouse they do not want life long family. Paying for kids without families is not only stupidity but society degeneration.

Change laws to pro-family. Do not allow scams on "single-mum with kid send more money".
lol ikr, its crazy this doesn't already exist
Geo-Guesser future champ right here
Thank you for saying this. I agree which is why I wrote this up.
I spent enough parts of my youth in one, to know, yes. I know how you adapt to the inevitable.
I want to add a niche example. The famous Thunderbird addon owl for exchange (https://addons.thunderbird.net/en-US/thunderbird/addon/owl-f...) where you can open the source of the addon and change the licence checks to always return true.
> Can you provide an example where syntax that’s required to be typed and can be accurately diagnosed by the compiler can lead to unintended logic?

I'm not sure we are on the same page here. I'm saying the absence of redundant syntax of the sort that lets the compiler accurately diagnose 'trivial' syntax errors, that can create scenarios where a typo can give you unintended valid syntax with different logic.

So yes, the conditional shorthand in C would be an example. Getting rid of the braces means you lose an opportunity for the compiler to catch a 'trivial' syntax error, which can lead to different semantics than what the writer intended.
Berkeley Mono V2 Released by the U.S. Graphics Company
> The full stop at the end of your last sentence isn’t strictly needed.

yes, that's true | but this redundancy is not necessary | it's there for historical reasons | there are other ways to designate the separation between sentences | some of those alternatives might even make more sense than the usual convention
You could join my native, cross-platform client waitlist[1] if you're looking to use your OpenAI API key. Work-in-progress but it's coming along pretty fast.

[1] https://www.get-vox.com/
Tech that will change your life in 2025
> Does not solve the fundamental problem of a file system that you also could file this under m->management->books

You can use symbolic links to connect directories and file to multiple parents.
There is a point after which doing nothing makes the war more likely.

I'd argue we crossed it around 2014.
Heck you can even cobble stuff together with Home Assistants and various door/window/presence/water/humidity sensors. I was able to build a notification system when doors, windows, or fence gates are open. Same with panic buttons that alert my SO if any of us need assistance when putting kids to bed without whipping out the phones.

All of that can be loaded into HASS using a $26 Sonoff Zigbee dongle and various Zigbee devices like Aqara and others.
Give it a shot. It isn't much code.

If you want to look at more serious work the Spiking Neural Net community has made models which actually work and are power efficient.
"Post-empathy" seems to me like "the dark ages."

It's not really a thing.

It's something invented by people who want to claim they are the ones who truly hold the empathy mantel or who are truly enlightened.
How can it not be entirely due to racism, if race is the only factor determining whether you stop someone who is jogging on the street in jogging clothes and likely athletic supershoes?
> The only hope I have is to try something completely novel

I don’t think this is true. Neural networks were not completely novel when they started to work. Someone just used a novel piece — the gpu. Whatever the next thing is, it will probably be a remix of preexisting components.
I had to use a translator to help me with this text and i am still unclear what the main point is. Tucker Carlson is a (self admitted) lier and the other podcast guy is most likely just after the clicks. Even an illiterate can smell the BS.
Joco almost died at launch. Now, it's a lifeline for e-bike delivery riders
Ask HN: Home wirless router with focus on security?
Ideally a router that works with minimal configuration and doesn’t require too much tinkering. Some features I am interested in:

- Firewall: Controls for both inbound and outbound traffic.

- Ad blocker: Something akin to Pi-hole functionality.

- Device isolation: The ability to isolate smart home devices from the rest of the network.

I have considered so far:

1. Firewalla: Most models lack built-in Wi-Fi (except for Firewalla Purple [1]), and shipping to Europe comes with import taxes.

2. Turris Omnia: Seems like a good choice [2] and is built on open-source OpenWrt. That said, I’m unsure how hands-on it would be to configure it for the features I need.

What would you recommend? What do you use at home?

[1] https://firewalla.com/collections/firewalla-products/products/firewalla-purple

[2] https://www.turris.com/en/products/omnia/
perhaps Y is harder to solve than you are assuming
Can you share any resources from them you found useful?
The fact that you even need something like this shows how far we are from truly useful language models. Because ideally they should have all of the context of all of the messages in their mind, and so far we've had to manually manage that context for them.
> when the defense of a project is that you can turn off the bad features, you aren't really making a chase better than say chrome or anything else.

> A product built on trust, shouldn't involve having to go turn off untrustworthy elements.

This is very misleading! You don't "turn off" bad features in Brave. You have to explicitly turn them on. By default it's off.

Just like how you don't have to visit dodgy sites in Chrome; you have to take action to visit dodgy sites.

Same with Brave - you don't have to do any crypto stuff; you have to put in extra work and effort to do the crypto stuff.
> I purchased the CKA, CKAD, and CKS certifications for approximately USD 400 during a discount. I plan to take the exams in April.

Woah, that sounds an amazing deal. Is this deal still up? I could not find link to i5.
Ruby 3.4 Documentation: A Step Towards Better Ruby Documentation
Because it's much easier to get a clear photo when the jet is moving relatively slowly at low altitude.
Is Microsoft and OpenAI's tech bromance fraying?
I mean it's easy to say silly things like this, but in reality most developers suck in one way or another.

In addition companies don't seem to give a shit about straightforward code, they want LOC per day and the cheapest price possible which leads to tons of crap code.
I guess this hinges on whether you think Unix time is an integer or a float. If you think it's just an integer, then yes, you can't get a negative delta.

If, however, you think it's a float, then you can.
Do you have any suggestions on deploying? I looked over the readme. I’m not understanding how to go from clone to cloud. Meetup sucks and I’m wondering if this might be a good replacement for local groups.
Ah, yes. With `<font size="1" color="red">` and `<bgsound>` you're pretty much ready to be a webmaster!

It's only missing a section on how to add a guestbook and visitor counter.
Which git plugin do you like? And have you used the plugin from more than one machine to a repo more than one machine also syncs with?
State is not the enemy.

Encapsulated and managed state is just fine.
I feel like it is missing most of the important questions. What's the impact on sea life (one sentence saying we need monitoring...) The techniques used mean that all the microorganisms, planktons, algaes will be destroyed by those processes. What is the yield of those approaches, you remove 1000 tons, but how much do you produce to make the devices, maintain and run them,
the boats... What do you do with the CO2, that's now weight you have to move as well and put in containers that required CO2 to be made. This all should count in the equations for the credits, and from what we have seen in the past it is unlikely it will.
I was surprised but apparently I was dumb, and people see a black person and think "criminal migrant" all the time and that it's somehow not racist to think that, lol. Very many comments in this thread saying exactly that.
Evolving Beyond Text/HTML
You're not wrong. The W3C was focused on DTDs and semantic markup and whether HTML "validated" or not. They were focused on moving folks from "transitional" XHTML to "strict" XHTML with no perceivable benefit. Meanwhile the WHATWG was interested in things like media tags and making interactive content be things other than Flash and Silverlight and Java.

They got too lost in the sauce with what was essentially an academic exercise that didn't really benefit the end user.
But each chat has a unique link that you can just bookmark right?
In my case with this load balancer, I think it's just badly written. I think it is set to hold ALL data until the server ends the connection. I have tried leaving my SSE open to send over a few megabytes worth of data and the load balancer never forwarded it at all until I commanded the server to close the connection.

The dev who wrote that code probably didn't think too much about memory efficiency of proxying HTTP connections or case of streaming HTTP connections like SSE.
Right. Ironically I chose a model that was around in the 1970s without knowing it.

My point was more a game-theoretic one. There is just no chance I would beat the frontier labs if I tried the same things with less compute and less people. (Of course there is almost 0 chance I would beat them at all.)
If you are reading a deep * wide inheritance hierarchy with override methods. You will have to navigate through several files to understand where the overrides occurred. Basically multiply the number of potential implementations by inheritance depth * inheritance width.

You may not be bitten by such an issue in application code. But I've seen it in library code. Particularly from Google, AWS, various Auth libraries, etc. Due to having to interop with multiple apis or configuration.
From AP, RFK said:

> "COVID-19 is targeted to attack Caucasians and Black people. The people who are most immune are Ashkenazi Jews and Chinese,” he added. “We don’t know whether it was deliberately targeted at that or not but there are papers out there that show the racial or ethnic differential of impact for that."

The article notes he claims that this quote "twisted" his words.

https://apnews.com/article/robert-f-kennedy-jr-covid-comment...
That was actually a good write-up. I think the geographic and genomic arguments merit a deeper look.
My cat was ill this past weekend but recovered. Then I saw the article you mention and it started me thinking. I've only fed my cat Friskies wet cat food recently. I think I'm going to try to stick with the seafood flavors for a while.
If a delivery company has four different definitions of a customer’s first order, and the resulting code has contents that are hard to parse - does the Blake lie with the developer, or the requirements?
https://archive.is/DG8AG
Popeye, Tintin and more will enter the public domain in the new year
Openworm looks interesting but also looks dead so.
What could go wrong? Something must be done, that is for sure, and this approach targets the main carbon capture engine of the planet. But at the scale it must reach to do something significant it will probably (surely?) cause unintended consequences.

It's like the butterfly effect applied to complex systems, if you do something big enough for causing a change it will probably affect a lot of things, most that will be obvious only on hindsight, and by Murphy it will end being something essential. Like what happened with the mandate of reducing the sulphur content in ship's fuel oil.
Users being anyone using the web. HTML 5's initial draft, which was the beginning of the end for the W3C, was published in January 2008. Chrome was released in September 2008.

HTML 5 became a W3C recommendation in 2014, when Chrome had less than a 40% market share.
These are not the same paths so direction is meaningless. This runner did not travel through Turkey