Mark

@marcviMa1729
5 Followers
57 Following
22 Posts

Hey I am Mark

In Love with FPGAs , Talk to me about compilers, computer arch
or anything that is not mortal enough

Hello and welcome to this #nakeddiefriday installment.

Today's guest is an NXP chip for which I do not have the part number in memory. The chip was used as a training target for the sample preparation tutorial section by Chris Pawlowicz of TechInsights at HARRIS'26, in which I had the pleasure to participate. I have an intact sample which I plan to deprocess at home during the coming days and hopefully apply all I've learned there.

Full-res map for you to explore: http://infosecdj.net:8086/map/nxp/mp091a0/infosecdj_mz_nikpa60x_s0/

Image taken using Nikon PlanApo 60x/1.40, 3260 focus-stacked tiles of 21 individual shots.

#electronics #reverseengineering #microscopy

1/n

The diminished art of coding

0 comments

Lobsters
Against Query Based Compilers

0 comments

Lobsters

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Deadlock-free Context-free Session Types
Andreia Mordido, Jorge A. P\'erez
https://arxiv.org/abs/2506.20356 https://mastoxiv.page/@arXiv_csPL_bot/114748660178061375

- Simple Modal Types for Functional Reactive Programming
Patrick Bahr
https://arxiv.org/abs/2512.09412 https://mastoxiv.page/@arXiv_csPL_bot/115699860865640065

- A Calculus of Overlays
Bo Yang
https://arxiv.org/abs/2602.16291 https://mastoxiv.page/@arXiv_csPL_bot/116096180536399526

- Validating Quantum State Preparation Programs (Extended Version)
Liyi Li, Anshu Sharma, Zoukarneini Difaizi Tagba, Sean Frett, Alex Potanin
https://arxiv.org/abs/2501.05616 https://mastoxiv.page/@arXiv_quantph_bot/113819782526204511

- QiMeng-CodeV-R1: Reasoning-Enhanced Verilog Generation
Yaoyu Zhu, et al.
https://arxiv.org/abs/2505.24183 https://mastoxiv.page/@arXiv_csLG_bot/114612579766027547

- CPU-less parallel execution of lambda calculus in digital logic
Harry Fitchett, Charles Fox
https://arxiv.org/abs/2601.13040 https://mastoxiv.page/@arXiv_csDC_bot/115933217800649177

- Identification capacity and rate-query tradeoffs in classification systems
Tristan Simas
https://arxiv.org/abs/2601.14252 https://mastoxiv.page/@arXiv_csIT_bot/115933109663415388

toXiv_bot_toot

Programming Languages

checking the Table Lookup of pdk
looks interesting
No good understanding of it

just found spice netlist with parasitics , need to open with some existing tools

Just got started again , starting with minimal patches for librelane
LLVM Weekly - #632, February 9th 2026. Final day to vote in LLVM area team elections, Hexagon-MLIR open sourced, IR outliner, lots of meetups, WebAssembly GlobalISel, ^^ reflection operator, and more https://llvmweekly.org/issue/632
LLVM Weekly - #632, February 9th 2026

Getting to know about isomorphic graph is a chill in its own

well got stuck with vendor eda tools , looking to support for librelane

aquiring more mana from nature :::)