skysight-inc/HackerNews huggingface dataset:
A good portion of why Canada has most taxed property being mortgaged is because of the short terms of the mortgages. You can get a 5-year loan, but that isn't going to be enough to pay off the mortgage. You just end up getting another loan at the end to pay off the balloon payment at the end, and so you end up with a new mortgage. This does tend to make the market more reactive to interest changes, but it's hard to say whether that's a good thing.
Just because a language is dynamically typed doesn't mean that you should do things like dynamically modify objects in your code, assign int to strings, and so on, even if you can do it. Contrary to popular belief, you can write clean Python code that is easily debugabble and testable.

Likewise, most any static typing language out there allows you to ride shitty code should you so chose. In fact, it seems to be that the more strict a language is, the more people try to get around the strictness for their particular use case, and consequently, you get a bunch of standardized syntax or libraries for this that create more complexity than is needed.

The only real value of having static typing is having ULTRA strict real static typing where you define what data is, what operations can you do on that data, and what are all the possible outcomes on that data. Then, if you program compiles, by definition, it is correct. I think Coq comes pretty close to this, considering its designed as a theorem prover.
What an ingenious solution, meanwhile here we are, paying vendors to get to disable USB ports on company machines! /s
How have you calculated the efficiency?
it seems so condescending compared to Linux

This is my experience as well. To use a power tools analogy, Windows is the DIY line of equipment: moderately powered, relatively easy to use, if it breaks/wears down you buy a new one. Linux, on the other hand, is the professional's choice: much more powerful, harder to master, but it's user servicable and infinitely better customizable for each use case.
Actually people are indeed installing Windows on the Steam Deck, and all upcoming competing devices are being based on a Windows 11 core.
I don't think git should be the infrastructure of collaboration. It's good for long-lived artifacts, but isn't good for discussion, for rights management, ...

