Tootfinder

🪚 ASML Patterns First Wafer Using High-NA EUV Tool, Ships Second High-NA Scanner
https://www.anandtech.com/show/21356/asml-patterns-first-wafer-using-highna-euv-tool-ships-second-highna-scanner

ASML Patterns First Wafer Using High-NA EUV Tool, Ships Second High-NA Scanner
This week ASML is making two very important announcements related to their progress with high numerical aperature extreme ultraviolet lithography (High-NA EUV). First up...

WAF 137 – Using Projections & Process to Find Buy-Lows
#MLB #FantasyBaseball #PitcherList

🪚 ASML Patterns First Wafer Using High-NA EUV Tool, Ships Second High-NA Scanner
https://www.anandtech.com/show/21356/asml-patterns-first-wafer-using-highna-euv-tool-ships-second-highna-scanner

ASML Patterns First Wafer Using High-NA EUV Tool, Ships Second High-NA Scanner
This week ASML is making two very important announcements related to their progress with high numerical aperature extreme ultraviolet lithography (High-NA EUV). First up...

This https://arxiv.org/abs/2404.04515 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csPL_…

Predictable Verification using Intrinsic Definitions
We propose a novel mechanism of defining data structures using intrinsic definitions that avoids recursion and instead utilizes monadic maps satisfying local conditions. We show that intrinsic definitions are a powerful mechanism that can capture a variety of data structures naturally. We show that they also enable a predictable verification methodology that allows engineers to write ghost code to update monadic maps and perform verification using reduction to decidable logics. We evaluate our …

If you use a parameter object in JavaScript, even if you specify its shape using JSDoc, you’ll only get errors if required properties are missing; not if there are extra properties provided.
e.g.,
```js
class A {
/**
@param {{
id:string
}} params
*/
constructor (params) {
Object.assign(this, params)
}
}
// Error:
new A({})
// No error:
new A({id: 'x', foo:'bar'})

Is it possible to restrict TypeScript object to contain only properties defined by its class?
Here is my code async getAll(): Promise { return await dbQuery(); // dbQuery returns User[] } class User { id: number; name: string; } class GetAllUserData{ ...

SafeBase, which helps companies automate software security reviews using AI, raised a $33M Series B led by Touring Capital, bringing its total funding to $50M (Kyle Wiggers/TechCrunch)
https://techcrunch.com/2024/04/30/safebase-taps-ai-to…

Exclusive: SafeBase taps AI to automate software security reviews
Security review automation platform SafeBase has raised new cash from investors including Zoom's corporate VC arm.

Using #ApacheKafka with #ngrok by @…

Question: are you using professionally C 20?

Music writing was invented using lots of drugs & alcohol during centuries, right?

Music writing was invented using lots of drugs & alcohol during centuries, right?