[GUEST ACCESS MODE: Data is scrambled or limited to provide examples. Make requests using your API key to unlock full data. Check https://lunarcrush.ai/auth for authentication information.]
Satnam Singh posts on X about hardware, free to, bst, compact the most. They currently have XXXXXX followers and XXX posts still getting attention that total XXXXX engagements in the last XX hours.
Social category influence technology brands stocks countries social networks
Social topic influence hardware #153, free to, bst, compact, linux, youtube, applications, alto, work for, peas
Top posts by engagements in the last XX hours
"Do you have any questions you would like to ask our panelists on the free to attend webinar "How can AI Revolutionize Hardware Verification" on Monday XX October at 16:00-17:00 BST (11:00-12:00 ET 8AM Pacific) The panelists are Sean Safarpour (Executive Director R&D Synopsys USA) Prof. Adam Chlipala (Professor of Computer Science MIT USA) and Kanad Basu (Rensselaer Polytechnic Institute USA). Please either enter questions in the comments below or email me at satnam6502@gmail.com or DM. Thank you Registration link:"
X Link @satnam6502 2025-10-16T23:52Z 20.2K followers, XXX engagements
"The two-sorter block is coming along well built with Lava combinators for a 7-series Xilinx FPGA. Next step: implement layout combinators to produce a compact efficient layout. After that: the full butterfly. A productive CalTrain trip"
X Link @satnam6502 2025-09-09T16:57Z 20.2K followers, 8387 engagements
"The two-sorter now has an explicitly specified placement on the 7-series Xilinx FPGA and is anchored to the bottom left of the chip. I chose to do some recomputation to get shorter wire lengths (two CARRY4 blocks intermediate XNORs replicated) and I spread the pipeline registers across two slices rather than packing them into one. Next: expand the layout control to the whole butterfly"
X Link @satnam6502 2025-09-14T04:08Z 20.2K followers, 4706 engagements
"I do struggle with SF food though although we did have a good meal at Saison. Food a bit further down the peninsula is a lot better and often more creative. ASA is Los Gatos is outstanding and Zola in Palo Alto is a refreshing change from some seared something with mashed potatoes and asparagus on the side"
X Link @satnam6502 2025-10-06T06:13Z 20.2K followers, 1015 engagements
"I've given up trying to get the Xilinx AMD Vivado FPGA design software running on my new MacBook Pro. I tried to use Parallels with Rosetta (Linux ARM64 running AMD64 Vivado) and UTM with QEMU emulation (Linux AMD64) but neither approach seems to work to produce a stable experience e.g. synthesis almost works but then some random thing crashes. It would be wonderful if AMD produced Vivado ARM64 Linux binaries but I won't hold my breath. I'm giving in and now researching what spec of Linux PC I should buy for my FPGA hardware work"
X Link @satnam6502 2025-08-06T16:17Z 20.2K followers, 5678 engagements
"The video recording of my ICFP 2025 keynote talk Functional Programming for Hardware Design is up on YouTube"
X Link @satnam6502 2025-10-14T23:08Z 20.2K followers, 6864 engagements
"I have landed my dream job. Ive just accepted a position at Harmonic a Palo Alto startup applying AI to formal mathematical reasoning. Harmonics Aristotle formal reasoning model achieved Gold Medal level performance at this years International Mathematical Olympiad (IMO). I will work on exploring applications of Aristotle to the formal verification of hardware. This job is a perfect intersection of hardware design and verification functional programming formal methods and machine learning bringing together several threads of my career so far. The beauty of asking an AI to generate a proof for"
X Link @satnam6502 2025-09-29T19:13Z 20.2K followers, 233.7K engagements
"A picture John Hughes took of me giving my keynote talk Functional Programming for Hardware Design at #icfpsplash25. A few key quotes/messages: * I love programming languages not for what they do I love programming languages for what they are. * I am a functional programmer not because of the company I work for but because of the company I keep. * Abstractions can be powerful but we must know their limits. * "But this is total madness": SystemVerilog semantics. * It is because I have spent so much of my time doing low level coding and optimization that I appreciate the value of functional"
X Link @satnam6502 2025-10-13T23:19Z 20.2K followers, 14.6K engagements
"For the hot pan vs. cold pan controversy I am on the side of the hot pan. Seared duck breast with a whisky soy sauce (Oban 14) on a bed of spring onions asparagus and sugar snap peas. I started with a dry Hestan titanium pan at 200C and seared the scored salt and pepper skin side of two breasts totaling 600g for XX minutes turning the heat down to medium-low as soon as I added the duck breasts to the pan. After XX minutes of cooking on the skin side (constantly removing the rendered fat) I cooked the flesh side for X minutes. After resting for about X minutes the internal temperature got to"
X Link @satnam6502 2025-10-05T03:46Z 20.2K followers, 3007 engagements