skysight-inc/HackerNews huggingface dataset:
> The general differentiation of b^x, for b a constant and x the variable, is ln(x)*b^x.

That's true, but it's begging the question because you can't define ln without already knowing about e.

You have to go back to first principles:

d(b^x) := lim(∂->0):(b^(x+∂) - b^x)/∂ = ((b^x)(b^∂) - b^x)/∂ = (b^x)(b^∂-1)/∂

So d(b^x) is itself multiplied by lim(∂->0):(b^∂-1)/∂. But now what? How do you evaluate that limit? How do you show that e is the magic value of b that makes that limit turn out to be 1? And in particular, how do you show that to someone whose only background knowledge is how to differentiate polynomials?

IMHO it's a lot easier to see that e is the value to which the polynomial series that is its own derivative converges at x=1.
If that budget is for an 8-man team, in a sport with a 3 1/2-week season...

An (American) NFL team has 53 "active" players (plus a practice squad, plus ...), and plays a 5-month season. And has a lot of "maintain a major stadium"-type expenses, which (my guess) cycling teams don't have.

Based on your figures, and trying to scale...no, the cycling team budgets really aren't peanuts by comparison.

NFL Data: https://shareholder.broadridge.com/pdf/2022-packers-annual-r...
Back in the 1970s, I was told that somebody had written a FORTRAN compiler as a TECO macro just to prove it could be done.

(TECO means Text Editor Charactor Oriented, a line editor that had a macro capability. EDLIN was a line editor for MS-DOS.)
In 1980 south Louisiana, “those schmucks” were likely staunch Democrats, following their forebears since the Republican association with reconstruction efforts after the American civil war.
It doesn't sound like anything pure religious, but more of a psychotherapeutic technique, probably coupled with some folk medicine too.
I need a job (tech works)
Hi there,

My name is Adam. I'm a developer, recently looking for a job.

My brief information:

1. 15 years of experience in computer science and technology research and development.

2. Participated in the technical development and architecture design of many large projects.

3. Participated in the technical development and documentation of many well-known open source projects.

4. Multiple experience in zero to one technology to business start-up projects.

5. Held senior VP, CTO positions and led teams to achieve goals.

Range of skills I am very familiar with:

1. virtualisation, cloud and large-scale distributed system design

2. database system architecture and design (postgres, mysql, etc.)

3. user-centric, multi-platform, large-scale web business system architecture and design

4. decentralised systems, blockchain and web3 technologies, etc.

5. gnu/linux underlying technology, upper layer ecology and related development

6. has extensive theoretical and practical experience in cryptography and information security

7. the construction of artificial intelligence technology in the field of business and industry

Apart from iOS app development, I'm proficient in various technologies.

I can work as CTO, Architecture Expert, Program Manager, Senior Engineer, Senior SRE, etc.

Companies currently hiring developers, welcome to reach out to me!

