Filter
Exclude
Time range
-
Minimum likes
Rising AI
@RisingAIGlobal
52m
Formal verification is taking over the execution layer. You can't prove a probabilistic model won't hallucinate, but you CAN mathematically prove its sandbox isolation, memory safety, and access controls.

Deterministic proof > soft guardrails. 📊 #AI #Software #Tech
0
0
1
2
Armand Morin@armandmorin
1h
Bring your software on a live webinar, we sell it, and every dollar goes straight to you. No affiliate split.
#armandmorin #marketing #software #entrepreneur
0
0
1
16
hacks.gr@hacksgreece
2h
AI tools face a reality check as workflow automation tool Relay shuts down, files for bankruptcy, and S&P data shows 42% of corporate AI projects are abandoned.

#ArtificialIntelligence #Software

en.hacks.gr/giati-polles-n…
0
0
0
11
Undercode News
@undercode_news
2h
🚨 #CVE-2026-111497: A Brotli Decoder Vulnerability Puts Bundled #Software Across Multiple Ecosystems at Risk + Video

-Fact Checker: ✅: 3 ❌: 3 || 3/6 → Score: 50% ⚖️
-Prediction: 📈 3 Positive | 📉 2 Negative

undercodenews.com/cve-2026-11149…
0
0
0
15
Leanpub
@leanpub
3h
Build Quality In by Steve Smith and Matthew Skelton is on sale on Leanpub! Its suggested price is $25.00; get it for $12.50 with this coupon: leanpub.com/buildqualityin… @matthewpskelton #agile #culture #software #devops
0
0
0
79
J V NAIDU@JVNAIDU
3h
Replying to @JVNAIDU
@AshwiniVaishnaw @narendramodi My recommendation: Bharat should explore #mandatory battery-repairability standards, affordable replacement parts, and long-term #software support as part of a comprehensive right-to-repair #policy .
1
0
0
7
Armand Morin@armandmorin
3h
Quick apps, Chrome extensions, WordPress plugins, SaaS. Four levels of software, and it costs almost nothing to run once it's built.
#armandmorin #marketing #software #sidehustle #entrepreneur
0
0
0
11
Tech We Aah@techweaah
3h
🔔 🩵📱

#technology #software #simple #customized #Innovation #Advance #fyp #X
0
0
0
3
Artem Gavrilov@malltshik
3h
I've made an app to process film scans. It's in beta and it's free. I'd appretierte if @PushingFilm could take a look and give a feedback or shared with others. Thx. github.com/malltshik-inc/…

#film #scan #software
0
0
0
2
InmoNews@portalinmonews
3h
SEO INMOPC TE AYUDA A POSICIONAR TU WEB

Consiga destacarse de su competencia.

Conseguir salir en las primeras posiciones en Google según las búsquedas de zonas y subzonas.

Info ➡ inmopc.com/software-para-…

#software #inmobiliario #CRM #inmopc #seo #posicionamiento #web
0
0
0
11
Nua™💖
@NuaViso
4h
#DeepSeek hat jetzt sämtliche #Software als #Opensource freigegeben. Also auch die Software, die auf deren Servern selbst läuft. Unglaublich! 💁🏻‍♀️
youtu.be/YX6QdIYVSgY
1
0
1
145
ari4
@a4floridacajun
4h
#software Several causes, IMO:
- poor #testing
- complex design using intricate class structures
- sudden patching to address zero-day #cybersecurity vulnerabilities

All this makes a 'perfect storm' for users. #openSource products like Libre Office may be better, but even many FOSS software products suffer from high complexity and bloat.
R.G. Ryan
@RGRyan777
6h
To all of you loyal Microsoft Word users out there. Is there anybody besides me that is sick of the never-ending updates? I mean, it feels like it’s happening every few days now.
0
0
1
20
Δ.Ω.Ξ.A. retweeted
Δ.Ω.Ξ.A.@DOXA33_
16 Nov 2025
CUDA Kernel Optimizer - ML Engineer
Hourly contract, Remote: $120-$250/hr
work.mercor.com/jobs/list_AAAB…
#software #softwareengineer #AI #nowhiring #CUDA #machinelearningprojects
0
1
1
109
ari4
@a4floridacajun
5h
#software #testing No. These agents may be helpful indicators, among many, pointing to causes of issues.
Software Engineering Papers@ComputerPapers
Oct 22
Do Coding Agents Understand Why Systems Crash—and Why They Don't?