fossil (https://fossil-scm.org/home/doc/trunk/www/index.wiki) is of course better, but if git must remain, I believe the base infrastructure should be the mailing list. Patches, branches and releases can live inside a mailing list, it is naturally built for discussion with rights, and is a natural queue for third-party tools. I wish we moved away from centralized forges and started to use augmented development clients with the mailing list as the sole communication vector.
And whatever Google decides they want to implement or support in Chromium will be the web default, even just how they interpret ambiguities or undefined behaviours - standards be damned. We have tried this before and it was not pretty.

That is why we need competing browser implementations.
Location: Tokyo/Seoul

Remote: Yes

Willing to relocate: No

CV: email me @ renoir42@proton.me

Technologies:

- C++, Golang, Rust, Scala, Kotlin, Java, C#/F#

- Functional programming: Haskell, Ocaml (once CUFP speaker)

- Dasca Senior Data Scientist Certified, Pytorch, Pytorch C++ APIs...

- AI/ML Engineering & Computer Vision

- Numerical algorithms: PDE, MC, Matrix routines, ...

- Fintech, quant finance, Crypto development (both trading and blockchain engineering)

- Fetish with formal methods: F*/fstar, Z3 verification of static asserts, ...

- 20y+ experience

- The classics: Python, Javascript, Typescript, PHP, jQuery, React, PostgreSQL, AWS, GCP, Azure
good dishwashers heat their own water
I still don't understand what you're talking about.

> If your import stripped your access to an attribute

Python doesn't have class access modifiers, and in particular import does not strip access to attributes in Python. There are two ways Python modifies behaviour in the presence of leading underscores:

1. If there is a module attribute (i.e. a variable in a module) starting with an underscore, it will not be imported when doing `import * from some_module` -- which is not recommended anyway. Importing `some_module` directly will give normal access to the attribute, as `some_module._foo`.

2. If a class or instance attribute's name begins with a double underscore, it will not be accessible directly; however its name is simply mungled at compile time:

> class Foo:
> __foobar = "__foobar"
>
> def __init__(self):
> self.__bar = "__bar"
> self.__baz__ = "__baz__"
>
> Foo.__foobar
AttributeError: 'Foo' object has no attribute '__foobar'
> foo = Foo()
> foo.__bar
AttributeError: 'Foo' object has no attribute '__bar'
> Foo._Foo__foobar
'__foobar'
> foo._Foo__bar
'__bar'
> # Note that does not hold for attributes both starting and ending in double underscores
> # (so-called 'dunder' attributes):
foo.__baz__
'__baz__'

You are correct that underscores are a convention, but in Python one simply cannot count on the kind of access control that exists in other languages, especially when writing code that is supposed to be executed in unknown contexts (i.e. a library). When writing tests, one presumably has full control over both the code and the execution context, so this kinds of tricks can be used relatively safely; that being said, test runners like pytest tend to provide their own abstractions and tools around those tricks anyway.
Latest Linux kernel source:

39,000 certs 0.0%
40,000 usr 0.0%
164,000 init 0.0%
240,000 virt 0.0%
250,000 ipc 0.0%
459,000 io_uring 0.0%
664,000 rust 0.1%
980,000 samples 0.1%
1,885,000 block 0.1%
2,850,000 scripts 0.2%
2,953,000 security 0.2%
3,609,000 crypto 0.3%
5,165,000 mm 0.4%
7,156,000 lib 0.5%
12,420,000 kernel 1.0%
33,047,000 net 2.5%
39,916,000 include 3.1%
43,224,000 fs 3.3%
45,001,000 sound 3.4%
54,988,000 tools 4.2%
107,971,000 arch 8.3%
943,527,000 drivers 72.2%

Based on rough byte count (total 1,306,548,000 bytes in the above).
I would say that a compelling argument against the CIA being involved is that they would have done a way better job of covering their tracks if it really was them. Think about it: Professional spooks who know they would probably receive a death sentence for treason if caught planning an assassination attempt on the president.

And think about the number of people involved in an organisation like that who pledged allegiance to serve their country and now have to go along with killing the president. Just so incredibly unlikely. People watch too many cloak and dagger movies.
Limited to revival of classic Greek and Roman knowledge of-course. Not ancient Egypt, Hebrew, Mesopotamian, Chinese or Persian. I guess it could be the location, a European rebirth would mimic its own elden empires, not those of others.
Yes, clearly explained in the update to the comment made after my question. :/
I use some Rust with the `otp` crate for a single secret ($WORK Okta) and `mambembe`[1] on my server for the rest of them.

[1] https://github.com/jaysonsantos/mambembe
I've worked on something similar while in college. HDMI is actually a fairly simple protocol, based on VGA. It still has scanlines and such, but the signals are digital instead of analog. So instead of a RAMDAC, you have the HDMI encoder chip. You typically need control some i2c interface to set the HDMI encoder chip in the correct mode, but that's about it.
It's not green washing if it actually reduces electricity consumption. Anyway, Miele dishwashers use unheated air blown over the dishes to dry them with minimal cost if you choose the long cycle (i.e. overnight). Bosch doesn't have that feature but also dries ok if you open it up 10 minutes before emptying it. What brand did you have?

One final tip though is that tupperware is a drying killer. The cheap plastic absorbs oils over time and creates a film that never really dries - making the whole dryer damp. Get rid of those and move to glass for a much better experience in every way.
>Of all things to complain about, Americans are not rude on average.

on median, no. But the extremities make me think that he US falls below the arithmetic mean in urban areas. If you have 200 polite people and one person with a knife being swung around, guess what impression you get of that area?

We don't calculate "rudeness" in a mathematically logical way.
I actually really like this approach, and have been thinking about this in regards to coding with an LLM - for a sufficiently simple program (and assuming no security concerns), once you trust your test suite, you should trust AI generated code that passes it. And then if requirements change, you should be able to amend the test cases, rerun the AI until it passes all tests and linters, maybe give the code a quick glance, and be on with your life.
There are tons of open source & free local OTP applications.
Yes, and 2/3 of the households in Canada are home owners.
> consuming two crushed garlic cloves daily

how did you find out about that? did this affect your romantic life?
See https://devblogs.microsoft.com/oldnewthing/20230810-00/?p=10... which includes confirmation & a brief commentary of the tiny block size.
Norway court upholds miniscule fine against Meta for flouting privacy rules
Extension methods are basically just static methods in a helper class that takes the to be extended class as their first argument, and a bit of syntactic sugar on top. That is absolutely imitable in Java.
With this kind of secrecy it's no wonder that conspiracy theories are so popular.
Better check the market numbers, after game consoles, which have always been a top target since the 1983 crash in US, PC (Windows) dominates the charts.

You don't seem well prepared for the FOSS crusade.
The first reports were bogus. I remember the first articles I read back then were saying a Cessna had hit one tower, and it sounded like a weird accident. Later, articles about the second plane came in and it was still not clear that they were big airliners. Then things got busy because I was working in web hosting and we had one or two major French newspapers web sites in our datacenter, and they couldn't handle the load.
> In the early days I would often let potential customers think we already had a feature they wanted and, if they signed, would come back to the team and say “we’ve got to build this before they launch!”

There is much simpler solution. Just tell the customer you can have the feature in a short time, cost free. Tell them you value your relationship with them and you are always interested in making the product better with the feedback of the customer.

Knowing they are able to develop a feature quickly is valuable. I know it just becomes a discussion about pricing and priorities. Knowing they can be honest is also valuable. It reduces the risk I have stumbled on another dishonest company that just looks perfect until you sign the contract.

I worked with a lot of companies. I have dropped a bunch of them for lying to us because I am sick and tired of dealing with untrustworthy service providers. And if you keep lying about your features, guess what, you are bound to slip up be caught at some point.
The Van Community Sleeping in -40°C Canadian Winters. How They Survive [video]
For the undying 9/11 moronic jet fuel argument [video]
there's even an episode about them making TV show based on the Stargates as a cover-up, completing the cycle of meta.
> as soon as you load up your trading firm with a bunch of software industry hires

As a software industry hire at a hedge fund right now... I'd love to see more cross-pollination, because there are so many good things happening on both sides, and so many terrible things happening through just a sheer lack of knowledge.

Change management workflows are great and should be used more in finance. But software companies should implement andon cord systems more often (Amazon does; nowhere else I've worked gives that power to anybody at the company).
SaaS, by definition, is essentially an arbitrage on developer time. Buy developer hours which result in a product, sell that product to others at a cheaper rate then it would have cost them to hire their own developers.
>Not spreading FUD would go along way.

doesn't fix his car's windows for the 6th time, though.

It's not anything special. San Fransico is one of the top 5 largest cities in the US, maybe even in the world. So while crime may be average or even below average, it is going to feel worse because you will see more instances of it. Because there are more people.
And is prone to hallucinating up random bullshit..
I don't think space fanboyism hurt anyone, if at all someone feels proud let them be as long as it's in good spirits. Comparison of SpaceX to ISRO or even other organisation seems a bit unfair, SpaceX have access to ecosystem of sensors, components that are restricted by US. Develop something as simple as reaction wheel takes decades. While I don't appreciate fanboyism in general, I also believe there is a world beyond writing a few lines of codes...
Sweep is mentioned as attribution in multiple places a) https://github.com/definitive-io/code-indexer-loop#attributi... b) https://github.com/definitive-io/code-indexer-loop/blob/fd9d...

The difference is packaging it as a consumable PyPI package that can easily be used in a project (they even call out for separating this out into a stand alone project but that they lack the time to do so: https://docs.sweep.dev/blogs/chunking-2m-files#future- )

In addition, we expand and fix the implementation, for example it now supports limiting on token count instead of character count, and we fix some white space inconsistencies in parsing/chunk reconstruction.
That's what the EU is doing for about 15-20 years already, with ever more stringent rules for new buildings.
It's not all low hanging fruits though, as the buildings get more to zero energy demand, the construction has to be more precise and more expensive with all the insulation and proofing, triple glazing etc. Of course in the long run it will pay for itself.
Anything that works like existing rechargeable batteries. Those would be considered conventional batteries. There is basically no path to a high enough energy density for airplanes for those types of batteries.

Things that involve metal-air reactions are basically fuel cells and don't count. If you go down that route, you'll quickly find yourself working with some kind of chemical fuel. They will suddenly look a lot like existing airplanes in terms of basic concept.
Waiting for BashGPT.

It could use curl to do REST calls too, and a lot more.
Do you mean you should just stick with Windows because Ubuntu now prints a line in your console when you apt-get upgrade telling you that Ubuntu Pro exists?
It does that when it's the default, too. I only occasionally use Windows, so couldn't be bothered to install something else. Yet, I feel that every other time I start it, I'm presented with some "use edge! it's so cool!" screen I have to sit through. It also insists on changing the search engine to bing. I'm usually pretty cautious and try not to press "ok" just so it leaves me alone, yet it managed to change it. For my needs, pretty much every search engine is good enough. I prefer google since I can convince it to use dark mode and use English instead of my local language (even though windows is set to use English as its display language).
You may have a valid point!

However thinking again about what I actually meant (vs how I expressed it) it’s probably clearer if I edit to “the institutions of science are generally fairly good (with some notable outlier exceptions) at self regulating - and almost certainly better at this than (probably) non-expert opinion.”
I didn't know that, thanks for mentioning. It's apparently called shells in Windows lingo: https://en.m.wikipedia.org/wiki/List_of_alternative_shells_f...
https://github.com/KillianLucas/open-interpreter
1. Print the checklist/runbook out on paper with actual empty boxes next to the steps.

2. Laminate the printed checklist and put it in a big folder.

3. Every time you run the checklist, use a sharpie to mark the checkbox after you've done the step.

4. When you are done with the entire process, use whiteboard cleaner to wipe out the checks again and put the checklist back in the big folder with all the other checklists.

This is how every safety critical profession (aviation, shipping, medical, power generation, etc) has worked for decades and unless people are willingly being obtuse it is extremely hard to do it wrong. You just need people to turn off their ego and follow the process instead of trying to show off by doing it from memory. This last part might be more difficult in software settings.
MS Office 365 Web Version deletes text typed during an autosave
They are used by organisms but they are not removed from circulation. Other ions, calcium etc. are used and incorporated into insoluble minerals.
You’re totally right that worse somatic symptoms create a viscipus cycle of avoidance and worsening symptoms. I do think that a chronic pattern of avoidance is what causes somatizing in the first place tho. Peace.
> Not super relevant, but at the time, they said they had scrambled F16s and one had shot down the plane over the field in Pennsylvania to prevent another attack. Either their initial reports were wrong, or they changed the story later to create some heroes.

https://youtu.be/69uSD1S14RI

This YouTube channel is great by the way.

The first wave was a couple of F-15s three F-16s. That flight 93 was shot down by a South Dakota Air National Guard F-16 pilot is false. It's a coincidence that the pilot was heading west of the first attacks to pick up an FAA official to assist with the investigation in New York.

All the fighters at the time were either still on the ground or in a holding pattern off the east coast. The FAA was slow enough to relay details that every launch was already too late to respond to their target.
> The width of the boat doesn't matter too much, surprisingly. It's mostly the length.

Well.. The length and the speed determine the Froude number the ship is operating at, and yes, the length to a large extent determines the achievable top speed. However the beam, prismatic coefficient ("fineness" of the hull shape) and a host of other factors do definitely affect the total resistance quite a lot. Ships designed for high speeds, like warships, tend to have large length/beam ratios and low prismatic coefficients.

> From the waterline length you can guess how fast a ship is, regardless of the displacement.

So are you saying the Seawise Giant was considerably faster than the Nimitz, considering it had a waterline length of ~450m (!!) vs. a "mere" 317m for the carrier? ;)

But yes, I'm quite sure Nimitz doing 45 knots is unrealistic. I'm also quite sure that given the hull shape and size, and engine power, are known, that potential adversaries who have a naval engineer or two on the payroll have a decent idea of what the actual top speed is.
I agree that `envsubst` is a good choice for this. Unfortunately, it is not part of posix, so you can't rely on it being present everywhere. But as part of gettext, it is still very common.
Plenty of places in the US.

I have family in Michigan. I checked home prices and you can still buy a house (not a condo), in a nice town with very good schools for $200,000. With property tax, insurance and mortgage your total home expense would be ~$1,000/month, even at today's interest rates.

Plenty of jobs that pay $60,000 there, that's $7,000 per month take home if you're married with two wages earners, leaving $6,000 left over each month, or $60,000 per year.
Heaven forbid that all conversations should not be about the USA.
This sounds like "it's all in their head" with extra steps and disregards findings of actual physiological differences in people with ME/CFS.
> The constant ISRO fanboyism is annoying

Maybe. But why you complain in response to comment without any of it?

Also, why being excited about lunar mission is supposed to be a problem? People can be excited about things smaller than some large achievement.

And human landings were not so useful anyway.
Sounds well Jackson.
I wonder why it is using clang modules instead of proper C++20 modules.

Except for header units, the support is already mostly there.
Same reason Western Digital sponsors btrfs development, or at least used to.
How is it more acceptable because it's a combination of two things? Lots of objectionable outcomes are a combination of multiple factors!
Dude Facebook did it, twitter requires a phone number, YouTube requires your details in a lot of scenarios. I remember when we were taught to not dox ourselves online, the change in that tone interestingly coincides with the rise in malware being published by these companies. Reddit will do it eventually too.
Show HN: Dracula Theme for Miniflux
>Other points of view are the failure of governments to provide services to their citizens.

of which services are funded by and voted in by taxpayers.

So yes, to some extent it is the people's fault.
The fitness apps looked exactly like what I need, but when going to the play store says they were made for an older version of Android. Visiting Github seems like they aren't actively maintained either.
> You have to very specifically fine tune it to understand what light conditions are, where you are in the house, and what it is you need to turn on.

Where you are in the house and what needs to turn on, at least, is an API query job, not a fine-tuning job.

As far as whether it can understand the relevance of lighting to the situation, I just asked ChatGPT 3.5 the question 'Acting as an AI home assistant, if you hear me say "I'm finding it hard to read", what actions would you take?' and 'Adjust the lighting' was the second option it gave back (after 'ask for clarification'). I think we're there, honestly, we just don't have the different parts connected yet.
I hired a team of writers and researchers to help me create a daily summary of AI news at boteatbrain.com, we're not everyone's cup of tea, but if you just want to keep your wetted finger in the wind, then check us out.
> The same for washing machine detergent. Why anyone would pay $$$ to have water come with their detergent is beyond me.

Because powder detergent (no matter if for laundry or dishes) has a nasty tendency to pull in moisture from the air, leading to it clumping up and getting ineffective. If you have a family with small children that produce a lot of dishes and laundry, you may get away with it but if you're single / DINK no way.

> In the same vein, antifreeze now comes "premixed" with water. Gaaaaah. I just keep looking till I find the lonely 100% antifreeze jug.

That one is because most people don't use distilled water to dilute, but tap water instead... which can carry serious issues, either because it dissolves the piping (see e.g. Flint water crisis) or because limescale builds up in the engine where it's hot and eventually clogs up, leading to engine failure.
I know people who seem to have managed to have the same year of experience 15 times over, learning nothing along the way…

Time spent is not necessarily experience, especially if you are trying to do something else at the time. In this case trying to do DayJob so not having time/care to commit much operating system management knowledge to memory, which is more understandable than the people mentioned in my first sentence who were failing to learn what was their job.
The microwave vending machines are pretty uncommon. Slightly more common, found outside places like school/company cafeterias, is cup noodle vending machines. They simply dispense a cup of dry noodles and then have a hot water tap that you operate manually.
Ok, I did not know this mod, but this is old news: Feb 6 2022