Contact me by email: xvac [AT] tuta [DOT] io
going up a hill requires more energy and puts a higher strain on the battery as it pulls more power (if that's a consistent part of your commute - then the battery health lowers faster).
Emails, password manager, VPN, and now documents—absolutely not a wise thing to do. Never put all your eggs in one basket; your whole personal and even professional life shouldn't be entrusted to a single company.
I use WinMerge for that, unfortunately, as the name implies, Windows only.
Location: Boston, USA
Remote: Yes
Willing to relocate: no
Technologies: React, React Native, JavaScript, Typescript, Next.js, Expo
Resume/CV: https://drive.google.com/file/d/1E0fdbhWZRkSDc0jEK1er-GV4H4H8s04K/view?usp=drive_link
Email: bradydowling@gmail.com
LinkedIn: https://linkedin.com/in/bradydowling

Product focused senior software engineer/team lead with 9 years of experience, including a small startup acquisition by Amazon. Can lead and manage projects. Experience working with LLMs and AI, publishing apps to the app/play store, and shipping services.
Florida will end up as a playground for those who can absorb the cost of structure insurance (wind and flood) premiums or self insure. Anyone reliant on financing that requires insurance will flee, as the PITI (principal interest taxes insurance) monthly payments will exceed what local wages can support.

https://www.marketplace.org/2024/05/28/are-we-in-the-midst-o...

https://www.nestapple.com/states-that-floridians-are-moving-...

https://www.bloomberg.com/news/articles/2024-05-29/foreclosu... | https://archive.today/mRCPD

https://www.wired.com/story/banks-are-finally-realizing-what... | https://archive.today/Yhhwb

https://news.ycombinator.com/item?id=40385902
Cloudflare is running the "email spam protection" play that handed the power to Microsoft and Google and made self-hosted email nearly impossible because emails from those domains would end up getting blocked on Outlook and Gmail.
Most startups want to sell you the equivalent of those airline kiosks where you tag your own luggage, because they are cheap to deploy and don't have high labor costs. The problems you describe are labor-intensive and not easy to solve automatically.

I think we will go back to tools combined with humans to solve at least some of them. So it's services and software.
That's where the footer search field points.
I stand corrected: the US armed the Mujahadeen.

> why should we be interestedin any other analysis of the situation you may have?

I dont want you to be interested in anything. Your interests are your concern.

> Potemkin

Are you saying Mariupol is not being rebuild?
Don't get me started on the fucking Android app.

When I would type and send an email too fast, it would only send the first half or so. I would have to type out the email, wait about 30 seconds, then send it. Presumably it had to fully save some draft before sending it, but it came off as extremely amateurish. Not to mention that it just utterly killed my battery life.

The iOS app is fine, and since I'm on iPhone again I'm still on Proton, but I haven't completely lost the bitter taste in my mouth over the Android version.
Almost nobody ever cares for UT1 except for astronomical observations (where you are also likely using a different calendar and using sidereal days) and we already have a perfectly working system for relating local times to each other and to UTC: timezones.

The only things we should care about are local time (both as in clock time and in sun-position time) and universal timestamps to coordinate between local times and to use as canonical representations; leap seconds are useless or damaging to both of these.

We already easily accept over 60 minutes of offset between clock time and sun-position time and I do not think that 3600 seconds can be ok but 3601 or 3599 cannot.

It is also perfectly easy for a country to change its timezones or to adapt a non-whole-hour timezone (multiple countries have 15 or 30 minutes offsets)

So my proposal is that the IERS never announces any leap anything ever again and in a few centuries some countries will shift their timezone by 15 or 30 minutes.

This will be much more easily compatible with all current systems (we can right now create the timezone CETP and CETM for central European time plus 15 and minus 15) and in 400 years each at they leisure Europe/Berlin will be equivalent to CETM* (and CESTM if have failed to remove DST).

No need to handle irregular minutes or hours, no fractional seconds offsets, no need to account for edge cases that are far too easy to ignore, just keep writing code that work with timezones (as you should already be doing) do not hardcode conversion between regional timezones (Europe/Berlin) and offsets (CET, CEST, CETM) as you should already be doing just updating your timezone tables (as you should already be doing as they change often).

Just store one of:

- UTC and timezone

- dateless time with/without timezone

- date with no time with/without timezone

And you are ok, already prepared for the next few centuries of no leap seconds.

* I don't know whether it would be CETM (that is +00:45) or CETP (+01:15).
Thanks for the feedback! Funnily enough, initially I allowed usernames to be case sensitive because of what was said on this API https://github.com/HackerNews/API?tab=readme-ov-file#users .

But after feedback (https://news.ycombinator.com/threads?id=mmarian#40857404) and self-testing (https://imgur.com/a/MKoJHcj) I decided to make them case-insensitive. Now I need to revert back （─.─||）
As an old Army guy I can help with this.

Strategic is big picture and long term planning as opposed to tactical which is focused on execution and near term goals. From the Army perspective generally brigade elements and higher are strategic while everything below the brigade level is tactical.

For example let's say I need to truck some supplies out to soldiers. Clearly you will need one or more trucks (a convoy), personnel, and things to put into those trucks. At that level everything is tactical. There is still a LOT of planning that must happen because you must account for security, coordinating communications, driving routes, local peoples, fuel, and so on. This is all tactical. If the convoy is large enough it could comprise the entirety of a transportation company with oversight and coordination from its parent, the battalion. A great many people are involved and there is a tremendous amount of funding to successfully pull this off, but its still just tactical.

Now, let's think big picture. Let's say I wanted to advance my Army into a new hostile location and keep all the soldiers well supplied. This requires much more than a battalion and does not happen quickly. There required planning effort may have taken a year and there are more outside parties to coordinate with. You also need to enable new infrastructure both on the ground, communication, and administrative. That takes very high levels of authorization to ensure the soldiers on the ground have the support they need and that resources remain available from the highest levels of military planning. This is all strategic. Its not greater or more brilliant than tactical planning, but there are more pieces involved and it takes much longer to accomplish.

In the corporate world let's say you want to start doing business in Japan when your company has never done business in Asia before. This is strategic. Finding the real estate and setting up the WAN network are all tactical. Its more specialized.

Another way to think about it is distance between execution and the risk analysis in planning. The more immediately identifiable a risk becomes the more tactical it becomes. That does not mean the given risk is less risky or more easily solved just because its more tactical than strategic. Often strategic planning is not necessarily about solving for any risk but instead identifying potential risks might be sufficient.
I don't know that the form factor (mini PC) has much to do with power consumption. If anything, a small case probably obstructs airflow and makes heat dissipation worse. This person had to add another fan.

And that's 10W at idle, which is high compared to any laptop or tablet. It's more energy consumption than leaving a LED bulb on 24/7, and that's when it's not even doing anything. Even among desktops, it's more a matter of power supply efficiency (80 Plus or similar cert) and the ability of the CPU itself to throttle down a lot and/or use efficiency cores.

If power really is a concern, having a more powerful server (like in a data center) split up among multiple tenants will be far more power-efficient. Serverless funcs or hosted CI/CD pipelines even more so. At home, things like a Raspberry Pi or BeagleBone or old laptop/tablet will use less power. Even a Mac Mini will use less power (about half at idle, much less at max).

If you just want a small-chassis desktop, well, this fits the bill. It's gonna use a lot of power as soon as any work ramps up, though. That CPU has a TDP of 65W and maxes out at 150W.
Is this going toward 3D games entirely "hallucinated"? That would be amazing.
> Can't the same thing be said about using fractions on the exponent?

Yes, it can. In fact, it is really useful to think of the "usual" definition of exponentiation as repeated multiplication as nothing more than a special case of a much more general concept, which is evaluating a function whose defining property is that it is its own derivative.
I added

"update_check": false

to my Preferences.sublime-settings for ST3, seems to have solved it.
Supersharp Images Reveal Scars of Major Eruption on Io
Semi-secret US Air Force long-endurance spy drone breaks cover
In the UK your ISP is obligated to log all your DNS queries and make it accessible to a large number of government agencies without a warrant. Your VPN provider makes money from not being able to provide that data, many times proven in court. They are not at all comparable.
2014 Changed the Internet Forever
That may be an anecdotal point in agreement depending on your age.
It says nothing about cursing. Please read article first before commenting.
wasnt texas proudly taunting that it is doubling down on non woke climate change accelerating industries? good luck.
Half of Singapore's e-commerce scams happen on WhatsApp, Facebook, or Instagram
A16Z's Boot Camp for Crypto Startups
Wow, that's not at all what I would have guessed. I'm an EE engineer who didn't know that this is actually (kind of) feasible.
Agreed, happy paying customer but would rather see them investing in improving Drive. Seems like they're trying to get more enterprise-y which sucks.
I'm a bit confused by what you're saying. Here are a few points:

1. If you are claiming that "compile-time evaluation" (macros) in Racket works with lists (i.e. the input to a macro is a list, and the output from a macro is a list), that is false. It works with syntax objects: https://docs.racket-lang.org/guide/stx-obj.html

2. A macro can do anything. It usually emits syntax, but because it's just code it can print output, play a jaunty tune, or implement type checking.

It seems to me that Racket's macros are strictly a super-set of Zig's comptime. Like comptime a macro can do arbitrary computation. However AFAIK there only two stages in Zig (compile-time and run-time) while Racket has an arbitrary number of stages, and macros can, of course, implement new syntactic forms.
I’m gonna start selling sugar-free soda and when people point out that there is sugar in the soda I’ll explain to them that the sugar was added to the mixture by a different supplier before the mixture arrived at my factory.

My factory does not add any sugar to the soda. Therefore it’s clearly fair to market it as sugar-free!
Lightweight ASIP Design for Lattice-Based Post-Quantum Cryptography Algorithms
The evidence pointing towards this season being particularly destructive doesn’t stop at “one early hurricane;” meteorologists have been raising the alarm for months now over warm Atlantic temperatures and low wind shear. These are attributed to el nino transitioning into a la ninya and local warming due to climate change
This open access study presents an application-specific instruction set processor (ASIP) design for the Kyber, Saber, and NewHope algorithms based on transport triggered architecture (TTA). While PQC algorithms are being standardized, one of the most critical issues is the development of efficient hardware architectures for them. Creating customized instruction set architectures (ISAs) is essential to ensure these algorithms can be used practically, especially in embedded systems.
> but in Aghanistan no-one got to vote on "joining the US"

They didn't get to vote on it, but also it didn't happen.
That's only half of it. They also have to justify their jobs. Anyone can manage a 60/40 portfolio with index funds, but pensions are complicated, so they need complicated investments.
SEEKING WORK | Boston | Remote

Product focused senior software engineer/team lead with 9 years of experience, including a small startup acquisition by Amazon. Can lead and manage projects and work with LLMs and AI.

Skills: React, React Native, JavaScript, Typescript, Next.js, Expo

Resume/CV: https://drive.google.com/file/d/1E0fdbhWZRkSDc0jEK1er-GV4H4H...

LinkedIn: https://linkedin.com/in/bradydowling

Email: bradydowling@gmail.com
One big thing recently is POTA and SOTA where people go to parks and mountain summits to make contacts. The latter requires small radio, putting up your own antennas, and using Morse code.

People talking on the radio is sort of dead. HF is still popular. There is FT8 digital mode that let's make contact with low signal. I've reached Australia, Chile, and Russia from west coast.

There is a lot of hacking, but it doesn't seem to get into mainstream. But there are lots of things to build; I have little radio waiting to be soldered.
Lots of forths can quote, which is kind of what you are asking here - https://retroforth.org/Handbook-Latest.txt
Retro uses operators on the quote.

Similarly, Freeforth (anonymous definitions) and Able Forth (same) can do this.
You also have aliasing and hooks in the languages as other tools.

The way Rebol and derivatives (Red, Rye) treat blocks and dialects
[myword yourword] executedword
is similar, though they are all interpreted, not compiled.
> fuel is still really common, but also commonly pulled by electric semis. It is closer than many think.

Wouldn't surprise me - your local gas station buys fuel from the closest refinery as shipping costs mean fuel from a different refinery is more expensive. While different stations can ask for different additives, it is rare that there is a second refinery that is close enough to be a reasonable option - and often the second refinery doesn't make the correct mixture for emissions in your state so they can't use it anyway.

The important take away is gas is shipping shorter distances and so an electric semi is reasonable (you need to recharge it, but there are options). This is different from cross country shipping where they want to use the same semi and can't wait for refueling.
But the risk is always lurking. I guess this holds of some from contributing to open source projects, fearing this fate.
That experiment seems a bit silly. Is anyone expecting time perception to actually take the form of basic sensory/cognitive processes running as if “overclocked”?

I certainly wouldn’t expect basic stuff like perceiving blinking messages to change, since nothing is really changing optically (at least controlled for other things like pupil dilation).

That’s just as silly as expecting someone to be able lift heavier weights when they’re perceiving time more slowly, since their muscles would exert the same energy in a shorter period of time (again, controlled for things like adrenaline).
Hm, I have Proton Mail in a pinned tab in FF (Mac) - no issues at all. The only time I re-open it is when FF restarts after an update (~once a month).
Or interviewers pretending they could answer the question. The great absurdity is that interviewers find a problem, work it out for themselves with unlimited time or just find the answer, then ask it expecting someone to answer it cold. It’s a complete farce. If the world was fair, and we actually thought these problems were useful, you’d be able to turn around and ask the interviewer an equally hard question and expect them to solve it to know you’re working with quality people. Chances are they would fail.
Trump's influencers work around that in a different way: by singling out individuals for military tribunals[1], he is not using the pardon power to deprive them of due process, or excuse someone else from doing so. The military tribunal deprives them of due process. But trying a civilian in a military tribunal is only constitutional if a civilian court is unavailable, which happens out of convenience in places like Guantanemo Bay.

[1] nytimes, https://archive.ph/fz52u
It's an area where if you don't have a clear edge, it could be a real tarpit.
Google Docs isn't even good, though? Give me MS Office or even LibreOffice running on the desktop any day of the week. I hate when I work at a place that makes use of Google's shitty imitation.
I would rather offer the browser-based version to everyone, but it is an objectively worse experience because of the state of the Go compiler. You can still visit the broswer-based version if you want to, it's just a link swap on the page done in JavaScript.

Out of curiosity, what do you think I should do? Keep in mind, not everyone feels the same about being "cajoled" into installing an open source application. But virtually everyone won't appreciate the UI hangs.
Hi - Friendly tip - this is not how to look for work on HN, and this post will probably get flagged.

Instead, post here: https://news.ycombinator.com/item?id=40846426
> they massively simplify life most of time they come up.

I have coworkers and friends in different timezones, and timezones do literally nothing but complicate coordination. Even if it's a small friction, they are 100% friction.

As far as I can tell, the main benefit of timezones is that it allows people within the same timezone to converse as if timezones don't exist. Which would also be the case if timezones didn't exist.
~170 years is hardly Planetary Scale.
Any risks in terms of performance have to be weighed up against the benefits to morale. A grand tour is long, a full year's calendar of racing is even longer, but a glass of champagne to celebrate a win goes a long way towards breaking up the monotony of suffering.
I'm even more convinced that me being a Fastmail customer is a good thing. Fastmail has been rock solid for years.

Their email, calendar and contacts solutions work well with iOS and android (using the DAVx app).

WebApps work flawlessly on Firefox. They have all sorts of customisation for spam filtering, catch all email addresses, etc.

They don't do all the things (vpn, passwords, drive, what have you). But what they do, they do very well.
Your own comment kind of proves the fact that it's only easy if you have corporate sponsorship though. Getting housing and bank accounts is essentially impossible without it, that's not really something that happens in western nations.