Chenxi Huang, Haonan Wang, Jinghe Zhang, Aleksandr Nogikh, Franjo Ivančić, Petros Maniatis, Eugene Wu, Kostis Kaffes, Junfeng Yang, Baishakhi Ray
arxiv.org/abs/2610.29332 [𝚌𝚜.𝚂𝙴]
Coding agents are increasingly capable of fixing real-world bugs, yet they still struggle with large systems codebases such as the Linux kernel. To understand why, we test how agents reason about execution in these codebases through crash reasoning: predicting from source code whether a given input crashes the system. A correct prediction alone, however, does not establish this ability, since it may come from merely spotting suspicious code. In this paper, we propose source interventions: we pair source trees that differ by a single commit, so that the same input crashes only one of them, and test whether agents predict crashes more often on the crashing tree. Experiments with four coding agents on SysRB, our dataset of 934 such pairs from Linux and OSS-Fuzz projects, yield three main findings. First, agents are biased toward predicting no crash: they rarely raise false alarms but miss many real crashes, and even the best agent misses over a quarter of them. Second, locating the code t
0
0
0
7
Δ.Ω.Ξ.A. retweeted
Δ.Ω.Ξ.A.@DOXA33_
Mar 9
Software Engineer (Front-End): $70–$80/hr
#software #EngineeringJobs #AI #techjobs #nowhiring #jobseeker #workfromhome #mercor
t.mercor.com/JvhQB
0
1
0
17
ari4
@a4floridacajun
5h
#software #testing ideas for autonomous driving systems.
Software Engineering Papers@ComputerPapers
Oct 22
FaultGene: LLM-Assisted Fault-Augmented Test Generation for Hardware-in-the-Loop Validation of Autonomous Driving Systems

Chaoran Yuan, Fadi Kurdahi
arxiv.org/abs/2610.29969 [𝚌𝚜.𝚂𝙴 𝚌𝚜.𝙰𝙸]
Reliable validation of autonomous driving cyber-physical systems requires testing not only nominal driving behavior but also failures arising from faults in sensing and embedded computation. Physical road testing provides realistic system behavior but is costly and difficult to reproduce, while simulation enables scalable evaluation but cannot fully capture hardware-dependent behavior and fault propagation. Hardware-in-the-loop (HIL) validation bridges this gap by executing the driving stack on real embedded hardware within a simulated environment. However, preparing fault-augmented scenarios for HIL testing remains largely a manual process, limiting test coverage, scalability, and efficiency. We present FaultGene, an LLM-assisted framework for automated generation of executable fault-augmented tests for HIL fault-resilience validation. Given a baseline Scenic/CARLA scenario and a structured fault specification, FaultGene generates a fault-augmented test case that captures the effects
0
0
0
8
Software Duniyaas
@softwareduniyas
6h
#Freshers... Apply ASAP 👇👇👇

Agilon Health is hiring #Freshers for Associate #Software Engineer

Application deadline: October 26, 2026 (1 day left to apply)

Location: #Gurgaon

Eligibility:
- BTech, BE, BCA, MCA - Bachelor of Computer Applications / Master of Computer Applications
- 0-2 years of foundational experience as a data engineer, software developer, or through technical internship structures.
- Expertise with RDBMS (MySQL, PostgreSQL, etc.)
- Experience with any one programming language preferred Java, Python
- SQL proficiency; exposure to cloud data warehouses (Snowflake preferred).
- Familiarity with data modelling and transformation frameworks (dbt preferred).
- Experience building dashboards in Sigma, Tableau, Power BI, or similar tools.
- Clear written and verbal communication skills for technical and non-technical audiences
- Experience building and maintaining scalable data pipelines
- Understanding of ETL/ELT design patterns and best practices

Link: agilonhealth.wd1.myworkdayjobs.com/External/job/I…

#AgilonHealth
0
0
5
527
Gokhan Sahin@CydonianTR
6h
Tersine Mühendislik Artık Herkesin Elinde (REA) 🧐🤔😯💻🤖

#reverse #engineering #software #rea #IT #future

youtube.com/watch?v=tW7vj1…
0
0
0
22
Magnar Hirschberger@MagnarHirschbe1
6h
Replying to @Alice_Weidel
@Alice_Weidel Immer dran denken: Eine #Firewall und aktuelle, gepachte #Software hätten eure Maildaten geschützt! #AfDLeak
0
0
0
2
TCyberCast retweeted
The Security Transformation Research Foundation@Transform_Sec
14h
Close #Identity Gaps in #Software Development Before Unleashing #AI

buff.ly/kXv6n5J

@DarkReading @ariellewaldman #tech #genAI #AgenticAI #automation #developers #devops #devsecops #leadership #governance #SDLC #coding #vibecoding #CIO #CTO #CISO #cybersecurity #IAM
1
3
5
68
Load more