mx_twit

1.3K posts

mx_twit

mx_twit

@mx_twit

here for bad memes and super hyped tech.

MUC Beigetreten Mayıs 2023
7.5K Folgt375 Follower
mx_twit retweetet
Math, Inc.
Math, Inc.@mathematics_inc·
Today, at the @DARPA expMath kickoff, we launched 𝗢𝗽𝗲𝗻𝗚𝗮𝘂𝘀𝘀, an open source and state of the art autoformalization agent harness for developers and practitioners to accelerate progress at the frontier. It is stronger, faster, and more cost-efficient than off-the-shelf alternatives. On FormalQualBench, running with a 4-hour timeout, it beats @HarmonicMath's Aristotle agent with no time limit. Users of OpenGauss can interact with it as much or as little as they want, can easily manage many subagents working in parallel, and can extend / modify / introspect OpenGauss because it is permissively open-source. OpenGauss was developed in close collaboration with maintainers of leading open-source AI tooling for Lean. Read the report and try it out:
Math, Inc. tweet media
English
44
257
1.6K
145.6K
Corporate Absurdity
Corporate Absurdity@ConsoomerLs·
The only vibe I'm getting here is that HR doesn't know what vibe coding is.
Corporate Absurdity tweet media
English
41
183
8.2K
102.7K
mx_twit retweetet
Shubhvani
Shubhvani@shubhvanii·
If you grew up in the trenches, you already know this: The dumber the people around you are, the more aggression you must show to be respected. The smarter the people around you are, the less aggression you must show to be respected. This is an unwritten law of human hierarchy.
English
249
3.3K
22.1K
494.8K
mx_twit retweetet
Jon Yongfook
Jon Yongfook@yongfook·
@TheSoloCTO Are the real products in the room with us.
English
3
1
53
1.1K
mx_twit retweetet
James Dueck🇻🇦
James Dueck🇻🇦@JamesDueck·
A “healthy economy” is when a typical 90 IQ man can hold down a job earning enough to fund a modest lifestyle with his wife & kids. This only works when 130 IQ men are free to build great things as they see fit, with minimal friction from 110 IQ administrators.
English
217
1.1K
11.1K
650.7K
mx_twit retweetet
Rohan Paul
Rohan Paul@rohanpaul_ai·
Larry Page (Google's founding CEO) knew it back in 2007 "When AI happens, it's going to be a lot of computation and not so much clever Blackboard, whiteboard kind of stuff, clever algorithms, but just a lot of computation. My theory is that if you look at your programming, your DNA, it's about 600 megabytes compressed, so it's smaller than any modern operating system, smaller than Linux or Windows or anything like that, your whole operating system. " --- From "Google TechTalks" YT channel (link in comment)
English
34
67
689
214.5K
mx_twit retweetet
David Cramer
David Cramer@zeeg·
im fully convinced that LLMs are not an actual net productivity boost (today) they remove the barrier to get started, but they create increasingly complex software which does not appear to be maintainable so far, in my situations, they appear to slow down long term velocity
English
467
227
3.5K
656.9K
tobias
tobias@tobiastornros·
Looks like @GoogleDeepMind doesn't like @opencode any more. Both 3.1 Pro usage via API key and Opus 4.6 via Antigravity blocked now.
tobias tweet media
English
1
0
2
111
mx_twit
mx_twit@mx_twit·
@SchonungslosYT leider nein, Einstellungen in solche Jobs erfolgen eben schon jetzt nicht aufgrund der Skills der BewerberInnen.
Deutsch
0
0
1
143
Schonungslos
Schonungslos@SchonungslosYT·
„Diese Technologie wirft (die Verhältnisse) geisteswissenschaftlich ausgebildeter – vor allem demokratischer – Wähler durcheinander und verringert ihre ökonomische Macht [...] Und sie erhöht die ökonomische Macht von Wählern mit Berufsausbildung – Arbeiterklasse, oft männlich.“
Schonungslos tweet media
Deutsch
15
5
62
2.4K
mx_twit
mx_twit@mx_twit·
@sqs @waosdx @AmpCode can't confirm 3+ weeks, sadly lost mine with 12 days of inactivity. 🫤
English
1
0
0
58
Quinn Slack
Quinn Slack@sqs·
@waosdx @AmpCode Hey there, we removed access for some users who were inactive for 3+ weeks to focus on people who are actively using it.
English
3
3
32
3.5K
David
David@waosdx·
Hey @AmpCode ! Did you stop Amp Free for all users or just for me? I've had an access and occasionally now I don't :c
David tweet media
English
1
0
9
3.4K
mx_twit
mx_twit@mx_twit·
@mucmeyen eine ganz schlechte Idee. x.com/BetterCallMedh…
Mehdi (e/λ)@BetterCallMedhi

this has been an open secret in tech for years and if you’ve been following my threads you already know where I stand on this I genuinely believe Palantir was never just a government contractor it was always designed from day 1 to embed itself so deep inside the intelligence & defense apparatus that ripping it out would be like trying to remove the nervous system from a living body you need to understand how this works on a technical level to really grasp the scale of what I’m describing Gotham & foundry are data integration platforms that plug into every single information source an organization has, internal databases, intelligence feeds, comms, satellite data, financial transactions, social media…everything gets funneled into a single ontological knowledge graph and here’s the key, once you’ve connected 5y of an intelligence agency’s data or a defense ministry’s operations into Palantir’s architecture you’ve created a technological dependency that is virtually impossible to reverse bc migrating that graph to another system would mean rebuilding the ENTIRE institutional memory of the organization from scratch I’m telling you this is vendor lock-in at the scale of a nation state & I’m personally convinced it was designed to work exactly this way from the beginning by the way palantir is just the most visible case, you should know that the same exact playbook is running across the entire deftech ecosystem right now, companies building AI systems for surveillance targeting & predictive intelligence are quietly rotating former employees into regulatory agencies & defense departments the revolving door between silicon valley & the pentagon has literally become a conveyor belt at this point & I think the boundary between private tech infrastructure and state power is dissolving way faster than anyone wants to acknowledge and I’ll add something that I believe makes it even more concerning these systems are increasingly autonomous meaning the AI layer is making recommendations that humans inside gvt are rubber stamping without fully understanding the underlying logic I’m deeply convinced that the most important power shift of this decade is happening in complete silence and I think most people have absolutely no idea, this is the moment where the companies building the tools of governance become indistinguishable from governance itself & believe me by the time the general public figures out what happened the integration will be too deep too complex & too classified to ever be unwound

Deutsch
0
0
2
156
mx_twit retweetet
Robert Lukoszko
Robert Lukoszko@Karmedge·
introspection is for losers
David Senra@davidsenra

Great men of history had little to no introspection. The personality that builds empires is not the same personality that sits around quietly questioning itself. @pmarca and I discuss what we both noticed but no one talks about: David: You don't have any levels of introspection? Marc: Yes, zero. As little as possible. David: Why? Marc: Move forward. Go! I found people who dwell in the past get stuck in the past. It's a real problem and it's a problem at work and it's a problem at home. David: So I've read 400 biographies of history’s greatest entrepreneurs and someone asked me what the most surprising thing I’ve learned from this was [and I answered] they have little or zero introspection. Sam Walton didn't wake up thinking about his internal self. He just woke up and was like: I like building Walmart. I'm going to keep building Walmart. I'm going to make more Walmarts. And he just kept doing it over and over again. Marc: If you go back 400 years ago it never would've occurred to anybody to be introspective. All of the modern conceptions around introspection and therapy, and all the things that kind of result from that are, a kind of a manufacture of the 1910s, 1920s. Great men of history didn't sit around doing this stuff. The individual runs and does all these things and builds things and builds empires and builds companies and builds technology. And then this kind of this kind of guilt based whammy kind of showed up from Europe. A lot of it from Vienna in 1910, 1920s, Freud and all that entire movement. And kind of turned all that inward and basically said, okay, now we need to basically second guess the individual. We need to criticize the individual. The individual needs to self criticize. The individual needs to feel guilt, needs to look backwards, needs to dwell in the past. It never resonated with me.

English
1
1
7
1.8K
mx_twit retweetet
mx_twit
mx_twit@mx_twit·
@MarioNawfal Israel's subs are based on this type. The next INS Drakon is expected to be delivered in 2026.
English
0
0
1
142
Mario Nawfal
Mario Nawfal@MarioNawfal·
🇩🇪🇮🇷 Germany won't escort ships through Hormuz. Won't host US offensive aircraft. Won't join the war. But they do operate 6 of the quietest submarines on earth. The Type 212A runs on hydrogen fuel cells. No nuclear reactor. No need to surface for weeks. Virtually silent. Undetectable to most sonar. Armed with heavyweight torpedoes and capable of diving beyond 700 meters. Stealthier than most nuclear subs. Without the nuclear reactor that gives them away. Germany is sitting this war out publicly while quietly possessing the exact weapon that would make Iran's navy very nervous. @DI313_
Mario Nawfal@MarioNawfal

🚨🇮🇷🇦🇪 Fujairah suspending oil-loading operations. Iran warned. Then struck. Now the world's 3rd-largest oil storage hub and the last meaningful bypass route around the Strait of Hormuz is offline. Both doors are closed now. Reuters

English
1.9K
849
6.4K
6.4M
mx_twit retweetet
sol🏴‍☠️
sol🏴‍☠️@sol_plunder·
I'm sold on AI for coding, it is very good now. I am no longer a skeptic. However, it really does not feel like a categorical change in experience. Tech work has always been about collaboration with a machine which is much faster than you, trying to get the machine to do more.
English
3
4
24
2.6K
mx_twit retweetet
chiefofautism
chiefofautism@chiefofautism·
someone built an OPENSOURCE MILITARY RADAR that tracks multiple targets up to 20km away its called AERIS-10, full github repo schematics, PCB layouts, FPGA code, python GUI, everything under MIT license commercial phased array radar starts at $250,000. military surplus is $10,000-50,000 but its decades old analog junk with no electronic beam steering this does electronic beam steering at 10.5GHz, pulse compression, doppler processing, multi-target tracking on a real time map two versions: 3km range with patch antenna array, 20km range with 32x16 slotted waveguide array and GaN AMPLIFIERS custom frequency synthesizer, 16 front-end chips, FPGA doing all signal processing, GPS and IMU for ACCURATE target coordinates when the platform moves all gerber files included so you can order the PCBs and build it yourself one person built what defense contractors charge a quarter MILLION for and open sourced it
GIF
English
298
2.4K
16K
1.7M
mx_twit retweetet
anish
anish@faradayfury·
my dad just got a new macbook air and was bummed that his beloved two-decade-old hp laserjet printer wouldn’t work with it anymore. asked claude to help and it literally re-wrote the driver software to work with the new macos. AND IT WORKED 😭
English
260
1.1K
41.6K
1.3M
mx_twit retweetet
Navneet
Navneet@navneet_rabdiya·
@accomazzo yeah - the actor model gets so much hype but BEAM's preemptive scheduling and per-process heap isolation are the real magic sauce. Pattern matching + selective receive in erlang/elixir give you most actor benefits without the baggage
English
1
2
12
1.7K